summaryrefslogtreecommitdiff
path: root/devel/ltsa/Makefile
AgeCommit message (Collapse)AuthorFilesLines
2009-09-09Really unbreak after unzip changes. Bump PKGREVISION.hasso1-2/+2
2009-09-04Simplify. Unbreak after unzip changes.joerg1-6/+3
2009-05-02Fix permissions of installed files. From Ryo HAYASAKA in PR 41323.wiz1-2/+4
Bump PKGREVISION.
2009-04-30Set USE_JAVA2 to lower-case yes, per PR 41309 from Ryo HAYASAKA.wiz1-2/+2
2008-05-26Second round of explicit pax dependencies. As reminded by tnn@,joerg1-3/+4
many packages used to use ${PAX}. Use the common way of directly calling pax, it is created as tool after all.
2008-03-03Mechanical changes to add DESTDIR support to packages that installjlam1-9/+11
their files via a custom do-install target.
2006-10-04Update MASTER_SITES and/or HOMEPAGE, from Sergey Svishchev.wiz1-1/+2
2006-03-04Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where nojlam1-2/+2
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-02-05Recursive revision bump / recommended bump for gettext ABI change.joerg1-1/+2
2006-01-20Drop maintainership. I can't seriously be the maintainer of so manyjmmv1-2/+2
packages - specially of packages that I haven't touched for a long while or those that other people can handle better than me.
2005-04-11Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.tv1-2/+1
2004-02-29Initial import of ltsa (Labelled Transition System Analyser), version 2.2:jmmv1-0/+38
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/.