A bit too hasty. Sorry. Patch for both Makefile and pkg-plist. --- patch begins here --- --- Makefile.orig Wed Aug 17 09:59:35 2005 +++ Makefile Wed Aug 17 10:04:22 2005 @@ -19,7 +19,7 @@ JAVA_VERSION= 1.4+ JAVA_RUN= yes -SUB_FILES= uppaal +SUB_FILES= uppaal verifyta SUB_LIST= PORTNAME=${PORTNAME} PLIST_SUB= PORTNAME=${PORTNAME} @@ -59,7 +59,6 @@ ${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/socketserver ${MV} ${WRKSRC}/bin-Linux/socketserver ${WRKSRC}/bin-Linux/socketserver.exe ${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/verifyta - ${MV} ${WRKSRC}/bin-Linux/verifyta ${WRKSRC}/bin-Linux/verifyta.exe do-build: apply-slist @@ -67,9 +66,11 @@ ${MKDIR} ${JAVASHAREDIR}/${PORTNAME} ${INSTALL_DATA} ${WRKSRC}/README ${JAVASHAREDIR}/${PORTNAME} ${INSTALL_DATA} ${WRKSRC}/License-ASF ${JAVASHAREDIR}/${PORTNAME} +# INSTALL_SCRIPT is used intentionally rather than INSTALL_PROGRAM as +# stripping seems to render the binaries ununsable. ${INSTALL_SCRIPT} ${WRKSRC}/bin-Linux/server.exe ${JAVASHAREDIR}/${PORTNAME} ${INSTALL_SCRIPT} ${WRKSRC}/bin-Linux/socketserver.exe ${JAVASHAREDIR}/${PORTNAME} - ${INSTALL_SCRIPT} ${WRKSRC}/bin-Linux/verifyta.exe ${JAVASHAREDIR}/${PORTNAME} + ${INSTALL_SCRIPT} ${WRKSRC}/bin-Linux/verifyta ${JAVASHAREDIR}/${PORTNAME} ${MKDIR} ${JAVASHAREDIR}/${PORTNAME}/lib ${INSTALL_DATA} ${WRKSRC}/uppaal2k.jar ${JAVASHAREDIR}/${PORTNAME} ${INSTALL_DATA} ${WRKSRC}/lib/jhbasic.jar ${JAVASHAREDIR}/${PORTNAME}/lib @@ -87,6 +88,7 @@ ${INSTALL_DATA} ${WRKSRC}/demo/train-gate.xml ${JAVASHAREDIR}/${PORTNAME}/demo ${INSTALL_DATA} ${WRKSRC}/demo/train-gate.q ${JAVASHAREDIR}/${PORTNAME}/demo ${INSTALL_MAN} ${WRKSRC}/man/man1/uppaal.1 ${PREFIX}/man/man1 - ${INSTALL_SCRIPT} ${WRKDIR}/uppaal ${PREFIX}/bin/ + ${INSTALL_SCRIPT} ${WRKDIR}/verifyta ${PREFIX}/bin + ${INSTALL_SCRIPT} ${WRKDIR}/uppaal ${PREFIX}/bin .include <bsd.port.post.mk> --- pkg-plist.orig Wed Aug 17 09:59:39 2005 +++ pkg-plist Wed Aug 17 10:04:34 2005 @@ -1,4 +1,5 @@ bin/uppaal +bin/verifyta %%JAVASHAREDIR%%/%%PORTNAME%%/uppaal2k.jar %%JAVASHAREDIR%%/%%PORTNAME%%/lib/jhbasic.jar %%JAVASHAREDIR%%/%%PORTNAME%%/lib/jlfgr-1_0.jar @@ -9,7 +10,7 @@ %%JAVASHAREDIR%%/%%PORTNAME%%/License-ASF %%JAVASHAREDIR%%/%%PORTNAME%%/server.exe %%JAVASHAREDIR%%/%%PORTNAME%%/socketserver.exe -%%JAVASHAREDIR%%/%%PORTNAME%%/verifyta.exe +%%JAVASHAREDIR%%/%%PORTNAME%%/verifyta %%JAVASHAREDIR%%/%%PORTNAME%%/demo/2doors.xml %%JAVASHAREDIR%%/%%PORTNAME%%/demo/2doors.q %%JAVASHAREDIR%%/%%PORTNAME%%/demo/bridge.xml --- patch ends here --- New file: files/verifyta.in --- files/verifyta.in begins here --- #!/bin/sh exec %%JAVASHAREDIR%%/%%PORTNAME%%/verifyta $* --- files/verifyta.in ends here ---
State Changed From-To: open->feedback uppaal@menelaos [14:43:11]> make ===> Building for uppaal-3.4.11 ** Missing /usr/tmp/uppaal/files/verifyta.in for uppaal-3.4.11. *** Error code 1 Stop in /usr/tmp/uppaal. uppaal@menelaos [14:43:13]> ls -l files/ total 4 -rw-r--r-- 1 stolz wheel 271 Sep 23 11:04 patch-uppaal -rw-r--r-- 1 stolz wheel 341 Sep 23 11:04 uppaal.in Additionally, I'm not sure if apply-slist is really a "user-serviceable" target...
Responsible Changed From-To: freebsd-ports-bugs->vs Grab.
verifyta.in is given in second submission on 2005-08-17. Agree with apply-slist comment. Patch is: --- patch begins here --- --- Makefile.orig Thu Sep 29 09:58:54 2005 +++ Makefile Thu Sep 29 10:00:55 2005 @@ -22,6 +22,7 @@ SUB_FILES= uppaal verifyta SUB_LIST= PORTNAME=${PORTNAME} PLIST_SUB= PORTNAME=${PORTNAME} +NO_BUILD= yes MAN1= uppaal.1 MANCOMPRESSED= no @@ -59,8 +60,6 @@ ${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/socketserver ${MV} ${WRKSRC}/bin-Linux/socketserver ${WRKSRC}/bin-Linux/socketserver.exe ${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/verifyta - -do-build: apply-slist do-install: ${MKDIR} ${JAVASHAREDIR}/${PORTNAME} --- patch ends here ---
State Changed From-To: feedback->closed New port added, thanks for contributing!