also remove what4 dependency, fixes #236

GaloisInc · Mar 13, 2024 · 8d587c0 · 8d587c0
1 parent 33908e8
commit 8d587c0
Show file tree

Hide file tree

Showing 8 changed files with 10 additions and 135 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -19,9 +19,6 @@
 [submodule "deps/parameterized-utils"]
 	path = deps/parameterized-utils
 	url = git@github.com:GaloisInc/parameterized-utils.git
-[submodule "deps/what4"]
-	path = deps/what4
-	url = git@github.com:GaloisInc/what4.git
 [submodule "deps/reopt-vcg"]
 	path = deps/reopt-vcg
 	url = git@github.com:GaloisInc/reopt-vcg.git

diff --git a/cabal.project b/cabal.project
@@ -13,7 +13,6 @@ packages:
   deps/macaw/x86
   deps/macaw/utils/compare-dwarfdump
   deps/parameterized-utils
-  deps/what4/what4
 
 haddock-html-location: https://hackage.haskell.org/package/$pkg-$version/docs
 

diff --git a/cabal.project.freeze.ghc.8.10.7 b/cabal.project.freeze.ghc.8.10.7
diff --git a/cabal.project.freeze.ghc.9.2.8 b/cabal.project.freeze.ghc.9.2.8