Changeset [015d87c470e1e67cba3de830767d2413aa3f78a7] by Douglas Creager

August 25th, 2008 @ 11:55 PM

Cabal build infrastructure

This patch introduces a Cabal package description for the current HST library. This includes a hook to call the QuickCheck test suite. To build and test the Haskell code, simply run the following from the cspm directory:

./Setup.lhs configure ./Setup.lhs build ./Setup.lhs test

Lighthouse: [#10 state:resolved] http://github.com/dcreager/hst/c...

Committed by Douglas Creager

  • M cspm/.gitignore
  • M cspm/HST.cabal
  • M cspm/LICENSE
  • M cspm/Setup.lhs
  • M cspm/tests/HST/CSPM/Tests.hs
New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

An open-source refinement checker for the CSP process algebra.