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