diff options
author | Jung-uk Kim <jkim@FreeBSD.org> | 2019-11-26 21:46:12 +0000 |
---|---|---|
committer | Jung-uk Kim <jkim@FreeBSD.org> | 2019-11-26 21:46:12 +0000 |
commit | 5a52a082347653e46a7330eb60d51230c01183ef (patch) | |
tree | 175d5bf406b7321a3c965d241cd3f2b32e2c8ca1 /math/cvc4 | |
parent | bb21effd9b960e4613fbf599abcde1f3e655d817 (diff) | |
download | ports-5a52a082347653e46a7330eb60d51230c01183ef.tar.gz ports-5a52a082347653e46a7330eb60d51230c01183ef.zip |
Clean up after java/openjdk6 and java/openjdk6-jre removal
java/openjdk6 support was removed from Mk/bsd.java.mk (r512662) and
java/openjdk6 and java/openjdk6-jre were removed from the ports tree
(r512663). Now this patch completely removes remaining stuff from the
ports tree.
PR: 241953 (exp-run)
Reviewed by: glewis
Approved by: portmgr (antoine)
Differential Revision: https://reviews.freebsd.org/D22342
Notes
Notes:
svn path=/head/; revision=518482
Diffstat (limited to 'math/cvc4')
-rw-r--r-- | math/cvc4/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/cvc4/Makefile b/math/cvc4/Makefile index 7d640fcb1b34..4538ff8e8cc7 100644 --- a/math/cvc4/Makefile +++ b/math/cvc4/Makefile @@ -84,7 +84,7 @@ CMAKE_ARGS+= -DENABLE_GPL:BOOL=ON post-extract: @${CP} ${DISTDIR}/antlr-3.4-complete.jar ${WRKDIR}/antlr3.jar @${ECHO_CMD} "#!/bin/sh" > ${WRKDIR}/antlr3 - @${ECHO_CMD} "JAVA_VERSION=1.7+ exec \"${LOCALBASE}/bin/java\" -classpath \"${WRKDIR}/antlr3.jar\" org.antlr.Tool \"\$$@\"" >> ${WRKDIR}/antlr3 + @${ECHO_CMD} "exec \"${LOCALBASE}/bin/java\" -classpath \"${WRKDIR}/antlr3.jar\" org.antlr.Tool \"\$$@\"" >> ${WRKDIR}/antlr3 @${CHMOD} +x ${WRKDIR}/antlr3 post-patch: |