mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-21 00:25:50 +00:00
Code Issues Releases Activity

Stagify.

Browse Source 
Approved by:	lwhsu@ (maintainer)
This commit is contained in:
Vanilla I. Shu 2014-07-16 03:25:07 +00:00
parent c6941c482e
commit 26b131e57b
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=362025
2 changed files with 45 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/cvc3/Makefile
View File

@ -22,13 +22,13 @@ USES= bison gmake perl5
USE_GCC= any
USE_LDCONFIG= yes
NO_STAGE= yes
post-patch:
${REINPLACE_CMD} -e 's,/bin/bash,/bin/sh,' ${WRKSRC}/Makefile.std
${REINPLACE_CMD} -e 's,.*$$(LDCONFIG).*,,' ${WRKSRC}/src/Makefile
${REINPLACE_CMD} -e 's,$$(libdir)/pkgconfig,${PREFIX}/libdata/pkgconfig,' ${WRKSRC}/src/Makefile
post-install:
${INSTALL_PROGRAM} `readlink ${WRKSRC}/bin/cvc3` ${PREFIX}/bin
${INSTALL_PROGRAM} `readlink ${WRKSRC}/bin/cvc3` ${STAGEDIR}${PREFIX}/bin
${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/libcvc3.so.5.0.0
.include <bsd.port.mk>

43
math/cvc3/files/patch-src-Makefile Normal file
View File

@ -0,0 +1,43 @@
--- src/Makefile.orig 2014-07-16 11:12:07.907490115 +0800
+++ src/Makefile 2014-07-16 11:18:34.387487445 +0800
@@ -254,27 +254,27 @@ HEADERS = $(patsubst %, $(TOP)/src/inclu
install: $(HEADERS)
$(MAKE) build TARGET=
- mkdir -p $(incdir)
- $(INSTALL) $(INSTALL_FLAGS) -m 644 $(HEADERS) $(incdir)
- mkdir -p $(libdir)
+ mkdir -p $(DESTDIR)$(incdir)
+ $(INSTALL) $(INSTALL_FLAGS) -m 644 $(HEADERS) $(DESTDIR)$(incdir)
+ mkdir -p $(DESTDIR)$(libdir)
ifeq ($(STATIC),1)
- $(INSTALL) $(INSTALL_FLAGS) -m 644 $(CVC_LIB_DIR)/$(CVC_LIB_NAME).$(LIB_VERSION) $(libdir)
- ln -sf $(CVC_LIB_NAME).$(LIB_VERSION) $(libdir)/$(call notdirx,$(CVC_LIB))
+ $(INSTALL) $(INSTALL_FLAGS) -m 644 $(CVC_LIB_DIR)/$(CVC_LIB_NAME).$(LIB_VERSION) $(DESTDIR)$(libdir)
+ ln -sf $(CVC_LIB_NAME).$(LIB_VERSION) $(DESTDIR)$(libdir)/$(call notdirx,$(CVC_LIB))
else
- $(INSTALL) $(INSTALL_FLAGS) -m 644 $(CVC_LIB) $(libdir)
+ $(INSTALL) $(INSTALL_FLAGS) -m 644 $(CVC_LIB) $(DESTDIR)$(libdir)
ifeq ($(MAC_OSX),)
ifeq ($(CYGWIN),)
$(LDCONFIG) -nv $(libdir)
endif
endif
- ln -sf $(CVC_LIB_NAME) $(libdir)/$(LIB_SHARED_COMPAT)
- ln -sf $(CVC_LIB_NAME) $(libdir)/$(LIB_SHARED_MAJOR)
- ln -sf $(CVC_LIB_NAME) $(libdir)/$(LIB_SHARED_BASE)
+ ln -sf $(CVC_LIB_NAME) $(DESTDIR)$(libdir)/$(LIB_SHARED_COMPAT)
+ ln -sf $(CVC_LIB_NAME) $(DESTDIR)$(libdir)/$(LIB_SHARED_MAJOR)
+ ln -sf $(CVC_LIB_NAME) $(DESTDIR)$(libdir)/$(LIB_SHARED_BASE)
endif
- mkdir -p $(bindir)
- $(INSTALL) $(INSTALL_FLAGS) -m 755 $(CVC_EXE) $(bindir)
- mkdir -p $(libdir)/pkgconfig
- $(INSTALL) $(INSTALL_FLAGS) -m 644 cvc3.pc $(libdir)/pkgconfig
+ mkdir -p $(DESTDIR)$(bindir)
+ $(INSTALL) $(INSTALL_FLAGS) -m 755 $(CVC_EXE) $(DESTDIR)$(bindir)
+ mkdir -p $(DESTDIR)$(libdir)/pkgconfig
+ $(INSTALL) $(INSTALL_FLAGS) -m 644 cvc3.pc $(DESTDIR)$(libdir)/pkgconfig
ifndef FILELIST
FILELIST = /dev/null