Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 5bb13e9e16
Fetching contributors…

Cannot retrieve contributors at this time

18 lines (13 sloc) 0.452 kb
all :: install
test :: binaries/osx/yices
env PATH=./binaries/osx:$$PATH genex "a(b|c)d{2,3}e*"
binaries/osx/yices :
curl 'http://yices.csl.sri.com/cgi-bin/yices-newdownload.cgi?file=yices2smt09-x86_64-apple-darwin9.8.0-static-gmp.tgz&accept=I+accept' | tar zxf -
cp yices2smt09/bin/yices binaries/osx/yices
rm -rf yices2smt09
install ::
cabal install
cp ~/.cabal/bin/genex binaries/osx/
strip binaries/osx/genex
ghci ::
ghci -isrc Main.hs
Jump to Line
Something went wrong with that request. Please try again.