GitHub - chrisbanks/cpiwb: Continuous pi-calculus workbench

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 337 Commits
CPi		CPi
models		models
.ghci		.ghci
.gitignore		.gitignore
LICENSE		LICENSE
README		README
Setup.hs		Setup.hs
TestKai.hs		TestKai.hs
Tests.hs		Tests.hs
build		build
cpiwb.cabal		cpiwb.cabal
cpiwb.hs		cpiwb.hs
makedocs		makedocs
profileMC1.hs		profileMC1.hs
profileMC2.hs		profileMC2.hs
profileMC3.hs		profileMC3.hs
profileMC4.hs		profileMC4.hs
profileSig0.hs		profileSig0.hs
profileSig1.hs		profileSig1.hs
profileSig2.hs		profileSig2.hs
profileSig3.hs		profileSig3.hs
profileSigCS		profileSigCS
profileSigCS-250.prof		profileSigCS-250.prof
profileSigCS.hs		profileSigCS.hs
profileSigCS.prof		profileSigCS.prof
profileSigSwich.hs		profileSigSwich.hs
profileTrue.hs		profileTrue.hs
runKai.hs		runKai.hs
runProfile		runProfile

Repository files navigation

This version is packaged for building with Cabal.  It uses sandboxes, which
requries a version of Cabal at least 1.18; and for other reasons the version
has to be less than 1.22.  

The current DICE, running Scientific Linux 7, satisfies this. 

Execute "./build" to build, "cabal run" to run, and "cabal build" to build
again.

For systems like Debian Jessie with more recent gcc and Cabal versions, it's
necessary to point back to earlier generations.  

  ./build --with-gcc=gcc-4.8 --cabal-lib-version=1.18.1.15

Here the gcc version needs to be less than 5, and Cabal less than 1.22.