diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 20:55:04 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 20:55:04 +0000 |
| commit | ce5e4570204c37f4ac986a2a6bc076aa911167d6 (patch) | |
| tree | 1c069c3c993156dc583330fa958afbe99bb4966e /math/cvc3 | |
| parent | 8ac99398e2b62e1b10333d4c88ae273f4f0ed365 (diff) | |
| download | ports-ce5e4570204c37f4ac986a2a6bc076aa911167d6.tar.gz ports-ce5e4570204c37f4ac986a2a6bc076aa911167d6.zip | |
Notes
Diffstat (limited to 'math/cvc3')
| -rw-r--r-- | math/cvc3/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index b5d1d2346f5a..10b46b015efe 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -21,6 +21,7 @@ GNU_CONFIGURE= yes USES= bison gmake perl5 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 |