mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-26 00:55:14 +00:00
63 lines
1.8 KiB
Makefile
63 lines
1.8 KiB
Makefile
# Created by: Timothy Bourke <timbob@bigpond.com>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= uppaal
|
|
PORTVERSION= 4.0.10
|
|
CATEGORIES= devel java linux
|
|
MASTER_SITES= # empty
|
|
DISTNAME= uppaal-${PORTVERSION}-aca
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
|
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
|
|
|
|
NO_STAGE= yes
|
|
.include <bsd.port.pre.mk>
|
|
|
|
LINUX_SYSCTL= ${ECHO_CMD} `${SYSCTL} -n compat.linux.osrelease 2>/dev/null`
|
|
LINUX_OSRELEASE= ${LINUX_SYSCTL}
|
|
|
|
.if !exists(${DISTDIR}/${DISTNAME}${EXTRACT_SUFX})
|
|
IGNORE= please download ${DISTNAME}${EXTRACT_SUFX} into\
|
|
${DISTDIR}/${DIST_SUBDIR} from ${DOWNLOAD_URL} and re-run make
|
|
.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/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>
|