Adapt to saw-core package split

GaloisInc · Feb 23, 2016 · b97f6f7 · b97f6f7
1 parent ebe90ce
commit b97f6f7
Show file tree

Hide file tree

Showing 6 changed files with 11 additions and 1 deletion.
diff --git a/get-dependencies.sh b/get-dependencies.sh
@@ -10,7 +10,7 @@ set -x
 set -v
 set -e
 
-PUBLIC_GITHUB_REPOS="cryptol aig abcBridge jvm-parser llvm-pretty llvm-pretty-bc-parser saw-core cryptol-verifier jvm-verifier llvm-verifier"
+PUBLIC_GITHUB_REPOS="cryptol aig abcBridge jvm-parser llvm-pretty llvm-pretty-bc-parser saw-core saw-core-aig saw-core-sbv cryptol-verifier jvm-verifier llvm-verifier"
 PRIVATE_GITHUB_REPOS=""
 
 if [ ! -e ./deps ] ; then

diff --git a/saw-script.cabal b/saw-script.cabal
@@ -49,6 +49,8 @@ library
     , pretty-show
     , process
     , saw-core
+    , saw-core-aig
+    , saw-core-sbv
     , sbv >= 4.3
     , smtLib
     , split

diff --git a/stack.ghc-7.10-unix.yaml b/stack.ghc-7.10-unix.yaml
@@ -7,6 +7,8 @@ packages:
   - deps/abcBridge/
   - deps/cryptol/
   - deps/saw-core/
+  - deps/saw-core-aig/
+  - deps/saw-core-sbv/
   - deps/cryptol-verifier/
   - deps/jvm-verifier/
   - deps/llvm-verifier/

diff --git a/stack.ghc-7.10-windows.yaml b/stack.ghc-7.10-windows.yaml
@@ -11,6 +11,8 @@ packages:
   - deps/abcBridge/
   - deps/cryptol/
   - deps/saw-core/
+  - deps/saw-core-aig/
+  - deps/saw-core-sbv/
   - deps/cryptol-verifier/
   - deps/jvm-verifier/
   - deps/llvm-verifier/

diff --git a/stack.ghc-7.8-unix.yaml b/stack.ghc-7.8-unix.yaml
@@ -7,6 +7,8 @@ packages:
   - deps/abcBridge/
   - deps/cryptol/
   - deps/saw-core/
+  - deps/saw-core-aig/
+  - deps/saw-core-sbv/
   - deps/cryptol-verifier/
   - deps/jvm-verifier/
   - deps/llvm-verifier/

diff --git a/stack.ghc-7.8-windows.yaml b/stack.ghc-7.8-windows.yaml
@@ -11,6 +11,8 @@ packages:
   - deps/abcBridge/
   - deps/cryptol/
   - deps/saw-core/
+  - deps/saw-core-aig/
+  - deps/saw-core-sbv/
   - deps/cryptol-verifier/
   - deps/jvm-verifier/
   - deps/llvm-verifier/