6c28801faa
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/.
38 lines
1.2 KiB
Makefile
38 lines
1.2 KiB
Makefile
# $NetBSD: Makefile,v 1.1.1.1 2004/02/29 22:21:19 jmmv Exp $
|
|
#
|
|
|
|
DISTNAME= ltsa2.2
|
|
PKGNAME= ${DISTNAME:S/ltsa/ltsa-/}
|
|
CATEGORIES= devel
|
|
MASTER_SITES= http://www.doc.ic.ac.uk/~jnm/book/ltsa-v2/
|
|
EXTRACT_SUFX= .zip
|
|
|
|
MAINTAINER= jmmv@NetBSD.org
|
|
HOMEPAGE= http://www.doc.ic.ac.uk/~jnm/book/ltsa-v2/
|
|
COMMENT= Labelled Transition System Analyser
|
|
|
|
NO_BUILDLINK= YES
|
|
NO_CONFIGURE= YES
|
|
USE_JAVA2= YES
|
|
|
|
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:
|
|
${INSTALL_SCRIPT} ${WRKSRC}/ltsa.sh ${PREFIX}/bin/ltsa
|
|
${INSTALL_DATA_DIR} ${PREFIX}/lib/ltsa
|
|
cd ${WRKSRC}/lib && ${PAX} -rwpppm . ${PREFIX}/lib/ltsa
|
|
${INSTALL_DATA_DIR} ${PREFIX}/share/doc/ltsa
|
|
${INSTALL_DATA} ${WRKSRC}/fspv2.pdf ${PREFIX}/share/doc/ltsa
|
|
${INSTALL_DATA} ${WRKSRC}/readme.txt ${PREFIX}/share/doc/ltsa
|
|
${INSTALL_DATA_DIR} ${PREFIX}/share/examples/ltsa
|
|
cd ${WRKSRC}/examples && ${PAX} -rwpppm . ${PREFIX}/share/examples/ltsa
|
|
|
|
.include "../../mk/java-vm.mk"
|
|
.include "../../mk/bsd.pkg.mk"
|