svn commit: r362025 - in head/math/cvc3: . files

[Vanilla I. Shu]

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