WIP: Support GHC 9.10

GaloisInc · Feb 13, 2025 · 4acfb2a · 4acfb2a
1 parent 50d1550
commit 4acfb2a
Show file tree

Hide file tree

Showing 6 changed files with 10 additions and 6 deletions.
diff --git a/cabal.project b/cabal.project
@@ -4,6 +4,10 @@
 --
 -- export PATH=$PWD/dist-newstyle/build/x86_64-linux/ghc-7.10.3/hpb-0.1.1/c/hpb/build/hpb:$PATH
 
+-- TODO: https://github.com/travitch/itanium-abi/pull/15
+allow-newer: itanium-abi:text
+allow-newer: boomerang:template-haskell
+
 packages:
   crucible/
   crucible-cli/

diff --git a/crucible-llvm/crucible-llvm.cabal b/crucible-llvm/crucible-llvm.cabal
@@ -33,7 +33,7 @@ common bldflags
 library
   import: bldflags
   build-depends:
-    base >= 4.13 && < 4.20,
+    base >= 4.13 && < 4.21,
     attoparsec,
     bv-sized >= 1.0.0,
     bytestring,

diff --git a/crucible-symio/crucible-symio.cabal b/crucible-symio/crucible-symio.cabal
@@ -21,7 +21,7 @@ source-repository head
   subdir:   crucible-symio
 
 common shared
-  build-depends:       base >=4.12 && <4.20,
+  build-depends:       base >=4.12 && <4.21,
                        aeson,
                        bv-sized,
                        bytestring,

diff --git a/crucible/crucible.cabal b/crucible/crucible.cabal
@@ -45,7 +45,7 @@ library
   import: bldflags
   build-depends:
     async,
-    base >= 4.13 && < 4.20,
+    base >= 4.13 && < 4.21,
     bimap,
     bv-sized >= 1.0.0 && < 1.1,
     containers >= 0.5.9.0,

diff --git a/crux-llvm/crux-llvm.cabal b/crux-llvm/crux-llvm.cabal
@@ -55,7 +55,7 @@ common bldflags
                -Wincomplete-uni-patterns
   ghc-prof-options: -O2
   default-language: Haskell2010
-  build-depends:    base >= 4.8 && < 4.20
+  build-depends:    base >= 4.8 && < 4.21
                   , bytestring
                   , containers
                   , crucible

diff --git a/uc-crux-llvm/uc-crux-llvm.cabal b/uc-crux-llvm/uc-crux-llvm.cabal
@@ -185,7 +185,7 @@ library
   build-depends:
     aeson,
     async,
-    base >= 4.8 && < 4.20,
+    base >= 4.8 && < 4.21,
     bv-sized,
     bytestring,
     containers,
@@ -217,7 +217,7 @@ executable uc-crux-llvm
   hs-source-dirs: exe
 
   build-depends:
-    base >= 4.8 && < 4.20,
+    base >= 4.8 && < 4.21,
     uc-crux-llvm
 
   ghc-options: -threaded