Changeset [f07c54e44204674721d73d15dcea6e33b6896f8b] by Douglas Creager

January 12th, 2009 @ 11:45 PM

Updating CSPM libraries to work with GHC 6.10 and Cabal 1.6

The HST libraries do not use any of the new features or libraries provided by GHC 6.10. This patch ensures that we use the 6.8-era base-3 libraries. We also require the latest Cabal, which requires a slight tweak to the Setup.lhs script to use the new name of the default UserHooks instance. http://github.com/hst/hst/commit...

Committed by Douglas Creager

  • M cspm/HST.cabal
  • M cspm/Setup.lhs
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.