Fixed broken cabal files (untested)

ruhler · Jun 8, 2014 · 4521540 · 4521540
1 parent 1a6a51c
commit 4521540
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 6 deletions.
diff --git a/doc/todo.txt b/doc/todo.txt
@@ -16,9 +16,6 @@ Cleanup::
   into Smten.Search
   - rename Smten.Symbolic0 Smten.Search0, or Smten.Search.Search, or
     Smten.Search.Prim, or something like that.
-  - move stp solver to Smten.Search.Solver
-  - move minisat solver to Smten.Search.Solver
-  - move yices1 solver to Smten.Search.Solver
 * Make a single smten-lib.hs file which lists the modules we need to compile
   just for purposes of generating files.
 * Rename "SMT" test cases to "Search" test cases.

diff --git a/smten-minisat/smten-minisat.cabal b/smten-minisat/smten-minisat.cabal
@@ -28,7 +28,7 @@ library
     Smten.Runtime.MiniSat.FFI
     Smten.Symbolic.Solver.MiniSat
     Smten.Search.Solver.MiniSat
-    Smten.Compiled.Smten.Symbolic.Solver.MiniSat
+    Smten.Compiled.Smten.Search.Solver.MiniSat
 
   other-modules:
 

diff --git a/smten-stp/smten-stp.cabal b/smten-stp/smten-stp.cabal
@@ -34,7 +34,7 @@ library
   exposed-modules:
     Smten.Symbolic.Solver.STP
     Smten.Search.Solver.STP
-    Smten.Compiled.Smten.Symbolic.Solver.STP
+    Smten.Compiled.Smten.Search.Solver.STP
 
   other-modules:
     Smten.Runtime.STP.FFI

diff --git a/smten-yices1/smten-yices1.cabal b/smten-yices1/smten-yices1.cabal
@@ -34,7 +34,7 @@ library
   exposed-modules:
     Smten.Symbolic.Solver.Yices1
     Smten.Search.Solver.Yices1
-    Smten.Compiled.Smten.Symbolic.Solver.Yices1
+    Smten.Compiled.Smten.Search.Solver.Yices1
 
   other-modules:
     Smten.Runtime.Yices1.FFI