add a cabal.project file for new-build support (#1)

GaloisInc · Nov 1, 2016 · f311e22 · f311e22
1 parent 147850e
commit f311e22
Show file tree

Hide file tree

Showing 2 changed files with 25 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -8,4 +8,5 @@ dist
 TAGS
 unitTest.tix
 hpc_report
-stack.yaml
+stack.yaml
+/dist-newstyle
diff --git a/cabal.project b/cabal.project
@@ -0,0 +1,23 @@
+-- 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:
+ crucible/
+ crucible-abc/
+ crucible-blt/
+ crucible-saw/
+ crucible-server/
+ galois-matlab/
+
+optional-packages:
+ dependencies/abcBridge/
+ dependencies/aig/
+ dependencies/blt/
+ dependencies/hpb/
+ dependencies/llvm-pretty/
+ dependencies/llvm-pretty-bc-parser/
+ dependencies/parameterized-utils/
+ dependencies/saw-core/