mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-27 05:10:36 +00:00
71 lines
2.1 KiB
Makefile
71 lines
2.1 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.7
|
|
CATEGORIES= devel java linux
|
|
DISTNAME= uppaal-${PORTVERSION}-aca
|
|
|
|
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.6+
|
|
JAVA_RUN= yes
|
|
|
|
WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION}
|
|
SUB_FILES= uppaal verifyta
|
|
SUB_LIST+= PORTNAME=${PORTNAME}
|
|
PLIST_SUB+= PORTNAME=${PORTNAME}
|
|
DOWNLOAD_URL= http://www.it.uu.se/research/group/darts/uppaal/download.shtml
|
|
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.txt ${DOCSDIR}
|
|
.endif
|
|
|
|
.include <bsd.port.post.mk>
|