blob: 4ea8b0b3ad3abeb4a64c9eb8209e64730b2efa24 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
# New ports collection makefile for: uppaal
# Date created: 16 August 2005
# Whom: Timothy Bourke <timbob@bigpond.com>
#
# $FreeBSD$
#
PORTNAME= uppaal
PORTVERSION= 4.0.6
PORTREVISION= 2
CATEGORIES= devel java linux
MAINTAINER= timbob@bigpond.com
COMMENT= Tool environment for modeling and verifying timed automata
USE_ZIP= yes
USE_LINUX= yes
USE_JAVA= yes
JAVA_VERSION= 1.5+
JAVA_RUN= yes
SUB_FILES= uppaal verifyta
SUB_LIST+= PORTNAME=${PORTNAME}
PLIST_SUB+= PORTNAME=${PORTNAME}
DOWNLOAD_URL= http://www.it.uu.se/research/group/darts/uppaal/download/registration.php?id=0&subid=0
NO_BUILD= yes
MAN1= uppaal.1
MANCOMPRESSED= no
RESTRICTED= Downloading requires completion of a license agreement
.include <bsd.port.pre.mk>
LINUX_OSRELEASE!= ${ECHO_CMD} `${SYSCTL} -n compat.linux.osrelease 2>/dev/null`
.if ${LINUX_OSRELEASE} == "2.4.2" || ${OSVERSION} < 700000
IGNORE=requires compat.linux.osrelease of at least 2.6.16 (needs 7.0 or later)
.endif
.if !exists(${DISTDIR}/${DISTNAME}${EXTRACT_SUFX}) && !defined(PACKAGE_BUILDING)
ECHO_MSG=/usr/bin/printf
IGNORE=Please download ${DISTNAME}${EXTRACT_SUFX} into\
${DISTDIR}/${DIST_SUBDIR} from:\n\t${DOWNLOAD_URL}\n
.endif
post-patch:
${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/server
${MV} ${WRKSRC}/bin-Linux/server ${WRKSRC}/bin-Linux/server.exe
${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-install:
${MKDIR} ${JAVASHAREDIR}/${PORTNAME}/lib
${INSTALL_PROGRAM} ${WRKSRC}/bin-Linux/* ${JAVASHAREDIR}/${PORTNAME}
${INSTALL_DATA} ${WRKSRC}/uppaal.jar ${JAVASHAREDIR}/${PORTNAME}
${INSTALL_DATA} ${WRKSRC}/lib/*.jar ${JAVASHAREDIR}/${PORTNAME}/lib
${MKDIR} ${EXAMPLESDIR}
${INSTALL_DATA} ${WRKSRC}/demo/* ${EXAMPLESDIR}
${INSTALL_MAN} ${WRKSRC}/man/man1/uppaal.1 ${PREFIX}/man/man1
${INSTALL_SCRIPT} ${WRKDIR}/verifyta ${PREFIX}/bin
${INSTALL_SCRIPT} ${WRKDIR}/uppaal ${PREFIX}/bin
.if !defined(NOPORTDOCS)
${MKDIR} ${DOCSDIR}
${INSTALL_DATA} ${WRKSRC}/README ${DOCSDIR}
.endif
.include <bsd.port.post.mk>
|
