mirror of
https://github.com/GaloisInc/what4.git
synced 2024-09-11 04:05:38 +03:00
Add dependencies and a fresh cabal.project following repository split
This commit is contained in:
parent
eb48f83e36
commit
e6e596deb3
12
.gitmodules
vendored
Normal file
12
.gitmodules
vendored
Normal file
@ -0,0 +1,12 @@
|
||||
[submodule "dependencies/aig"]
|
||||
path = dependencies/aig
|
||||
url = git@github.com:GaloisInc/aig
|
||||
[submodule "dependencies/abcBridge"]
|
||||
path = dependencies/abcBridge
|
||||
url = git@github.com:GaloisInc/abcBridge
|
||||
[submodule "dependencies/blt"]
|
||||
path = dependencies/blt
|
||||
url = git@github.com:GaloisInc/blt
|
||||
[submodule "dependencies/parameterized-utils"]
|
||||
path = dependencies/parameterized-utils
|
||||
url = git@github.com:GaloisInc/parameterized-utils
|
17
cabal.project
Normal file
17
cabal.project
Normal file
@ -0,0 +1,17 @@
|
||||
-- note: since new-build does not yet support adding custom
|
||||
-- (non-alex/happy/etc) build tools to the path, you will have to do
|
||||
-- something like this before building:
|
||||
--
|
||||
-- export PATH=$PWD/dist-newstyle/build/x86_64-linux/ghc-7.10.3/hpb-0.1.1/c/hpb/build/hpb:$PATH
|
||||
|
||||
packages:
|
||||
what4/
|
||||
what4-abc/
|
||||
what4-blt/
|
||||
|
||||
optional-packages:
|
||||
dependencies/abcBridge/
|
||||
dependencies/aig/
|
||||
dependencies/blt/
|
||||
dependencies/parameterized-utils/
|
||||
|
1
dependencies/abcBridge
vendored
Submodule
1
dependencies/abcBridge
vendored
Submodule
@ -0,0 +1 @@
|
||||
Subproject commit cb943e93de0d38bcf59faec0c60739e222fb4adb
|
1
dependencies/aig
vendored
Submodule
1
dependencies/aig
vendored
Submodule
@ -0,0 +1 @@
|
||||
Subproject commit f5cf71da841187c726b8511c79476ddfeb8ea3aa
|
1
dependencies/blt
vendored
Submodule
1
dependencies/blt
vendored
Submodule
@ -0,0 +1 @@
|
||||
Subproject commit d0c8d9d14fe1bb43045ca04d6961a6290af637b7
|
1
dependencies/parameterized-utils
vendored
Submodule
1
dependencies/parameterized-utils
vendored
Submodule
@ -0,0 +1 @@
|
||||
Subproject commit 05b34f74a44c02e20e7b782581904f255ec27b10
|
Loading…
Reference in New Issue
Block a user