mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-29 10:18:30 +00:00
537d1372f9
PR: ports/105446 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) Reported by: Kris Kennaway
63 lines
1.9 KiB
Makefile
63 lines
1.9 KiB
Makefile
# New ports collection makefile for: uppaal
|
|
# Date created: 16 August 2005
|
|
# Whom: Timothy Bourke <timbob@bigpond.com>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= uppaal
|
|
PORTVERSION= 4.0.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>
|
|
|
|
.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>
|