From owner-svn-ports-all@FreeBSD.ORG Wed Jul 16 03:25:08 2014 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id B588BA47; Wed, 16 Jul 2014 03:25:08 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 96DE724F9; Wed, 16 Jul 2014 03:25:08 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.8/8.14.8) with ESMTP id s6G3P80t094782; Wed, 16 Jul 2014 03:25:08 GMT (envelope-from vanilla@svn.freebsd.org) Received: (from vanilla@localhost) by svn.freebsd.org (8.14.8/8.14.8/Submit) id s6G3P8SC094779; Wed, 16 Jul 2014 03:25:08 GMT (envelope-from vanilla@svn.freebsd.org) Message-Id: <201407160325.s6G3P8SC094779@svn.freebsd.org> From: "Vanilla I. Shu" Date: Wed, 16 Jul 2014 03:25:08 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r362025 - in head/math/cvc3: . files X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 16 Jul 2014 03:25:08 -0000 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 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