Point cabal.project at saw-core packages in this repo.

GaloisInc · Apr 26, 2021 · 8e8640b · 8e8640b
1 parent 590b9d6
commit 8e8640b
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/cabal.project b/cabal.project
@@ -1,19 +1,19 @@
 packages:
     saw-script.cabal
     saw-remote-api
+    cryptol-saw-core
+    rme
+    saw-core
+    saw-core-aig
+    saw-core-sbv
+    saw-core-what4
+    saw-core-coq
     deps/llvm-pretty
     deps/llvm-pretty-bc-parser
     deps/jvm-parser
     deps/aig
     deps/abcBridge
     deps/cryptol
-    deps/saw-core/cryptol-saw-core
-    deps/saw-core/rme
-    deps/saw-core/saw-core
-    deps/saw-core/saw-core-aig
-    deps/saw-core/saw-core-sbv
-    deps/saw-core/saw-core-what4
-    deps/saw-core/saw-core-coq
     deps/what4/what4
     deps/crucible/crucible
     deps/crucible/crucible-jvm