kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/devel/ltsa/Makefile

43 lines
1.3 KiB
Makefile
Raw Normal View History

Second round of explicit pax dependencies. As reminded by tnn@, many packages used to use ${PAX}. Use the common way of directly calling pax, it is created as tool after all.
2008-05-26 04:13:14 +02:00
# $NetBSD: Makefile,v 1.8 2008/05/26 02:13:17 joerg Exp $
Initial import of ltsa (Labelled Transition System Analyser), version 2.2: A model is a simplified representation of the real world. Engineers use models to gain confidence in the adequacy and validity of a proposed design. Models are described using state machines, known as Labelled Transition Systems (LTS). These are described textually as Finite State Processes (FSP) and displayed and analysed by the LTSA analysis tool. This package provides the LTSA utility exposed above. It is specially useful to be used together with the 'Concurrency: State Models & Java Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/.
2004-02-29 23:21:19 +01:00
#
DISTNAME= ltsa2.2
PKGNAME= ${DISTNAME:S/ltsa/ltsa-/}
Recursive revision bump / recommended bump for gettext ABI change.
2006-02-06 00:08:03 +01:00
PKGREVISION= 1
Initial import of ltsa (Labelled Transition System Analyser), version 2.2: A model is a simplified representation of the real world. Engineers use models to gain confidence in the adequacy and validity of a proposed design. Models are described using state machines, known as Labelled Transition Systems (LTS). These are described textually as Finite State Processes (FSP) and displayed and analysed by the LTSA analysis tool. This package provides the LTSA utility exposed above. It is specially useful to be used together with the 'Concurrency: State Models & Java Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/.
2004-02-29 23:21:19 +01:00
CATEGORIES= devel
MASTER_SITES= http://www.doc.ic.ac.uk/~jnm/book/ltsa-v2/
EXTRACT_SUFX= .zip
Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no developer is officially maintaining the package. The rationale for changing this from "tech-pkg" to "pkgsrc-users" is that it implies that any user can try to maintain the package (by submitting patches to the mailing list). Since the folks most likely to care about the package are the folks that want to use it or are already using it, this would leverage the energy of users who aren't developers.
2006-03-04 22:28:51 +01:00
MAINTAINER= pkgsrc-users@NetBSD.org
Initial import of ltsa (Labelled Transition System Analyser), version 2.2: A model is a simplified representation of the real world. Engineers use models to gain confidence in the adequacy and validity of a proposed design. Models are described using state machines, known as Labelled Transition Systems (LTS). These are described textually as Finite State Processes (FSP) and displayed and analysed by the LTSA analysis tool. This package provides the LTSA utility exposed above. It is specially useful to be used together with the 'Concurrency: State Models & Java Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/.
2004-02-29 23:21:19 +01:00
HOMEPAGE= http://www.doc.ic.ac.uk/~jnm/book/ltsa-v2/
Update MASTER_SITES and/or HOMEPAGE, from Sergey Svishchev.
2006-10-04 23:35:58 +02:00
# ~jnm exists, /book/ does not
Initial import of ltsa (Labelled Transition System Analyser), version 2.2: A model is a simplified representation of the real world. Engineers use models to gain confidence in the adequacy and validity of a proposed design. Models are described using state machines, known as Labelled Transition Systems (LTS). These are described textually as Finite State Processes (FSP) and displayed and analysed by the LTSA analysis tool. This package provides the LTSA utility exposed above. It is specially useful to be used together with the 'Concurrency: State Models & Java Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/.
2004-02-29 23:21:19 +01:00
COMMENT= Labelled Transition System Analyser
Mechanical changes to add DESTDIR support to packages that install their files via a custom do-install target.
2008-03-03 18:45:33 +01:00
PKG_DESTDIR_SUPPORT= user-destdir
Initial import of ltsa (Labelled Transition System Analyser), version 2.2: A model is a simplified representation of the real world. Engineers use models to gain confidence in the adequacy and validity of a proposed design. Models are described using state machines, known as Labelled Transition Systems (LTS). These are described textually as Finite State Processes (FSP) and displayed and analysed by the LTSA analysis tool. This package provides the LTSA utility exposed above. It is specially useful to be used together with the 'Concurrency: State Models & Java Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/.
2004-02-29 23:21:19 +01:00
NO_CONFIGURE= YES
USE_JAVA2= YES
Second round of explicit pax dependencies. As reminded by tnn@, many packages used to use ${PAX}. Use the common way of directly calling pax, it is created as tool after all.
2008-05-26 04:13:14 +02:00
USE_TOOLS+= pax
Initial import of ltsa (Labelled Transition System Analyser), version 2.2: A model is a simplified representation of the real world. Engineers use models to gain confidence in the adequacy and validity of a proposed design. Models are described using state machines, known as Labelled Transition Systems (LTS). These are described textually as Finite State Processes (FSP) and displayed and analysed by the LTSA analysis tool. This package provides the LTSA utility exposed above. It is specially useful to be used together with the 'Concurrency: State Models & Java Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/.
2004-02-29 23:21:19 +01:00
INSTALLATION_DIRS= bin
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:
Mechanical changes to add DESTDIR support to packages that install their files via a custom do-install target.
2008-03-03 18:45:33 +01:00
${INSTALL_SCRIPT} ${WRKSRC}/ltsa.sh ${DESTDIR}${PREFIX}/bin/ltsa
${INSTALL_DATA_DIR} ${DESTDIR}${PREFIX}/lib/ltsa
Second round of explicit pax dependencies. As reminded by tnn@, many packages used to use ${PAX}. Use the common way of directly calling pax, it is created as tool after all.
2008-05-26 04:13:14 +02:00
cd ${WRKSRC}/lib && pax -rwpppm . ${DESTDIR}${PREFIX}/lib/ltsa
Mechanical changes to add DESTDIR support to packages that install their files via a custom do-install target.
2008-03-03 18:45:33 +01:00
${INSTALL_DATA_DIR} ${DESTDIR}${PREFIX}/share/doc/ltsa
${INSTALL_DATA} ${WRKSRC}/fspv2.pdf ${DESTDIR}${PREFIX}/share/doc/ltsa
${INSTALL_DATA} ${WRKSRC}/readme.txt ${DESTDIR}${PREFIX}/share/doc/ltsa
${INSTALL_DATA_DIR} ${DESTDIR}${PREFIX}/share/examples/ltsa
Second round of explicit pax dependencies. As reminded by tnn@, many packages used to use ${PAX}. Use the common way of directly calling pax, it is created as tool after all.
2008-05-26 04:13:14 +02:00
cd ${WRKSRC}/examples && pax -rwpppm . ${DESTDIR}${PREFIX}/share/examples/ltsa
Initial import of ltsa (Labelled Transition System Analyser), version 2.2: A model is a simplified representation of the real world. Engineers use models to gain confidence in the adequacy and validity of a proposed design. Models are described using state machines, known as Labelled Transition Systems (LTS). These are described textually as Finite State Processes (FSP) and displayed and analysed by the LTSA analysis tool. This package provides the LTSA utility exposed above. It is specially useful to be used together with the 'Concurrency: State Models & Java Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/.
2004-02-29 23:21:19 +01:00
.include "../../mk/java-vm.mk"
.include "../../mk/bsd.pkg.mk"
Reference in a new issue Copy permalink