41 lines
1.3 KiB
Makefile
41 lines
1.3 KiB
Makefile
# $NetBSD: Makefile,v 1.12 2009/09/09 07:27:56 hasso Exp $
|
|
#
|
|
|
|
DISTNAME= ltsa2.2
|
|
PKGNAME= ${DISTNAME:S/ltsa/ltsa-/}
|
|
PKGREVISION= 3
|
|
CATEGORIES= devel
|
|
MASTER_SITES= http://www.doc.ic.ac.uk/~jnm/book/ltsa-v2/
|
|
EXTRACT_SUFX= .zip
|
|
|
|
MAINTAINER= pkgsrc-users@NetBSD.org
|
|
HOMEPAGE= http://www.doc.ic.ac.uk/~jnm/book/ltsa-v2/
|
|
# ~jnm exists, /book/ does not
|
|
COMMENT= Labelled Transition System Analyser
|
|
|
|
PKG_DESTDIR_SUPPORT= user-destdir
|
|
|
|
NO_CONFIGURE= YES
|
|
USE_JAVA2= yes
|
|
USE_TOOLS+= pax
|
|
|
|
INSTALLATION_DIRS= bin lib/ltsa share/doc/ltsa share/examples/ltsa
|
|
|
|
do-build:
|
|
@${ECHO} "Generating ltsa.sh script..."
|
|
@${ECHO} '#!${SH}' >${WRKSRC}/ltsa.sh
|
|
@${ECHO} '${ULIMIT_CMD_datasize}' >>${WRKSRC}/ltsa.sh
|
|
@${ECHO} '${PKG_JAVA_HOME}/bin/java -jar ${PREFIX}/lib/ltsa/ltsa.jar' \
|
|
'$$*' >>${WRKSRC}/ltsa.sh
|
|
|
|
do-install:
|
|
${INSTALL_SCRIPT} ${WRKSRC}/ltsa.sh ${DESTDIR}${PREFIX}/bin/ltsa
|
|
cd ${WRKSRC}/lib && pax -rwpppm . ${DESTDIR}${PREFIX}/lib/ltsa
|
|
${CHMOD} -R og-w ${DESTDIR}${PREFIX}/lib/ltsa
|
|
${INSTALL_DATA} ${WRKSRC}/fspv2.pdf ${DESTDIR}${PREFIX}/share/doc/ltsa
|
|
${INSTALL_DATA} ${WRKSRC}/readme.txt ${DESTDIR}${PREFIX}/share/doc/ltsa
|
|
cd ${WRKSRC}/Examples && pax -rwpppm . ${DESTDIR}${PREFIX}/share/examples/ltsa
|
|
${CHMOD} -R og-w ${DESTDIR}${PREFIX}/share/examples/ltsa
|
|
|
|
.include "../../mk/java-vm.mk"
|
|
.include "../../mk/bsd.pkg.mk"
|