Date: Wed, 16 Jul 2014 03:25:08 +0000 (UTC) From: "Vanilla I. Shu" <vanilla@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r362025 - in head/math/cvc3: . files Message-ID: <201407160325.s6G3P8SC094779@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: vanilla Date: Wed Jul 16 03:25:07 2014 New Revision: 362025 URL: http://svnweb.freebsd.org/changeset/ports/362025 QAT: https://qat.redports.org/buildarchive/r362025/ Log: Stagify. Approved by: lwhsu@ (maintainer) Added: head/math/cvc3/files/ head/math/cvc3/files/patch-src-Makefile (contents, props changed) Modified: head/math/cvc3/Makefile Modified: head/math/cvc3/Makefile ============================================================================== --- head/math/cvc3/Makefile Wed Jul 16 03:18:26 2014 (r362024) +++ head/math/cvc3/Makefile Wed Jul 16 03:25:07 2014 (r362025) @@ -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> Added: head/math/cvc3/files/patch-src-Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/cvc3/files/patch-src-Makefile Wed Jul 16 03:25:07 2014 (r362025) @@ -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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201407160325.s6G3P8SC094779>