copy GHC-ver convention from cryptol

GaloisInc · Aug 18, 2020 · c2fa540 · c2fa540
1 parent b20c90a
commit c2fa540
Show file tree

Hide file tree

Showing 4 changed files with 292 additions and 33 deletions.
diff --git a/.gitignore b/.gitignore
@@ -15,6 +15,7 @@ stack.yaml
 .ghc.environment*
 .class
 dist-newstyle
+cabal.project.freeze
 *~
 *#
 .#*
diff --git a/cabal.project.freeze → cabal.GHC-8.6.5.config b/cabal.project.freeze → cabal.GHC-8.6.5.config
@@ -134,7 +134,6 @@ constraints: any.Cabal ==2.4.0.1,
              any.hedgehog ==1.0.2,
              any.heredoc ==0.2.0.0,
              any.hpc ==0.6.0.3,
-             any.hsc2hs ==0.68.7,
              hsc2hs -in-ghc-tree,
              any.hspec ==2.7.1,
              any.hspec-core ==2.7.1,

diff --git a/cabal.GHC-8.8.3.config b/cabal.GHC-8.8.3.config
@@ -0,0 +1,290 @@
+constraints: any.Cabal ==3.0.1.0,
+             any.FloatingHex ==0.4,
+             any.Glob ==0.10.0,
+             any.GraphSCC ==1.0.4,
+             GraphSCC -use-maps,
+             any.HUnit ==1.6.0.0,
+             any.IfElse ==0.85,
+             any.IntervalMap ==0.6.1.2,
+             any.MonadRandom ==0.5.2,
+             any.Only ==0.1,
+             any.QuickCheck ==2.14.1,
+             QuickCheck -old-random +templatehaskell,
+             any.StateVar ==1.2,
+             abcBridge -enable-extra-tests +enable-pthreads,
+             any.abstract-deque ==0.3,
+             abstract-deque -usecas,
+             any.abstract-par ==0.3.3,
+             any.adjunctions ==4.4,
+             any.aeson ==1.5.2.0,
+             aeson -bytestring-builder -cffi -developer -fast,
+             any.alex ==3.2.5,
+             alex +small_base,
+             any.ansi-terminal ==0.10.3,
+             ansi-terminal -example,
+             any.ansi-wl-pprint ==0.6.9,
+             ansi-wl-pprint -example,
+             any.array ==0.5.4.0,
+             any.assoc ==1.0.1,
+             any.async ==2.2.2,
+             async -bench,
+             any.attoparsec ==0.13.2.4,
+             attoparsec -developer,
+             any.base ==4.13.0.0,
+             any.base-compat ==0.11.1,
+             any.base-compat-batteries ==0.11.1,
+             any.base-orphans ==0.8.2,
+             any.bifunctors ==5.5.7,
+             bifunctors +semigroups +tagged,
+             any.bimap ==0.4.0,
+             any.binary ==0.8.7.0,
+             any.binary-orphans ==1.0.1,
+             any.bitwise ==1.0.0.1,
+             any.blaze-builder ==0.4.1.0,
+             any.blaze-html ==0.9.1.2,
+             any.blaze-markup ==0.8.2.7,
+             any.boomerang ==1.4.6,
+             any.bv-sized ==1.0.1,
+             any.bytestring ==0.10.10.0,
+             any.bytestring-builder ==0.10.8.2.0,
+             bytestring-builder +bytestring_has_builder,
+             any.c2hs ==0.28.6,
+             c2hs +base3 -regression,
+             any.cabal-doctest ==1.0.8,
+             any.call-stack ==0.2.0,
+             any.case-insensitive ==1.2.1.0,
+             any.cassava ==0.5.2.0,
+             cassava -bytestring--lt-0_10_4,
+             any.cereal ==0.5.8.1,
+             cereal -bytestring-builder,
+             any.clock ==0.8,
+             clock -llvm,
+             any.cmdargs ==0.10.20,
+             cmdargs +quotation -testprog,
+             any.code-page ==0.2,
+             any.colour ==2.3.5,
+             any.comonad ==5.0.6,
+             comonad +containers +distributive +test-doctests,
+             any.conduit ==1.3.2,
+             any.config-schema ==1.2.0.0,
+             config-schema -use-semigroups,
+             any.config-value ==0.7.0.1,
+             any.constraints ==0.11.2,
+             any.containers ==0.6.2.1,
+             any.contravariant ==1.5.2,
+             contravariant +semigroups +statevar +tagged,
+             any.crackNum ==2.3,
+             any.criterion ==1.5.6.2,
+             criterion -embed-data-files -fast,
+             any.criterion-measurement ==0.1.2.0,
+             criterion-measurement -fast,
+             crucible +unsafe-operations,
+             any.cryptohash-sha1 ==0.11.100.1,
+             cryptol +relocatable -static,
+             cryptol-verifier +build-css,
+             any.data-accessor ==0.2.3,
+             data-accessor +category +monadfail +splitbase,
+             any.data-binary-ieee754 ==0.4.4,
+             any.data-default-class ==0.1.2.0,
+             any.data-inttrie ==0.1.4,
+             any.data-ref ==0.0.2,
+             any.deepseq ==1.4.4.0,
+             any.dense-linear-algebra ==0.1.0.0,
+             any.deriving-compat ==0.5.9,
+             deriving-compat +base-4-9 +new-functor-classes +template-haskell-2-11,
+             any.directory ==1.3.6.0,
+             any.distributive ==0.6.2,
+             distributive +semigroups +tagged,
+             any.dlist ==0.8.0.8,
+             any.doctest ==0.16.3,
+             any.dotgen ==0.4.3,
+             dotgen -devel,
+             any.either ==5.0.1.1,
+             any.exceptions ==0.10.4,
+             exceptions +transformers-0-4,
+             any.executable-path ==0.0.3.1,
+             any.extra ==1.7.3,
+             any.fgl ==5.7.0.2,
+             fgl +containers042,
+             any.fgl-visualize ==0.1.0.1,
+             any.filemanip ==0.3.6.3,
+             any.filepath ==1.4.2.1,
+             any.fingertree ==0.1.4.2,
+             any.free ==5.1.3,
+             any.generic-deriving ==1.13.1,
+             generic-deriving +base-4-9,
+             any.generic-random ==1.3.0.1,
+             any.ghc ==8.8.3,
+             any.ghc-boot ==8.8.3,
+             any.ghc-boot-th ==8.8.3,
+             any.ghc-heap ==8.8.3,
+             any.ghc-paths ==0.1.0.12,
+             any.ghc-prim ==0.5.3,
+             any.ghci ==8.8.3,
+             any.gitrev ==1.3.1,
+             any.happy ==1.19.12,
+             happy +small_base,
+             any.hashable ==1.3.0.0,
+             hashable -examples +integer-gmp +sse2 -sse41,
+             any.hashtables ==1.2.3.4,
+             hashtables -bounds-checking -debug -detailed-profiling -portable -sse42 +unsafe-tricks,
+             any.haskeline ==0.7.5.0,
+             any.haskell-lexer ==1.1,
+             any.haskell-src-exts ==1.23.1,
+             any.haskell-src-meta ==0.8.5,
+             any.heredoc ==0.2.0.0,
+             any.hpc ==0.6.0.3,
+             any.hsc2hs ==0.68.7,
+             hsc2hs -in-ghc-tree,
+             any.hspec ==2.7.1,
+             any.hspec-core ==2.7.1,
+             any.hspec-discover ==2.7.1,
+             any.hspec-expectations ==0.8.2,
+             any.integer-gmp ==1.0.2.0,
+             any.integer-logarithms ==1.0.3,
+             integer-logarithms -check-bounds +integer-gmp,
+             any.interpolate ==0.2.1,
+             any.invariant ==0.5.3,
+             any.io-streams ==1.5.1.0,
+             io-streams -nointeractivetests,
+             any.itanium-abi ==0.1.1.1,
+             any.js-flot ==0.8.3,
+             any.js-jquery ==3.3.1,
+             any.json ==0.10,
+             json +generic -mapdict +parsec +pretty +split-base,
+             jvm-verifier +build-benchmarks -build-examples +build-jss -build-jvmgraph +build-library,
+             any.kan-extensions ==5.2,
+             any.language-c ==0.8.3,
+             language-c -allwarnings +iecfpextension +separatesyb +usebytestrings,
+             any.lens ==4.19.2,
+             lens -benchmark-uniplate -dump-splices +inlining -j -old-inline-pragmas -safe +test-doctests +test-hunit +test-properties +test-templates +trustworthy,
+             any.libBF ==0.5.1,
+             any.libyaml ==0.1.2,
+             libyaml -no-unicode -system-libyaml,
+             llvm-pretty-bc-parser -fuzz -regressions,
+             any.logict ==0.7.0.2,
+             any.math-functions ==0.3.4.0,
+             math-functions +system-erf +system-expm1,
+             any.megaparsec ==8.0.0,
+             megaparsec -dev,
+             any.microlens ==0.4.11.2,
+             any.microlens-th ==0.4.3.5,
+             any.microstache ==1.0.1.1,
+             any.monad-control ==1.0.2.3,
+             any.monad-par ==0.3.5,
+             monad-par -chaselev -newgeneric,
+             any.monad-par-extras ==0.3.3,
+             any.monadLib ==3.10,
+             any.mono-traversable ==1.0.15.1,
+             any.mtl ==2.2.2,
+             any.mwc-random ==0.14.0.0,
+             any.network ==3.1.1.1,
+             any.old-locale ==1.0.0.7,
+             any.old-time ==1.1.0.3,
+             any.optparse-applicative ==0.15.1.0,
+             any.panic ==0.4.0.1,
+             any.parallel ==3.2.2.0,
+             parameterized-utils +unsafe-operations,
+             any.parsec ==3.1.14.0,
+             any.parser-combinators ==1.2.1,
+             parser-combinators -dev,
+             any.pretty ==1.1.3.6,
+             any.pretty-hex ==1.1,
+             any.pretty-show ==1.10,
+             any.primitive ==0.7.1.0,
+             any.process ==1.6.8.0,
+             any.profunctors ==5.5.2,
+             any.quickcheck-io ==0.2.0,
+             any.random ==1.2.0,
+             any.raw-strings-qq ==1.1,
+             any.reflection ==2.1.6,
+             reflection -slow +template-haskell,
+             any.resourcet ==1.2.4.2,
+             any.rts ==1.0,
+             any.safe ==0.3.19,
+             any.sbv ==8.7,
+             sbv -skiphlinttester,
+             any.scientific ==0.3.6.2,
+             scientific -bytestring-builder -integer-simple,
+             any.semigroupoids ==5.3.4,
+             semigroupoids +comonad +containers +contravariant +distributive +doctests +tagged +unordered-containers,
+             any.semigroups ==0.19.1,
+             semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
+             any.setenv ==0.1.1.3,
+             any.simple-get-opt ==0.4,
+             any.simple-smt ==0.9.4,
+             any.smallcheck ==1.2.0,
+             any.split ==0.2.3.4,
+             any.splitmix ==0.1,
+             splitmix -optimised-mixer,
+             any.statistics ==0.15.2.0,
+             any.stm ==2.5.0.0,
+             any.strict ==0.3.2,
+             strict +split-base,
+             any.syb ==0.7.1,
+             any.tagged ==0.8.6,
+             tagged +deepseq +transformers,
+             any.tasty ==1.2.3,
+             tasty +clock,
+             any.tasty-ant-xml ==1.1.6,
+             any.tasty-golden ==2.3.3.2,
+             tasty-golden -build-example,
+             any.tasty-hspec ==1.1.5.1,
+             any.tasty-hunit ==0.10.0.2,
+             any.tasty-quickcheck ==0.10.1.1,
+             any.tasty-smallcheck ==0.8.1,
+             any.template-haskell ==2.15.0.0,
+             any.temporary ==1.3,
+             any.terminal-size ==0.3.2.1,
+             any.terminfo ==0.4.1.4,
+             any.text ==1.2.4.0,
+             any.text-short ==0.1.3,
+             text-short -asserts,
+             any.tf-random ==0.5,
+             any.th-abstraction ==0.3.2.0,
+             any.th-expand-syns ==0.4.6.0,
+             any.th-lift ==0.8.1,
+             any.th-lift-instances ==0.1.17,
+             any.th-orphans ==0.13.10,
+             any.th-reify-many ==0.1.9,
+             any.these ==1.1,
+             these +assoc,
+             any.time ==1.9.3,
+             any.time-compat ==1.9.3,
+             time-compat -old-locale,
+             any.transformers ==0.5.6.2,
+             any.transformers-base ==0.4.5.2,
+             transformers-base +orphaninstances,
+             any.transformers-compat ==0.6.5,
+             transformers-compat -five +five-three -four +generic-deriving +mtl -three -two,
+             any.type-equality ==1,
+             any.unbounded-delays ==0.1.1.0,
+             any.uniplate ==1.6.12,
+             uniplate +separate_syb +typeable_fingerprint,
+             any.unix ==2.7.2.2,
+             any.unix-compat ==0.5.2,
+             unix-compat -old-time,
+             any.unliftio-core ==0.2.0.1,
+             any.unordered-containers ==0.2.11.0,
+             unordered-containers -debug,
+             any.utf8-string ==1.0.1.1,
+             any.uuid-types ==1.0.3,
+             any.vector ==0.12.1.2,
+             vector +boundschecks -internalchecks -unsafechecks -wall,
+             any.vector-algorithms ==0.8.0.3,
+             vector-algorithms +bench +boundschecks -internalchecks -llvm +properties -unsafechecks,
+             any.vector-binary-instances ==0.2.5.1,
+             any.vector-th-unbox ==0.2.1.7,
+             any.versions ==3.5.4,
+             any.void ==0.7.3,
+             void -safe,
+             any.wcwidth ==0.0.2,
+             wcwidth -cli +split-base,
+             any.xdg-basedir ==0.2.2,
+             any.xml ==1.3.14,
+             any.yaml ==0.11.4.0,
+             yaml +no-examples +no-exe,
+             any.zenc ==0.1.1,
+             any.zlib ==0.6.2.1,
+             any.zlib-bindings ==0.1.1.5
+
diff --git a/cabal.project.ci b/cabal.project.ci
@@ -1,34 +1,3 @@
-packages:
-    saw-script.cabal
-    deps/llvm-pretty
-    deps/llvm-pretty-bc-parser
-    deps/jvm-parser
-    deps/aig
-    deps/abcBridge
-    deps/cryptol
-    deps/saw-core/cryptol-saw-core
-    deps/saw-core/saw-core
-    deps/saw-core/saw-core-aig
-    deps/saw-core/saw-core-sbv
-    deps/saw-core/saw-core-what4
-    deps/saw-core-coq
-    deps/jvm-verifier
-    deps/what4/what4
-    deps/what4/what4-abc
-    deps/crucible/crucible
-    deps/crucible/crucible-jvm
-    deps/crucible/crucible-llvm
-    deps/crucible/crucible-saw
-    deps/crucible/crux
-    deps/parameterized-utils
-    deps/flexdis86
-    deps/flexdis86/binary-symbols
-    deps/macaw/base
-    deps/macaw/symbolic
-    deps/macaw/x86
-    deps/macaw/x86_symbolic
-    deps/elf-edit
-    deps/dwarf
-
+-- concatenated with cabal.project when run in the CI
 package saw-script
   ghc-options: -Werror