Date: Wed, 17 Aug 2005 00:20:12 GMT From: Timothy Bourke <timbob@bigpond.com> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/84975: New Port: devel/uppaal Message-ID: <200508170020.j7H0KCkD019122@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/84975; it has been noted by GNATS.
From: Timothy Bourke <timbob@bigpond.com>
To: bug-followup@FreeBSD.org
Cc:
Subject: Re: ports/84975: New Port: devel/uppaal
Date: Wed, 17 Aug 2005 10:17:11 +1000
--yudcn1FV7Hsu/q59
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
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=3D 1.4+
JAVA_RUN=3D yes
=20
-SUB_FILES=3D uppaal
+SUB_FILES=3D uppaal verifyta
SUB_LIST=3D PORTNAME=3D${PORTNAME}
PLIST_SUB=3D PORTNAME=3D${PORTNAME}
=20
@@ -59,7 +59,6 @@
${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/socketserver
${MV} ${WRKSRC}/bin-Linux/socketserver ${WRKSRC}/bin-Linux/socketserver.e=
xe
${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/verifyta
- ${MV} ${WRKSRC}/bin-Linux/verifyta ${WRKSRC}/bin-Linux/verifyta.exe
=20
do-build: apply-slist
=20
@@ -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}/${PORTNA=
ME}
${INSTALL_SCRIPT} ${WRKSRC}/bin-Linux/socketserver.exe ${JAVASHAREDIR}/${=
PORTNAME}
- ${INSTALL_SCRIPT} ${WRKSRC}/bin-Linux/verifyta.exe ${JAVASHAREDIR}/${PORT=
NAME}
+ ${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}/d=
emo
${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
=20
.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 ---
--yudcn1FV7Hsu/q59
Content-Type: application/pgp-signature
Content-Disposition: inline
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (FreeBSD)
iD8DBQFDAoIHtKVK1sFb0ecRAtDwAJ9BAvOnXNUOPScSHGcOHA9H2qxXlQCfU5p8
gwXe+QNPrtGc2uVZTHMiWVI=
=dKZp
-----END PGP SIGNATURE-----
--yudcn1FV7Hsu/q59--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200508170020.j7H0KCkD019122>