Skip to content

Standalone termite build #15

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
davidcock wants to merge 6 commits into
base: master
Choose a base branch
from
Open

Standalone termite build #15

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
272acee
Switched submodules to HTTPS github URLs
davidcock Oct 20, 2014
e188748
Merge branch 'master' of github.com:termite2/Termite into update_paths
davidcock Oct 21, 2014
e4d480d
Merge branch 'master' of github.com:termite2/Termite into update_paths
davidcock Oct 23, 2014
778b335
Standalone termite binary
davidcock Oct 23, 2014
506f5ee
Switched cudd to my github branch
davidcock Oct 23, 2014
bcd3720
Updated cudd version
davidcock Oct 24, 2014
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
29 changes: 13 additions & 16 deletions .gitmodules
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,42 +1,39 @@
[submodule "lib/code-widget"]
path = lib/code-widget
url = git@github.com:termite2/code-widget.git
[submodule "lib/haskell_cudd"]
path = lib/haskell_cudd
url = git@github.com:termite2/haskell_cudd.git
url = https://github.com/termite2/code-widget.git
[submodule "lib/debug"]
path = lib/debug
url = git@github.com:termite2/debug.git
url = https://github.com/termite2/debug.git
[submodule "lib/synthesis"]
path = lib/synthesis
url = git@github.com:termite2/synthesis.git
url = https://github.com/termite2/synthesis.git
[submodule "lib/util"]
path = lib/util
url = git@github.com:termite2/util.git
url = https://github.com/termite2/util.git
[submodule "lib/tsl"]
path = lib/tsl
url = git@github.com:termite2/tsl.git
url = https://github.com/termite2/tsl.git
[submodule "lib/graph-draw"]
path = lib/graph-draw
url = git@github.com:termite2/graph-draw.git
url = https://github.com/termite2/graph-draw.git
[submodule "lib/hast"]
path = lib/hast
url = git@github.com:termite2/hast.git
url = https://github.com/termite2/hast.git
[submodule "lib/bv"]
path = lib/bv
url = git@github.com:termite2/bv.git
url = https://github.com/termite2/bv.git
[submodule "tools/termite-app"]
path = tools/termite-app
url = git@github.com:termite2/termite-app.git
url = https://github.com/termite2/termite-app.git
[submodule "tools/bdd"]
path = tools/bdd
url = git@github.com:termite2/bdd.git
url = https://github.com/termite2/bdd.git
[submodule "lib/bdd"]
path = lib/bdd
url = git@github.com:termite2/bdd.git
url = https://github.com/termite2/bdd.git
[submodule "lib/cudd"]
path = lib/cudd
url = git@github.com:termite2/cudd.git
url = https://github.com/davidcock/cudd.git
[submodule "specs"]
path = specs
url = git@github.com:termite2/specs.git
url = https://github.com/termite2/specs.git
12 changes: 1 addition & 11 deletions build.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,13 +1,3 @@
#!/bin/bash

pushd lib/cudd

if [ "`getconf LONG_BIT`" == "64" ];
then make -f Makefile.64bit libso
else make -f Makefile.32bit libso
fi

popd

LD_LIBRARY_PATH=`pwd`/lib/cudd/libso cabal install termite --extra-include-dirs=`pwd`/lib/cudd/include --extra-lib-dirs=`pwd`/lib/cudd/libso --bindir=`pwd`/bin

cabal install termite --bindir=`pwd`/bin
2 changes: 1 addition & 1 deletion lib/cudd
Open in desktop
Submodule cudd updated 17 files
+343 −0 Cudd/C.hs
+15 −0 Cudd/Common.hs
+25 −0 Cudd/Convert.hs
+449 −0 Cudd/Cudd.hs
+66 −0 Cudd/File.chs
+18 −0 Cudd/ForeignHelpers.hs
+58 −0 Cudd/GC.hs
+44 −0 Cudd/Hook.chs
+351 −0 Cudd/Imperative.hs
+35 −0 Cudd/Internal.hsc
+108 −0 Cudd/MTR.chs
+287 −0 Cudd/Reorder.chs
+15 −1 Makefile.32bit
+2 −0 Setup.hs
+71 −0 cudd.cabal
+116 −0 haskell_stubs/cuddwrap.c
+294 −0 haskell_stubs/stubs.c
1 change: 0 additions & 1 deletion lib/haskell_cudd
Open in desktop
Submodule haskell_cudd deleted from 234b56
3 changes: 1 addition & 2 deletions setup.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,7 @@ git submodule update

cabal sandbox init
cabal update
cabal sandbox add-source lib/bdd lib/bv lib/code-widget lib/debug lib/graph-draw lib/haskell_cudd lib/hast lib/synthesis lib/tsl lib/util tools/termite-app
cabal sandbox add-source lib/bdd lib/bv lib/code-widget lib/debug lib/graph-draw lib/cudd lib/hast lib/synthesis lib/tsl lib/util tools/termite-app

cabal install c2hs
cabal install gtk2hs-buildtools