diff options
| author | Vanilla I. Shu <vanilla@FreeBSD.org> | 2014-07-16 03:25:07 +0000 |
|---|---|---|
| committer | Vanilla I. Shu <vanilla@FreeBSD.org> | 2014-07-16 03:25:07 +0000 |
| commit | 26b131e57b2e8fdf4e4c77b11417d7b7bd8b9b37 (patch) | |
| tree | 40837400145cdd3429149343a85c1d57e9088a8d /math/cvc3 | |
| parent | c6941c482ece145e97bdb2cd8f5ae1f8938298ea (diff) | |
| download | ports-26b131e57b2e8fdf4e4c77b11417d7b7bd8b9b37.tar.gz ports-26b131e57b2e8fdf4e4c77b11417d7b7bd8b9b37.zip | |
Stagify.
Approved by: lwhsu@ (maintainer)
Notes
Notes:
svn path=/head/; revision=362025
Diffstat (limited to 'math/cvc3')
| -rw-r--r-- | math/cvc3/Makefile | 4 | ||||
| -rw-r--r-- | math/cvc3/files/patch-src-Makefile | 43 |
2 files changed, 45 insertions, 2 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index acf08a5d43d1..894066a3f256 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -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> diff --git a/math/cvc3/files/patch-src-Makefile b/math/cvc3/files/patch-src-Makefile new file mode 100644 index 000000000000..14e0cd131cee --- /dev/null +++ b/math/cvc3/files/patch-src-Makefile @@ -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 |