Remove What4 submodule and depend on hackage-relased What4 instead.

2024-08-16 17:30:27 +03:00 · 2020-07-21 23:21:21 -07:00 · 2020-07-21 23:21:21 -07:00 · 98ee00742f
commit 98ee00742f
parent df7d9ba906
4 changed files with 1 additions and 8 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -1,6 +1,3 @@
 [submodule "examples/cryptol-specs"]
 	path = examples/cryptol-specs
 	url = https://github.com/GaloisInc/cryptol-specs.git
-[submodule "dependencies/what4"]
-	path = dependencies/what4
-	url = https://github.com/GaloisInc/what4.git
--- a/cabal.project
+++ b/cabal.project
@ -1,6 +1,3 @@
 packages:
    cryptol.cabal
    tests
-
-optional-packages:
-    dependencies/what4/what4
--- a/cryptol.cabal
+++ b/cryptol.cabal
@ -73,7 +73,7 @@ library
                       mtl               >= 2.2.1,
                       time              >= 1.6.0.1,
                       panic             >= 0.3,
-                       what4             >= 0.1
+                       what4             >= 1.0 && < 1.1

  Build-tools:         alex, happy
  hs-source-dirs:      src
--- a/dependencies/what4
+++ b/dependencies/what4
@ -1 +0,0 @@
-Subproject commit 28125bcf53378917341f43cb717f6cded3f22287
				`@ -1 +0,0 @@`
				`Subproject commit 28125bcf53378917341f43cb717f6cded3f22287`