Revert "make reopt compatible with recent GHCs and dependencies"

GaloisInc · Mar 14, 2024 · c0668cd · c0668cd
1 parent 0a74916
commit c0668cd
Show file tree

Hide file tree

Showing 29 changed files with 365 additions and 885 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -19,6 +19,9 @@
 [submodule "deps/parameterized-utils"]
 	path = deps/parameterized-utils
 	url = [email protected]:GaloisInc/parameterized-utils.git
+[submodule "deps/what4"]
+	path = deps/what4
+	url = [email protected]:GaloisInc/what4.git
 [submodule "deps/reopt-vcg"]
 	path = deps/reopt-vcg
 	url = [email protected]:GaloisInc/reopt-vcg.git

diff --git a/cabal.project b/cabal.project
@@ -13,6 +13,7 @@ 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