#10 ✓resolved
Douglas Creager

Create Cabal package for CSPM library

Reported by Douglas Creager | August 25th, 2008 @ 07:13 PM

I need to create a Cabal package for the Haskell CSPM code. It should interface in with the QuickCheck test suite.

Comments and changes to this ticket

  • Douglas Creager

    Douglas Creager August 26th, 2008 @ 04:36 PM

    • State changed from “new” to “resolved”

    (from [015d87c470e1e67cba3de830767d2413aa3f78a7]) 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...

Please Sign in or create a free account to add a new ticket.

With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.

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.

People watching this ticket

Tags

Referenced by

Pages