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