Remove crucible-server and crucible-saw from the cabal.project …

…file.

This prevents them from being built as part of `cabal build all`.
Those packages are in the process of being phased out, but we'll leave
the code in place for now.  The submodules necessary to build those
packages are also removed.

.github/Dockerfile-crux-llvm

@@ -39,7 +39,6 @@ ARG DIR=/crux-llvm
 RUN mkdir -p ${DIR}/build
 ADD crucible ${DIR}/build/crucible
 ADD crucible-llvm ${DIR}/build/crucible-llvm
-ADD crucible-saw ${DIR}/build/crucible-saw
 ADD crux ${DIR}/build/crux
 ADD crux-llvm ${DIR}/build/crux-llvm
 ADD dependencies ${DIR}/build/dependencies

.github/Dockerfile-crux-mir

@@ -56,7 +56,6 @@ ENV LANG=C.UTF-8 \
 ARG DIR=/crux-mir
 RUN mkdir -p ${DIR}/build
 ADD crucible ${DIR}/build/crucible
-ADD crucible-saw ${DIR}/build/crucible-saw
 ADD crux ${DIR}/build/crux
 ADD crux-mir ${DIR}/build/crux-mir
 ADD dependencies ${DIR}/build/dependencies

.github/cabal.project.crux-llvm

@@ -1,7 +1,6 @@
 packages:
   crucible/
   crucible-llvm/
-  crucible-saw/
   crux/
   crux-llvm/
 
@@ -10,9 +9,4 @@ optional-packages:
   dependencies/abcBridge/
   dependencies/llvm-pretty/
   dependencies/llvm-pretty-bc-parser/
-  dependencies/saw-core/saw-core/
-  dependencies/saw-core/saw-core-aig/
-  dependencies/saw-core/saw-core-sbv/
-  dependencies/saw-core/saw-core-what4/
-  dependencies/saw-core/cryptol-saw-core/
   dependencies/what4/what4/

.github/cabal.project.crux-mir

@@ -1,15 +1,9 @@
 packages:
   crucible/
-  crucible-saw/
   crux/
   crux-mir/
 
 optional-packages:
   dependencies/aig/
   dependencies/abcBridge/
-  dependencies/saw-core/saw-core/
-  dependencies/saw-core/saw-core-aig/
-  dependencies/saw-core/saw-core-sbv/
-  dependencies/saw-core/saw-core-what4/
-  dependencies/saw-core/cryptol-saw-core/
   dependencies/what4/what4/

.gitmodules

@@ -7,9 +7,6 @@
 [submodule "dependencies/blt"]
 	path = dependencies/blt
 	url =https://github.com/GaloisInc/blt.git
-[submodule "dependencies/cryptol"]
-	path = dependencies/cryptol
-	url = https://github.com/GaloisInc/cryptol.git
 [submodule "dependencies/golang"]
 	path = dependencies/golang
 	url = https://github.com/GaloisInc/golang.git
@@ -22,12 +19,6 @@
 [submodule "dependencies/llvm-pretty-bc-parser"]
 	path = dependencies/llvm-pretty-bc-parser
 	url = https://github.com/GaloisInc/llvm-pretty-bc-parser.git
-[submodule "dependencies/hpb"]
-	path = dependencies/hpb
-	url = https://github.com/GaloisInc/hpb.git
-[submodule "dependencies/saw-core"]
-	path = dependencies/saw-core
-	url = https://github.com/GaloisInc/saw-core.git
 [submodule "dependencies/what4"]
 	path = dependencies/what4
 	url = https://github.com/GaloisInc/what4.git

cabal.project

@@ -10,8 +10,6 @@ packages:
   crucible-jvm/
   crucible-llvm/
   crucible-wasm/
-  crucible-saw/
-  crucible-server/
   crucible-syntax/
   crux/
   crux-llvm/
@@ -28,13 +26,6 @@ optional-packages:
   dependencies/hpb/
   dependencies/llvm-pretty/
   dependencies/llvm-pretty-bc-parser/
-  dependencies/saw-core/rme/
-  dependencies/saw-core/saw-core/
-  dependencies/saw-core/saw-core-aig/
-  dependencies/saw-core/saw-core-sbv/
-  dependencies/saw-core/saw-core-what4/
-  dependencies/saw-core/cryptol-saw-core/
-  dependencies/cryptol/
   dependencies/what4/what4/
   dependencies/what4/what4-abc/
   dependencies/what4/what4-blt/

crux-llvm/crux-llvm.cabal

@@ -176,7 +176,6 @@ test-suite crux-llvm-test
                 filepath,
                 parsec,
                 process,
-                saw-core,
                 QuickCheck,
                 tasty            >= 0.10,
                 tasty-hunit      >= 0.10,