GitHub - continuouspi/cpiwb: Continuous pi-Calculus workbench and related tools

continuouspi / cpiwb Public

forked from chrisbanks/cpiwb

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Continuous pi-Calculus workbench and related tools

GPL-3.0 license

0 stars 3 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 506 Commits
CPi		CPi
matlab_extension		matlab_extension
models		models
ode_families		ode_families
.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
install-deps-ubuntu.sh		install-deps-ubuntu.sh
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.