Build #1 for crux-llvm-0.9
| Package | crux-llvm-0.9 |
|---|
| Install | DependencyFailed crux-llvm-0.9 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2024-08-30 20:22:51.187276934 UTC |
|---|---|
| Compiler | ghc-9.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | aeson-2.2.3.0, base-4.18.1.0, bv-sized-1.0.5, bytestring-0.11.5.2, config-schema-1.3.0.0, containers-0.6.7, crucible-0.7, crucible-llvm-0.6, crucible-symio-0.1, crux-0.7.1, directory-1.3.8.1, filepath-1.4.100.4, lens-5.3.2, llvm-pretty-0.12.1.0, llvm-pretty-bc-parser-0.4.2.0, logict-0.8.1.0, mtl-2.3.1, parameterized-utils-2.1.8.0, prettyprinter-1.7.1, process-1.6.17.0, text-2.0.2, what4-1.6, base-4.18.1.0, bytestring-0.11.5.2, containers-0.6.7, crucible-0.7, crucible-llvm-0.6, crucible-symio-0.1, crux-0.7.1, directory-1.3.8.1, filepath-1.4.100.4, lens-5.3.2, process-1.6.17.0, text-2.0.2, unix-2.8.1.0, what4-1.6, aeson-2.2.3.0, base-4.18.1.0, bytestring-0.11.5.2, containers-0.6.7, crucible-0.7, crucible-llvm-0.6, crucible-symio-0.1, crux-0.7.1, directory-1.3.8.1, filepath-1.4.100.4, lens-5.3.2, lumberjack-1.0.3.0, process-1.6.17.0, text-2.0.2, unix-2.8.1.0, websockets-0.13.0.0, what4-1.6, aeson-2.2.3.0, attoparsec-0.14.4, base-4.18.1.0, base16-bytestring-1.0.2.0, bytestring-0.11.5.2, containers-0.6.7, crucible-0.7, crucible-llvm-0.6, crucible-symio-0.1, crux-0.7.1, cryptohash-sha256-0.11.102.1, directory-1.3.8.1, extra-1.7.16, filepath-1.4.100.4, indexed-traversable-0.1.4, lens-5.3.2, process-1.6.17.0, text-2.0.2, time-1.12.2, what4-1.6 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting BoundedChan-1.0.3.0
Starting OneTuple-0.4.2
Starting StateVar-1.2.2
Starting IntervalMap-0.6.2.1
Starting assoc-1.1.1
Starting base16-bytestring-1.0.2.0
Starting base64-bytestring-1.2.1.0
Starting bitwise-1.0.0.1
Starting call-stack-0.4.0
Starting character-ps-0.1
Starting clock-0.8.4
Starting colour-2.3.6
Starting config-value-0.8.3
Starting dlist-1.0
Starting base-compat-0.14.0
Starting dotgen-0.4.3
Starting entropy-0.4.1.10
Starting haskell-lexer-1.1.1
Starting fingertree-0.1.5.0
Starting indexed-profunctors-0.1.1.1
Starting indexed-traversable-0.1.4
Starting libyaml-clib-0.2.5
Starting logict-0.8.1.0
Starting microlens-0.4.13.1
Starting monadLib-3.10.1
Starting parallel-3.2.2.0
Starting os-string-2.0.6
Starting raw-strings-qq-1.1
Starting reflection-2.1.8
Starting s-cargot-0.1.6.0
Starting simple-get-opt-0.4
Building BoundedChan-1.0.3.0
Building OneTuple-0.4.2
Building StateVar-1.2.2
Building IntervalMap-0.6.2.1
Building base16-bytestring-1.0.2.0
Building assoc-1.1.1
Building base64-bytestring-1.2.1.0
Starting split-0.2.5
Starting tagged-0.8.8
Building bitwise-1.0.0.1
Building character-ps-0.1
Starting base-orphans-0.9.2
Starting generically-0.1.1
Starting integer-logarithms-1.0.3.1
Starting fgl-5.8.2.0
Building colour-2.3.6
Starting parser-combinators-1.3.0
Starting safe-exceptions-0.1.7.4
Starting primitive-0.9.0.0
Starting semigroups-0.20
Starting splitmix-0.1.0.5
Starting bimap-0.5.0
Starting cryptohash-sha256-0.11.102.1
Building config-value-0.8.3
Starting syb-0.7.2.4
Starting network-3.2.2.0
Starting SHA-1.6.4.4
Starting prettyprinter-1.7.1
Building base-compat-0.14.0
Building dlist-1.0
Building dotgen-0.4.3
Building haskell-lexer-1.1.1
Building fingertree-0.1.5.0
Building indexed-profunctors-0.1.1.1
Building indexed-traversable-0.1.4
Building libyaml-clib-0.2.5
Building logict-0.8.1.0
Building microlens-0.4.13.1
Building monadLib-3.10.1
Building parallel-3.2.2.0
Building raw-strings-qq-1.1
Building reflection-2.1.8
Building clock-0.8.4
Building s-cargot-0.1.6.0
Building os-string-2.0.6
Building call-stack-0.4.0
Building simple-get-opt-0.4
Building tagged-0.8.8
Building split-0.2.5
Building generically-0.1.1
Building base-orphans-0.9.2
Building integer-logarithms-1.0.3.1
Building fgl-5.8.2.0
Building parser-combinators-1.3.0
Building safe-exceptions-0.1.7.4
Building primitive-0.9.0.0
Building semigroups-0.20
Building cryptohash-sha256-0.11.102.1
Building bimap-0.5.0
Building syb-0.7.2.4
Building SHA-1.6.4.4
Building splitmix-0.1.0.5
Building prettyprinter-1.7.1
Building entropy-0.4.1.10
Building network-3.2.2.0
Completed libyaml-clib-0.2.5
Starting terminal-size-0.3.4
Completed assoc-1.1.1
Building terminal-size-0.3.4
Starting th-abstraction-0.5.0.0
Completed BoundedChan-1.0.3.0
Starting th-compat-0.1.5
Completed call-stack-0.4.0
Starting transformers-compat-0.7.2
Building th-abstraction-0.5.0.0
Completed raw-strings-qq-1.1
Starting unbounded-delays-0.1.1.1
Building th-compat-0.1.5
Completed simple-get-opt-0.4
Starting unix-compat-0.7.2
Building transformers-compat-0.7.2
Completed StateVar-1.2.2
Starting unliftio-core-0.2.1.0
Building unbounded-delays-0.1.1.1
Completed generically-0.1.1
Starting utf8-string-1.0.2
Building unix-compat-0.7.2
Completed integer-logarithms-1.0.3.1
Starting vector-stream-0.1.0.1
Building unliftio-core-0.2.1.0
Completed semigroups-0.20
Starting void-0.7.3
Building utf8-string-1.0.2
Completed OneTuple-0.4.2
Starting xml-1.3.14
Building vector-stream-0.1.0.1
Completed split-0.2.5
Starting zenc-0.1.2
Building void-0.7.3
Completed character-ps-0.1
Starting zlib-0.7.1.0
Building xml-1.3.14
Completed clock-0.8.4
Starting contravariant-1.5.5
Building zenc-0.1.2
Completed dotgen-0.4.3
Starting extra-1.7.16
Completed parser-combinators-1.3.0
Building zlib-0.7.1.0
Completed base16-bytestring-1.0.2.0
Building contravariant-1.5.5
Building extra-1.7.16
Completed splitmix-0.1.0.5
Starting random-1.2.1.2
Completed logict-0.8.1.0
Completed base64-bytestring-1.2.1.0
Building random-1.2.1.2
Completed microlens-0.4.13.1
Completed indexed-profunctors-0.1.1.1
Starting generic-lens-core-2.2.1.0
Completed dlist-1.0
Completed safe-exceptions-0.1.7.4
Completed parallel-3.2.2.0
Building generic-lens-core-2.2.1.0
Completed syb-0.7.2.4
Starting json-0.11
Completed monadLib-3.10.1
Completed cryptohash-sha256-0.11.102.1
Completed base-orphans-0.9.2
Building json-0.11
Completed tagged-0.8.8
Starting boring-0.2.2
Starting distributive-0.6.2.1
Completed bimap-0.5.0
Completed colour-2.3.6
Starting ansi-terminal-types-1.1
Building distributive-0.6.2.1
Building boring-0.2.2
Completed bitwise-1.0.0.1
Completed reflection-2.1.8
Building ansi-terminal-types-1.1
Completed indexed-traversable-0.1.4
Completed terminal-size-0.3.4
Completed unbounded-delays-0.1.1.1
Starting concurrent-extra-0.7.0.12
Completed void-0.7.3
Completed unliftio-core-0.2.1.0
Completed th-compat-0.1.5
Starting network-uri-2.6.4.2
Building concurrent-extra-0.7.0.12
Completed fingertree-0.1.5.0
Building network-uri-2.6.4.2
Completed entropy-0.4.1.10
Completed os-string-2.0.6
Starting hashable-1.4.7.0
Completed zenc-0.1.2
Completed SHA-1.6.4.4
Completed IntervalMap-0.6.2.1
Building hashable-1.4.7.0
Completed s-cargot-0.1.6.0
Completed transformers-compat-0.7.2
Starting transformers-base-0.4.6
Starting Glob-0.10.2
Completed prettyprinter-1.7.1
Completed contravariant-1.5.5
Building transformers-base-0.4.6
Building Glob-0.10.2
Completed utf8-string-1.0.2
Completed unix-compat-0.7.2
Starting filemanip-0.3.6.3
Completed config-value-0.8.3
Completed th-abstraction-0.5.0.0
Starting microlens-th-0.4.3.15
Starting th-lift-0.8.4
Starting boomerang-1.4.9.3
Starting deriving-compat-0.6.6
Building filemanip-0.3.6.3
Completed base-compat-0.14.0
Starting gitrev-1.3.1
Completed vector-stream-0.1.0.1
Building th-lift-0.8.4
Building microlens-th-0.4.3.15
Building boomerang-1.4.9.3
Building deriving-compat-0.6.6
Completed fgl-5.8.2.0
Starting fgl-visualize-0.1.0.1
Building gitrev-1.3.1
Completed xml-1.3.14
Completed boring-0.2.2
Building fgl-visualize-0.1.0.1
Completed primitive-0.9.0.0
Starting resourcet-1.3.0
Starting integer-conversion-0.1.1
Starting vector-0.13.1.0
Completed distributive-0.6.2.1
Starting comonad-5.0.8
Completed ansi-terminal-types-1.1
Starting ansi-terminal-1.1.1
Building resourcet-1.3.0
Building integer-conversion-0.1.1
Completed network-3.2.2.0
Building vector-0.13.1.0
Building comonad-5.0.8
Completed zlib-0.7.1.0
Starting zlib-bindings-0.1.1.5
Building ansi-terminal-1.1.1
Completed concurrent-extra-0.7.0.12
Completed generic-lens-core-2.2.1.0
Building zlib-bindings-0.1.1.5
Completed extra-1.7.16
Completed json-0.11
Completed random-1.2.1.2
Starting temporary-1.3
Starting QuickCheck-2.15.0.1
Completed transformers-base-0.4.6
Building temporary-1.3
Building QuickCheck-2.15.0.1
Completed th-lift-0.8.4
Completed network-uri-2.6.4.2
Completed hashable-1.4.7.0
Starting uuid-types-1.0.6
Starting these-1.2.1
Starting text-short-0.1.6
Starting scientific-0.3.8.0
Starting ordered-containers-0.2.4
Starting data-fix-0.3.4
Starting libBF-0.6.8
Starting async-2.2.5
Starting unordered-containers-0.2.20
Starting case-insensitive-1.2.1.0
Starting constraints-0.14.2
Starting time-compat-1.9.7
Completed fgl-visualize-0.1.0.1
Building these-1.2.1
Building uuid-types-1.0.6
Building text-short-0.1.6
Completed gitrev-1.3.1
Starting panic-0.4.0.1
Building libBF-0.6.8
Building scientific-0.3.8.0
Building ordered-containers-0.2.4
Building async-2.2.5
Building data-fix-0.3.4
Building unordered-containers-0.2.20
Building case-insensitive-1.2.1.0
Building constraints-0.14.2
Building time-compat-1.9.7
Completed Glob-0.10.2
Completed ansi-terminal-1.1.1
Starting prettyprinter-ansi-terminal-1.1.3
Building panic-0.4.0.1
Completed haskell-lexer-1.1.1
Starting pretty-show-1.10
Completed filemanip-0.3.6.3
Building prettyprinter-ansi-terminal-1.1.3
Completed integer-conversion-0.1.1
Completed microlens-th-0.4.3.15
Starting llvm-pretty-0.12.1.0
Building pretty-show-1.10
Completed zlib-bindings-0.1.1.5
Building llvm-pretty-0.12.1.0
Completed resourcet-1.3.0
Completed temporary-1.3
Completed comonad-5.0.8
Starting bifunctors-5.6.2
Building bifunctors-5.6.2
Completed boomerang-1.4.9.3
Completed async-2.2.5
Starting unliftio-0.2.25.0
Starting streaming-commons-0.2.2.6
Completed panic-0.4.0.1
Building streaming-commons-0.2.2.6
Building unliftio-0.2.25.0
Completed deriving-compat-0.6.6
Completed case-insensitive-1.2.1.0
Completed data-fix-0.3.4
Completed prettyprinter-ansi-terminal-1.1.3
Starting lumberjack-1.0.3.0
Completed text-short-0.1.6
Completed uuid-types-1.0.6
Building lumberjack-1.0.3.0
Completed these-1.2.1
Starting strict-0.5.1
Completed ordered-containers-0.2.4
Completed scientific-0.3.8.0
Starting megaparsec-9.6.1
Starting attoparsec-0.14.4
Building strict-0.5.1
Completed time-compat-1.9.7
Starting text-iso8601-0.1.1
Building megaparsec-9.6.1
Building attoparsec-0.14.4
Completed libBF-0.6.8
Building text-iso8601-0.1.1
Completed pretty-show-1.10
Completed constraints-0.14.2
Completed unordered-containers-0.2.20
Starting itanium-abi-0.1.2
Starting uniplate-1.6.13
Completed QuickCheck-2.15.0.1
Building itanium-abi-0.1.2
Building uniplate-1.6.13
Completed lumberjack-1.0.3.0
Completed bifunctors-5.6.2
Starting profunctors-5.6.2
Starting semigroupoids-6.0.1
Completed text-iso8601-0.1.1
Completed streaming-commons-0.2.2.6
Building profunctors-5.6.2
Building semigroupoids-6.0.1
Completed strict-0.5.1
Completed unliftio-0.2.25.0
Completed uniplate-1.6.13
Completed megaparsec-9.6.1
Starting versions-6.0.7
Completed attoparsec-0.14.4
Starting websockets-0.13.0.0
Building versions-6.0.7
Completed vector-0.13.1.0
Starting indexed-traversable-instances-0.1.2
Starting hashtables-1.3.1
Building websockets-0.13.0.0
Starting th-lift-instances-0.1.20
Starting bitvec-1.1.5.0
Starting io-streams-1.5.2.2
Building indexed-traversable-instances-0.1.2
Building hashtables-1.3.1
Building th-lift-instances-0.1.20
Building bitvec-1.1.5.0
Building io-streams-1.5.2.2
Completed profunctors-5.6.2
Starting invariant-0.6.3
Starting generic-lens-2.2.2.0
Building invariant-0.6.3
Building generic-lens-2.2.2.0
Completed semigroupoids-6.0.1
Starting free-5.2
Completed itanium-abi-0.1.2
Building free-5.2
Completed indexed-traversable-instances-0.1.2
Starting witherable-0.5
Starting semialign-1.3.1
Completed th-lift-instances-0.1.20
Building witherable-0.5
Building semialign-1.3.1
Completed versions-6.0.7
Completed websockets-0.13.0.0
Completed generic-lens-2.2.2.0
Completed hashtables-1.3.1
Completed io-streams-1.5.2.2
Completed invariant-0.6.3
Completed bitvec-1.1.5.0
Starting vector-algorithms-0.9.0.2
Building vector-algorithms-0.9.0.2
Completed semialign-1.3.1
Completed witherable-0.5
Starting aeson-2.2.3.0
Building aeson-2.2.3.0
Completed free-5.2
Starting adjunctions-4.4.2
Building adjunctions-4.4.2
Completed vector-algorithms-0.9.0.2
Starting mono-traversable-1.0.17.0
Building mono-traversable-1.0.17.0
Completed adjunctions-4.4.2
Starting kan-extensions-5.2.6
Building kan-extensions-5.2.6
Completed llvm-pretty-0.12.1.0
Starting llvm-pretty-bc-parser-0.4.2.0
Building llvm-pretty-bc-parser-0.4.2.0
Completed kan-extensions-5.2.6
Starting config-schema-1.3.0.0
Starting lens-5.3.2
Building config-schema-1.3.0.0
Building lens-5.3.2
Completed mono-traversable-1.0.17.0
Starting conduit-1.3.6
Building conduit-1.3.6
Completed aeson-2.2.3.0
Completed config-schema-1.3.0.0
Completed llvm-pretty-bc-parser-0.4.2.0
Completed conduit-1.3.6
Starting libyaml-0.1.4
Building libyaml-0.1.4
Completed libyaml-0.1.4
Starting yaml-0.11.11.2
Building yaml-0.11.11.2
Completed yaml-0.11.11.2
Completed lens-5.3.2
Starting parameterized-utils-2.1.8.0
Building parameterized-utils-2.1.8.0
Completed parameterized-utils-2.1.8.0
Starting bv-sized-1.0.5
Building bv-sized-1.0.5
Completed bv-sized-1.0.5
Starting what4-1.6
Building what4-1.6
Completed what4-1.6
Starting crucible-0.7
Building crucible-0.7
Completed crucible-0.7
Starting crucible-symio-0.1
Starting crux-0.7.1
Building crucible-symio-0.1
Building crux-0.7.1
Failed to install crux-0.7.1
Build log ( /home/builder/.cabal/logs/ghc-9.6.3/crux-0.7.1-20gQnuhED8uD7xrYu2rOuS.log ):
cabal: Entering directory '/tmp/cabal-tmp-2448015/crux-0.7.1'
Configuring crux-0.7.1...
Preprocessing library for crux-0.7.1..
Building library for crux-0.7.1..
[ 1 of 22] Compiling Crux.Config ( src/Crux/Config.hs, dist/build/Crux/Config.o, dist/build/Crux/Config.dyn_o )
[ 2 of 22] Compiling Crux.Config.Load ( src/Crux/Config/Load.hs, dist/build/Crux/Config/Load.o, dist/build/Crux/Config/Load.dyn_o )
[ 3 of 22] Compiling Crux.Config.Doc ( src/Crux/Config/Doc.hs, dist/build/Crux/Config/Doc.o, dist/build/Crux/Config/Doc.dyn_o )
[ 4 of 22] Compiling Crux.Loops ( src/Crux/Loops.hs, dist/build/Crux/Loops.o, dist/build/Crux/Loops.dyn_o )
[ 5 of 22] Compiling Crux.ProgressBar ( src/Crux/ProgressBar.hs, dist/build/Crux/ProgressBar.o, dist/build/Crux/ProgressBar.dyn_o )
[ 6 of 22] Compiling Crux.Types ( src/Crux/Types.hs, dist/build/Crux/Types.o, dist/build/Crux/Types.dyn_o )
[ 7 of 22] Compiling Crux.Overrides ( src/Crux/Overrides.hs, dist/build/Crux/Overrides.o, dist/build/Crux/Overrides.dyn_o )
[ 8 of 22] Compiling Crux.FormatOut ( src/Crux/FormatOut.hs, dist/build/Crux/FormatOut.o, dist/build/Crux/FormatOut.dyn_o )
[ 9 of 22] Compiling Crux.UI.IndexHtml ( src/Crux/UI/IndexHtml.hs, dist/build/Crux/UI/IndexHtml.o, dist/build/Crux/UI/IndexHtml.dyn_o )
[10 of 22] Compiling Crux.UI.JS ( src/Crux/UI/JS.hs, dist/build/Crux/UI/JS.o, dist/build/Crux/UI/JS.dyn_o )
[11 of 22] Compiling Crux.Model ( src/Crux/Model.hs, dist/build/Crux/Model.o, dist/build/Crux/Model.dyn_o )
[12 of 22] Compiling Crux.UI.Jquery ( src/Crux/UI/Jquery.hs, dist/build/Crux/UI/Jquery.o, dist/build/Crux/UI/Jquery.dyn_o )
[13 of 22] Compiling Paths_crux ( dist/build/autogen/Paths_crux.hs, dist/build/Paths_crux.o, dist/build/Paths_crux.dyn_o )
[14 of 22] Compiling Crux.Version ( src/Crux/Version.hs, dist/build/Crux/Version.o, dist/build/Crux/Version.dyn_o )
[15 of 22] Compiling Crux.Log ( src/Crux/Log.hs, dist/build/Crux/Log.o, dist/build/Crux/Log.dyn_o )
[16 of 22] Compiling Crux.Config.Common ( src/Crux/Config/Common.hs, dist/build/Crux/Config/Common.o, dist/build/Crux/Config/Common.dyn_o )
[17 of 22] Compiling Crux.SVCOMP ( src/Crux/SVCOMP.hs, dist/build/Crux/SVCOMP.o, dist/build/Crux/SVCOMP.dyn_o )
[18 of 22] Compiling Crux.SVCOMP.Witness ( src/Crux/SVCOMP/Witness.hs, dist/build/Crux/SVCOMP/Witness.o, dist/build/Crux/SVCOMP/Witness.dyn_o )
[19 of 22] Compiling Crux.Report ( src/Crux/Report.hs, dist/build/Crux/Report.o, dist/build/Crux/Report.dyn_o )
[20 of 22] Compiling Crux.Goal ( src/Crux/Goal.hs, dist/build/Crux/Goal.o, dist/build/Crux/Goal.dyn_o )
[21 of 22] Compiling Crux.Config.Solver ( src/Crux/Config/Solver.hs, dist/build/Crux/Config/Solver.o, dist/build/Crux/Config/Solver.dyn_o )
[22 of 22] Compiling Crux ( src/Crux.hs, dist/build/Crux.o, dist/build/Crux.dyn_o )
src/Crux.hs:315:5: error: [GHC-76037]
Not in scope:
type constructor or class IsInterpretedFloatExprBuilder
|
315 | IsInterpretedFloatExprBuilder (WE.ExprBuilder s st (WE.Flags fm)) =>
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Crux.hs:351:7: error: [GHC-76037]
Not in scope:
type constructor or class IsInterpretedFloatExprBuilder
|
351 | , IsInterpretedFloatExprBuilder (WE.ExprBuilder scope st (WE.Flags fm))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Crux.hs:371:7: error: [GHC-76037]
Not in scope:
type constructor or class IsInterpretedFloatExprBuilder
|
371 | IsInterpretedFloatExprBuilder (WE.ExprBuilder scope st (WE.Flags fm)) =>
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Crux.hs:381:3: error: [GHC-76037]
Not in scope:
type constructor or class IsInterpretedFloatExprBuilder
|
381 | IsInterpretedFloatExprBuilder (WE.ExprBuilder scope st fs) =>
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-2448015/crux-0.7.1'
Completed crucible-symio-0.1
Error: cabal: Some packages failed to install:
crux-0.7.1-20gQnuhED8uD7xrYu2rOuS failed during the building phase. The
exception was:
ExitFailure 1
crux-llvm-0.9-CqIsd6R3HxDIEqyhXA39fc depends on crux-llvm-0.9 which failed to
install.
Test log
No test log was submitted for this report.