Build #1 for toysolver-0.6.0
| Package | toysolver-0.6.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2019-10-04 16:58:51.728361538 UTC |
|---|---|
| Compiler | ghc-8.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | OptDir-0.0.3, array-0.5.3.0, base-4.12.0.0, bytestring-0.10.8.2, bytestring-builder-0.10.8.2.0, bytestring-encoding-0.1.0.0, case-insensitive-1.2.1.0, clock-0.8, containers-0.6.0.1, data-default-class-0.1.2.0, data-interval-1.3.1, deepseq-1.4.4.0, extended-reals-0.2.3.0, filepath-1.4.2.1, finite-field-0.9.0, ghc-prim-0.5.3, hashable-1.2.7.0, hashtables-1.2.3.4, heaps-0.3.6.1, intern-0.9.2, lattices-2.0.1, log-domain-0.12, loop-0.3.0, megaparsec-7.0.5, mtl-2.2.2, multiset-0.3.4.1, mwc-random-0.14.0.0, pretty-1.1.3.6, primes-0.2.1.0, primitive-0.7.0.0, process-1.6.3.0, pseudo-boolean-0.1.8.0, queue-0.1.2, scientific-0.3.6.2, semigroups-0.19.1, sign-0.4.4, stm-2.5.0.0, template-haskell-2.14.0.0, temporary-1.3, text-1.2.3.1, time-1.8.0.2, transformers-0.5.5.0, transformers-compat-0.6.5, unordered-containers-0.2.10.0, vector-0.12.0.3, vector-space-0.16, xml-conduit-1.8.0.1, zlib-0.6.2.1, ansi-wl-pprint-0.6.9, base-4.12.0.0, bytestring-0.10.8.2, bytestring-builder-0.10.8.2.0, data-default-class-0.1.2.0, filepath-1.4.2.1, optparse-applicative-0.15.1.0, pseudo-boolean-0.1.8.0, scientific-0.3.6.2, text-1.2.3.1, base-4.12.0.0, containers-0.6.0.1, data-default-class-0.1.2.0, optparse-applicative-0.15.1.0, array-0.5.3.0, base-4.12.0.0, bytestring-0.10.8.2, clock-0.8, containers-0.6.0.1, data-default-0.7.1.1, data-default-class-0.1.2.0, directory-1.3.3.0, filepath-1.4.2.1, megaparsec-7.0.5, mwc-random-0.14.0.0, optparse-applicative-0.15.1.0, process-1.6.3.0, pseudo-boolean-0.1.8.0, scientific-0.3.6.2, temporary-1.3, time-1.8.0.2, unbounded-delays-0.1.1.0, vector-0.12.0.3, base-4.12.0.0, containers-0.6.0.1, haskeline-0.7.4.3, intern-0.9.2, mtl-2.2.2, optparse-applicative-0.15.1.0, parsec-3.1.13.0, text-1.2.3.1, transformers-0.5.5.0, transformers-compat-0.6.5, OptDir-0.0.3, array-0.5.3.0, base-4.12.0.0, containers-0.6.0.1, data-default-class-0.1.2.0, filepath-1.4.2.1, optparse-applicative-0.15.1.0, pseudo-boolean-0.1.8.0, scientific-0.3.6.2 |
| Flags | -buildmiscprograms -buildsampleprograms -buildtoyfmf -forcechar8 -linuxstatic logictptp045 -opencl -testcbc -testcplex -testglpsol -testgurobicl -testlpsolve -testscip usehaskeline withzlib |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Warning: The install command is a part of the legacy v1 style of cabal usage. Please switch to using either the new project style and the new-install command or the legacy v1-install alias as new-style projects will become the default in the next version of cabal-install. Please file a bug if you cannot replicate a working v1- use case with the new-style commands. For more information, see: https://wiki.haskell.org/Cabal/NewBuild Resolving dependencies... Starting Boolean-0.2.4 Starting StateVar-1.2 Starting NumInstances-1.4 Starting base-compat-0.11.0 Building Boolean-0.2.4 Building StateVar-1.2 Building NumInstances-1.4 Building base-compat-0.11.0 Completed StateVar-1.2 Starting base-orphans-0.8.1 Completed Boolean-0.2.4 Starting binary-orphans-1.0.1 Building base-orphans-0.8.1 Building binary-orphans-1.0.1 Completed NumInstances-1.4 Starting blaze-builder-0.4.1.0 Completed base-orphans-0.8.1 Starting bytestring-builder-0.10.8.2.0 Building blaze-builder-0.4.1.0 Completed binary-orphans-1.0.1 Downloading bytestring-encoding-0.1.0.0 Downloaded bytestring-encoding-0.1.0.0 Starting bytestring-encoding-0.1.0.0 Building bytestring-builder-0.10.8.2.0 Completed bytestring-builder-0.10.8.2.0 Starting cabal-doctest-1.0.8 Building bytestring-encoding-0.1.0.0 Building cabal-doctest-1.0.8 Completed bytestring-encoding-0.1.0.0 Starting cereal-0.5.8.1 Completed blaze-builder-0.4.1.0 Starting clock-0.8 Building cereal-0.5.8.1 Completed base-compat-0.11.0 Starting colour-2.3.5 Building clock-0.8 Completed cabal-doctest-1.0.8 Starting data-default-class-0.1.2.0 Building colour-2.3.5 Building data-default-class-0.1.2.0 Completed clock-0.8 Starting dlist-0.8.0.7 Completed data-default-class-0.1.2.0 Starting hashable-1.2.7.0 Building dlist-0.8.0.7 Building hashable-1.2.7.0 Completed dlist-0.8.0.7 Starting heaps-0.3.6.1 Building heaps-0.3.6.1 Completed hashable-1.2.7.0 Starting integer-logarithms-1.0.3 Completed cereal-0.5.8.1 Starting loop-0.3.0 Building integer-logarithms-1.0.3 Building loop-0.3.0 Completed colour-2.3.5 Starting multiset-0.3.4.1 Building multiset-0.3.4.1 Completed loop-0.3.0 Starting network-3.1.1.0 Completed integer-logarithms-1.0.3 Starting newtype-generics-0.5.4 Completed heaps-0.3.6.1 Starting old-locale-1.0.0.7 Building newtype-generics-0.5.4 Building old-locale-1.0.0.7 Completed old-locale-1.0.0.7 Starting parser-combinators-1.2.0 Completed multiset-0.3.4.1 Starting primes-0.2.1.0 Completed newtype-generics-0.5.4 Starting primitive-0.7.0.0 Building parser-combinators-1.2.0 Building primes-0.2.1.0 Building primitive-0.7.0.0 Building network-3.1.1.0 Completed primes-0.2.1.0 Downloading queue-0.1.2 Downloaded queue-0.1.2 Starting queue-0.1.2 Building queue-0.1.2 Completed parser-combinators-1.2.0 Starting random-1.1 Building random-1.1 Completed queue-0.1.2 Starting safe-0.3.17 Building safe-0.3.17 Completed random-1.1 Starting semigroups-0.19.1 Building semigroups-0.19.1 Completed safe-0.3.17 Starting split-0.2.3.3 Completed semigroups-0.19.1 Starting syb-0.7.1 Building split-0.2.3.3 Completed network-3.1.1.0 Starting tagged-0.8.6 Building syb-0.7.1 Building tagged-0.8.6 Completed split-0.2.3.3 Starting th-abstraction-0.3.1.0 Building th-abstraction-0.3.1.0 Completed primitive-0.7.0.0 Starting transformers-compat-0.6.5 Completed tagged-0.8.6 Starting unbounded-delays-0.1.1.0 Completed syb-0.7.1 Starting unliftio-core-0.1.2.0 Building transformers-compat-0.6.5 Building unbounded-delays-0.1.1.0 Building unliftio-core-0.1.2.0 Completed unbounded-delays-0.1.1.0 Starting void-0.7.3 Completed unliftio-core-0.1.2.0 Starting xml-types-0.3.6 Building void-0.7.3 Building xml-types-0.3.6 Completed th-abstraction-0.3.1.0 Starting zlib-0.6.2.1 Completed void-0.7.3 Starting contravariant-1.5.2 Completed transformers-compat-0.6.5 Starting blaze-markup-0.8.2.3 Building zlib-0.6.2.1 Building contravariant-1.5.2 Building blaze-markup-0.8.2.3 Completed xml-types-0.3.6 Starting data-default-instances-containers-0.0.1 Building data-default-instances-containers-0.0.1 Completed contravariant-1.5.2 Starting data-default-instances-dlist-0.0.1 Completed blaze-markup-0.8.2.3 Starting unordered-containers-0.2.10.0 Building data-default-instances-dlist-0.0.1 Building unordered-containers-0.2.10.0 Completed data-default-instances-containers-0.0.1 Starting extended-reals-0.2.3.0 Building extended-reals-0.2.3.0 Completed data-default-instances-dlist-0.0.1 Starting case-insensitive-1.2.1.0 Completed zlib-0.6.2.1 Starting async-2.2.2 Building case-insensitive-1.2.1.0 Building async-2.2.2 Completed extended-reals-0.2.3.0 Starting ansi-terminal-0.10 Building ansi-terminal-0.10 Completed case-insensitive-1.2.1.0 Starting data-default-instances-old-locale-0.0.1 Building data-default-instances-old-locale-0.0.1 Completed async-2.2.2 Starting MemoTrie-0.6.9 Building MemoTrie-0.6.9 Completed data-default-instances-old-locale-0.0.1 Starting splitmix-0.0.3 Building splitmix-0.0.3 Completed ansi-terminal-0.10 Starting vector-0.12.0.3 Building vector-0.12.0.3 Completed MemoTrie-0.6.9 Starting scientific-0.3.6.2 Completed splitmix-0.0.3 Starting universe-base-1.1.1 Building scientific-0.3.6.2 Building universe-base-1.1.1 Completed unordered-containers-0.2.10.0 Starting distributive-0.6.1 Completed universe-base-1.1.1 Starting th-expand-syns-0.4.5.0 Building distributive-0.6.1 Building th-expand-syns-0.4.5.0 Completed scientific-0.3.6.2 Downloading OptDir-0.0.3 Downloaded OptDir-0.0.3 Starting OptDir-0.0.3 Building OptDir-0.0.3 Completed th-expand-syns-0.4.5.0 Starting th-lift-0.8.0.1 Completed distributive-0.6.1 Starting exceptions-0.10.3 Building th-lift-0.8.0.1 Completed OptDir-0.0.3 Starting blaze-html-0.9.1.2 Building exceptions-0.10.3 Building blaze-html-0.9.1.2 Completed th-lift-0.8.0.1 Starting typed-process-0.2.6.0 Building typed-process-0.2.6.0 Completed exceptions-0.10.3 Starting streaming-commons-0.2.1.1 Building streaming-commons-0.2.1.1 Completed typed-process-0.2.6.0 Starting data-default-0.7.1.1 Building data-default-0.7.1.1 Completed data-default-0.7.1.1 Starting ansi-wl-pprint-0.6.9 Building ansi-wl-pprint-0.6.9 Completed ansi-wl-pprint-0.6.9 Starting vector-space-0.16 Building vector-space-0.16 Completed streaming-commons-0.2.1.1 Starting QuickCheck-2.13.2 Building QuickCheck-2.13.2 Completed vector-space-0.16 Starting intern-0.9.2 Building intern-0.9.2 Completed blaze-html-0.9.1.2 Starting universe-reverse-instances-1.1 Building universe-reverse-instances-1.1 Completed intern-0.9.2 Starting megaparsec-7.0.5 Completed vector-0.12.0.3 Starting bytes-0.16 Building megaparsec-7.0.5 Completed universe-reverse-instances-1.1 Starting attoparsec-0.13.2.3 Building attoparsec-0.13.2.3 Building bytes-0.16 Completed attoparsec-0.13.2.3 Starting th-reify-many-0.1.9 Completed QuickCheck-2.13.2 Starting comonad-5.0.5 Building th-reify-many-0.1.9 Completed bytes-0.16 Starting temporary-1.3 Building temporary-1.3 Completed megaparsec-7.0.5 Starting resourcet-1.2.2 Completed th-reify-many-0.1.9 Starting optparse-applicative-0.15.1.0 Building resourcet-1.2.2 Building comonad-5.0.5 Building optparse-applicative-0.15.1.0 Completed temporary-1.3 Starting vector-th-unbox-0.2.1.7 Building vector-th-unbox-0.2.1.7 Completed vector-th-unbox-0.2.1.7 Starting vector-algorithms-0.8.0.1 Completed resourcet-1.2.2 Starting th-lift-instances-0.1.14 Building vector-algorithms-0.8.0.1 Building th-lift-instances-0.1.14 Completed comonad-5.0.5 Starting hashtables-1.2.3.4 Building hashtables-1.2.3.4 Completed th-lift-instances-0.1.14 Downloading pseudo-boolean-0.1.8.0 Downloaded pseudo-boolean-0.1.8.0 Starting pseudo-boolean-0.1.8.0 Building pseudo-boolean-0.1.8.0 Completed optparse-applicative-0.15.1.0 Starting math-functions-0.3.3.0 Building math-functions-0.3.3.0 Completed pseudo-boolean-0.1.8.0 Starting bifunctors-5.5.5 Building bifunctors-5.5.5 Completed vector-algorithms-0.8.0.1 Starting th-orphans-0.13.9 Building th-orphans-0.13.9 Completed hashtables-1.2.3.4 Starting mono-traversable-1.0.13.0 Building mono-traversable-1.0.13.0 Completed math-functions-0.3.3.0 Starting mwc-random-0.14.0.0 Building mwc-random-0.14.0.0 Completed bifunctors-5.5.5 Starting semigroupoids-5.3.3 Completed th-orphans-0.13.9 Starting th-desugar-1.9 Building th-desugar-1.9 Completed mwc-random-0.14.0.0 Building semigroupoids-5.3.3 Completed mono-traversable-1.0.13.0 Starting conduit-1.3.1.1 Building conduit-1.3.1.1 Completed semigroupoids-5.3.3 Starting log-domain-0.12 Starting lattices-2.0.1 Building lattices-2.0.1 Building log-domain-0.12 Completed th-desugar-1.9 Starting singletons-2.5.1 Completed log-domain-0.12 Completed lattices-2.0.1 Starting sign-0.4.4 Starting data-interval-1.3.1 Building singletons-2.5.1 Completed conduit-1.3.1.1 Starting conduit-extra-1.3.4 Building data-interval-1.3.1 Building sign-0.4.4 Building conduit-extra-1.3.4 Completed sign-0.4.4 Completed conduit-extra-1.3.4 Starting xml-conduit-1.8.0.1 Completed data-interval-1.3.1 Building xml-conduit-1.8.0.1 Completed xml-conduit-1.8.0.1 Completed singletons-2.5.1 Downloading finite-field-0.9.0 Downloaded finite-field-0.9.0 Starting finite-field-0.9.0 Building finite-field-0.9.0 Completed finite-field-0.9.0 Downloading toysolver-0.6.0 Downloaded toysolver-0.6.0 Starting toysolver-0.6.0 Building toysolver-0.6.0 Completed toysolver-0.6.0
Test log
No test log was submitted for this report.