blob: 9f59f49156cc75ead7f1e0760b1e216a5aae6505 (
plain)
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
|
# $NetBSD: Makefile,v 1.15 2020/11/28 01:20:03 gutteridge 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
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 -rwppm . ${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 -rwppm . ${DESTDIR}${PREFIX}/share/examples/ltsa
${CHMOD} -R og-w ${DESTDIR}${PREFIX}/share/examples/ltsa
.include "../../mk/java-vm.mk"
.include "../../mk/bsd.pkg.mk"
|