ports/84975: New Port: devel/uppaal
Timothy Bourke
timbob at bigpond.com
Tue Aug 16 05:00:27 UTC 2005
>Number: 84975
>Category: ports
>Synopsis: New Port: devel/uppaal
>Confidential: no
>Severity: non-critical
>Priority: low
>Responsible: freebsd-ports-bugs
>State: open
>Quarter:
>Keywords:
>Date-Required:
>Class: change-request
>Submitter-Id: current-users
>Arrival-Date: Tue Aug 16 05:00:26 GMT 2005
>Closed-Date:
>Last-Modified:
>Originator: Timothy Bourke
>Release: FreeBSD 5.4-RELEASE i386
>Organization:
University of NSW
>Environment:
System: FreeBSD blipblop 5.4-RELEASE FreeBSD 5.4-RELEASE #1: Sun Jul 3 14:15:31 EST 2005 root at blipblop:/usr/obj/usr/src/sys/C6651 i386
Uppaal is an editor and model checker for timed automata.
Unfortunately uppaal is distributed as a zip file without any version
identification.
License:
The Uppaal tool is free for non-profit applications but
there is a license agreement that all users must fill in
before downloading and using the tool.
Thus, restricted. I do not know how to update the LEGAL
file.
--- uppaal-3.4.11.sh begins here ---
# This is a shell archive. Save it in a file, remove anything before
# this line, and then unpack it by entering "sh file". Note, it may
# create directories; files and directories will be owned by you and
# have default permissions.
#
# This archive contains:
#
# uppaal
# uppaal/pkg-plist
# uppaal/Makefile
# uppaal/distinfo
# uppaal/files
# uppaal/files/patch-uppaal
# uppaal/files/uppaal.in
# uppaal/pkg-descr
#
echo c - uppaal
mkdir -p uppaal > /dev/null 2>&1
echo x - uppaal/pkg-plist
sed 's/^X//' >uppaal/pkg-plist << 'END-of-uppaal/pkg-plist'
Xbin/uppaal
X%%JAVASHAREDIR%%/%%PORTNAME%%/uppaal2k.jar
X%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jhbasic.jar
X%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jlfgr-1_0.jar
X%%JAVASHAREDIR%%/%%PORTNAME%%/lib/xalan.jar
X%%JAVASHAREDIR%%/%%PORTNAME%%/lib/xercesImpl.jar
X%%JAVASHAREDIR%%/%%PORTNAME%%/lib/xmlParserAPIs.jar
X%%JAVASHAREDIR%%/%%PORTNAME%%/README
X%%JAVASHAREDIR%%/%%PORTNAME%%/License-ASF
X%%JAVASHAREDIR%%/%%PORTNAME%%/server.exe
X%%JAVASHAREDIR%%/%%PORTNAME%%/socketserver.exe
X%%JAVASHAREDIR%%/%%PORTNAME%%/verifyta.exe
X%%JAVASHAREDIR%%/%%PORTNAME%%/demo/2doors.xml
X%%JAVASHAREDIR%%/%%PORTNAME%%/demo/2doors.q
X%%JAVASHAREDIR%%/%%PORTNAME%%/demo/bridge.xml
X%%JAVASHAREDIR%%/%%PORTNAME%%/demo/bridge.q
X%%JAVASHAREDIR%%/%%PORTNAME%%/demo/fischer.xml
X%%JAVASHAREDIR%%/%%PORTNAME%%/demo/fischer.q
X%%JAVASHAREDIR%%/%%PORTNAME%%/demo/train-gate.xml
X%%JAVASHAREDIR%%/%%PORTNAME%%/demo/train-gate.q
X at dirrm %%JAVASHAREDIR%%/%%PORTNAME%%/demo
X at dirrm %%JAVASHAREDIR%%/%%PORTNAME%%/lib
X at dirrm %%JAVASHAREDIR%%/%%PORTNAME%%
END-of-uppaal/pkg-plist
echo x - uppaal/Makefile
sed 's/^X//' >uppaal/Makefile << 'END-of-uppaal/Makefile'
X# New ports collection makefile for: uppaal
X# Date created: 16 August 2005
X# Whom: Timothy Bourke <timbob at bigpond.com>
X#
X# $FreeBSD$
X#
X
XPORTNAME= uppaal
XPORTVERSION= 3.4.11
XCATEGORIES= devel java linux
XDISTFILES= uppaal.zip
X
XMAINTAINER= timbob at bigpond.com
XCOMMENT= Tool environment for modeling and verifying timed automata
X
XUSE_ZIP= yes
XUSE_LINUX= yes
XUSE_JAVA= yes
XJAVA_VERSION= 1.4+
XJAVA_RUN= yes
X
XSUB_FILES= uppaal
XSUB_LIST= PORTNAME=${PORTNAME}
XPLIST_SUB= PORTNAME=${PORTNAME}
X
XMAN1= uppaal.1
XMANCOMPRESSED= no
X
XRESTRICTED= Downloading requires completion of a license agreement
X
X.include <bsd.port.pre.mk>
XTO_BE_FETCHED=
X.for f in ${DISTFILES}
X.if ! exists (${DISTDIR}/${DIST_SUBDIR}/${f})
XTO_BE_FETCHED+= ${f}
X.endif
X.endfor
X
Xdo-fetch:
X.if ${TO_BE_FETCHED} != ""
XECHO_MSG=/usr/bin/printf
XIGNORE= :\n\n\
X------------------------------------------------------------------\n\
XDownloading this software requires completion of a licence\n\
Xagreement, which may be found at: http://www.uppaal.com\n\
X\n\
XPlease download the _latest_ versions of the following files into\n\
X${DISTDIR}/${DIST_SUBDIR}\n\
X\n
X.for f in ${TO_BE_FETCHED}
XIGNORE+= ${f}\n
X.endfor
XIGNORE+=------------------------------------------------------------------\n\n
X.endif
X
Xpost-patch:
X ${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/server
X ${MV} ${WRKSRC}/bin-Linux/server ${WRKSRC}/bin-Linux/server.exe
X ${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/socketserver
X ${MV} ${WRKSRC}/bin-Linux/socketserver ${WRKSRC}/bin-Linux/socketserver.exe
X ${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/verifyta
X ${MV} ${WRKSRC}/bin-Linux/verifyta ${WRKSRC}/bin-Linux/verifyta.exe
X
Xdo-build: apply-slist
X
Xdo-install:
X ${MKDIR} ${JAVASHAREDIR}/${PORTNAME}
X ${INSTALL_DATA} ${WRKSRC}/README ${JAVASHAREDIR}/${PORTNAME}
X ${INSTALL_DATA} ${WRKSRC}/License-ASF ${JAVASHAREDIR}/${PORTNAME}
X ${INSTALL_SCRIPT} ${WRKSRC}/bin-Linux/server.exe ${JAVASHAREDIR}/${PORTNAME}
X ${INSTALL_SCRIPT} ${WRKSRC}/bin-Linux/socketserver.exe ${JAVASHAREDIR}/${PORTNAME}
X ${INSTALL_SCRIPT} ${WRKSRC}/bin-Linux/verifyta.exe ${JAVASHAREDIR}/${PORTNAME}
X ${MKDIR} ${JAVASHAREDIR}/${PORTNAME}/lib
X ${INSTALL_DATA} ${WRKSRC}/uppaal2k.jar ${JAVASHAREDIR}/${PORTNAME}
X ${INSTALL_DATA} ${WRKSRC}/lib/jhbasic.jar ${JAVASHAREDIR}/${PORTNAME}/lib
X ${INSTALL_DATA} ${WRKSRC}/lib/jlfgr-1_0.jar ${JAVASHAREDIR}/${PORTNAME}/lib
X ${INSTALL_DATA} ${WRKSRC}/lib/xalan.jar ${JAVASHAREDIR}/${PORTNAME}/lib
X ${INSTALL_DATA} ${WRKSRC}/lib/xercesImpl.jar ${JAVASHAREDIR}/${PORTNAME}/lib
X ${INSTALL_DATA} ${WRKSRC}/lib/xmlParserAPIs.jar ${JAVASHAREDIR}/${PORTNAME}/lib
X ${MKDIR} ${JAVASHAREDIR}/${PORTNAME}/demo
X ${INSTALL_DATA} ${WRKSRC}/demo/2doors.xml ${JAVASHAREDIR}/${PORTNAME}/demo
X ${INSTALL_DATA} ${WRKSRC}/demo/2doors.q ${JAVASHAREDIR}/${PORTNAME}/demo
X ${INSTALL_DATA} ${WRKSRC}/demo/bridge.xml ${JAVASHAREDIR}/${PORTNAME}/demo
X ${INSTALL_DATA} ${WRKSRC}/demo/bridge.q ${JAVASHAREDIR}/${PORTNAME}/demo
X ${INSTALL_DATA} ${WRKSRC}/demo/fischer.xml ${JAVASHAREDIR}/${PORTNAME}/demo
X ${INSTALL_DATA} ${WRKSRC}/demo/fischer.q ${JAVASHAREDIR}/${PORTNAME}/demo
X ${INSTALL_DATA} ${WRKSRC}/demo/train-gate.xml ${JAVASHAREDIR}/${PORTNAME}/demo
X ${INSTALL_DATA} ${WRKSRC}/demo/train-gate.q ${JAVASHAREDIR}/${PORTNAME}/demo
X ${INSTALL_MAN} ${WRKSRC}/man/man1/uppaal.1 ${PREFIX}/man/man1
X ${INSTALL_SCRIPT} ${WRKDIR}/uppaal ${PREFIX}/bin/
X
X.include <bsd.port.post.mk>
END-of-uppaal/Makefile
echo x - uppaal/distinfo
sed 's/^X//' >uppaal/distinfo << 'END-of-uppaal/distinfo'
XMD5 (uppaal.zip) = 2358ab2a7cf8a575015066a144bc7603
XSIZE (uppaal.zip) = 8535802
END-of-uppaal/distinfo
echo c - uppaal/files
mkdir -p uppaal/files > /dev/null 2>&1
echo x - uppaal/files/patch-uppaal
sed 's/^X//' >uppaal/files/patch-uppaal << 'END-of-uppaal/files/patch-uppaal'
X--- uppaal.orig Tue Aug 16 10:56:11 2005
X+++ uppaal Tue Aug 16 10:56:19 2005
X@@ -6,7 +6,7 @@
X
X HERE=`dirname $0`
X JAR=$HERE/uppaal2k.jar
X-ENGINE=$HERE/bin-`uname`
X+ENGINE=$HERE/bin-Linux
X if [ "$DISPLAY" = ":0.0" ]; then
X java -jar $JAR -enginePath $ENGINE $*
X else
END-of-uppaal/files/patch-uppaal
echo x - uppaal/files/uppaal.in
sed 's/^X//' >uppaal/files/uppaal.in << 'END-of-uppaal/files/uppaal.in'
X#!/bin/sh
X
XJAR=%%JAVASHAREDIR%%/%%PORTNAME%%/uppaal2k.jar
XENGINE=%%JAVASHAREDIR%%/%%PORTNAME%%
X
XDISPSERV=$(expr "$DISPLAY" : '^\(.*\):.*')
Xif [ -z "$DISPSERV" ]; then DISPSERV=$(hostname); fi
X
Xif [ "$DISPSERV" = "$(hostname)" ]; then
X java -jar $JAR -enginePath $ENGINE $*
Xelse
X java -jar $JAR -enginePath $ENGINE -antialias off $*
Xfi
X
END-of-uppaal/files/uppaal.in
echo x - uppaal/pkg-descr
sed 's/^X//' >uppaal/pkg-descr << 'END-of-uppaal/pkg-descr'
XUppaal is an integrated tool environment for modeling, validation
Xand verification of real-time systems modeled as networks of timed
Xautomata, extended with data types (bounded integers, arrays, etc.).
X
XThe tool is developed in collaboration between the Department of
XInformation Technology at Uppsala University, Sweden and the
XDepartment of Computer Science at Aalborg University in Denmark.
X
XWWW: http://www.uppaal.com/
END-of-uppaal/pkg-descr
exit
--- uppaal-3.4.11.sh ends here ---
>Description:
>How-To-Repeat:
>Fix:
>Release-Note:
>Audit-Trail:
>Unformatted:
More information about the freebsd-ports-bugs
mailing list