diff options
Diffstat (limited to 'java/jgrapht')
| -rw-r--r-- | java/jgrapht/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/jgrapht/Makefile b/java/jgrapht/Makefile index c155b7e64be9..5ac366cc6293 100644 --- a/java/jgrapht/Makefile +++ b/java/jgrapht/Makefile @@ -51,7 +51,7 @@ pre-fetch: do-install: @${ECHO_MSG} -n ">> Installing JAR as ${JAVAJARDIR}/${PORTNAME}.jar..." - @${INSTALL_DATA} ${WRKSRC}/${PORTNAME}-jdk${JAVA_PORT_VERSION:C/([0-9]\.[0-9])\.[0-9]/\1/}.jar ${JAVAJARDIR}/${PORTNAME}.jar + @${INSTALL_DATA} ${WRKSRC}/${PORTNAME}-jdk${JAVA_PORT_VERSION:C/1\.4\.[0-9]/1.4/:C/1\.[56]\.[0-9]/1.5/}.jar ${JAVAJARDIR}/${PORTNAME}.jar @${ECHO_MSG} " [DONE]" .if !defined(NOPORTDOCS) @${ECHO_MSG} -n ">> Installing documentation in ${DOCSDIR}..." |