Build #1 for CarneadesDSL-1.2
Package | CarneadesDSL-1.2 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | unknown |
---|---|
Compiler | ghc-7.6.3 |
OS | linux |
Arch | x86_64 |
Dependencies | fgl-5.4.2.4, containers-0.5.0.0, base-4.6.0.1 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Configuring CarneadesDSL-1.2... Dependency base ==4.6.0.1: using base-4.6.0.1 Dependency containers ==0.5.0.0: using containers-0.5.0.0 Dependency fgl ==5.4.2.4: using fgl-5.4.2.4 Using Cabal-1.16.0.3 compiled by ghc-7.6 Using compiler: ghc-7.6.3 Using install prefix: /srv/hackage/var/build/cache/inst Binaries installed in: /srv/hackage/var/build/cache/inst/bin Libraries installed in: /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2/ghc-7.6.3 Private binaries installed in: /srv/hackage/var/build/cache/inst/libexec Data files installed in: /srv/hackage/var/build/cache/inst/share/CarneadesDSL-1.2 Documentation installed in: /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2 Using alex version 3.0.1 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar No c2hs found No cpphs found No ffihugs found Using gcc version 4.7 found on system at: /usr/bin/gcc Using ghc version 7.6.3 found on system at: /usr/local/bin/ghc Using ghc-pkg version 7.6.3 found on system at: /usr/local/bin/ghc-pkg No greencard found Using haddock version 2.13.2 found on system at: /usr/local/bin/haddock Using happy version 1.18.9 found on system at: /usr/bin/happy No hmake found Using hpc version 0.6 found on system at: /usr/local/bin/hpc Using hsc2hs version 0.67 found on system at: /usr/local/bin/hsc2hs Using hscolour version 1.19 found on system at: /usr/bin/HsColour No hugs found No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found No nhc98 found No pkg-config found Using ranlib found on system at: /usr/bin/ranlib Using strip found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found creating dist/build creating dist/build/autogen Building CarneadesDSL-1.2... Preprocessing library CarneadesDSL-1.2... Building library... creating dist/build /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -package-name CarneadesDSL-1.2 -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id fgl-5.4.2.4-18b210b29f6919c3983dadf603afab1e -XHaskell98 Language.Carneades.CarneadesDSL Language.Carneades.ExampleCAES Language.Carneades.Cyclic -O0 [1 of 3] Compiling Language.Carneades.Cyclic ( Language/Carneades/Cyclic.hs, dist/build/Language/Carneades/Cyclic.o ) [2 of 3] Compiling Language.Carneades.CarneadesDSL ( Language/Carneades/CarneadesDSL.lhs, dist/build/Language/Carneades/CarneadesDSL.o ) [3 of 3] Compiling Language.Carneades.ExampleCAES ( Language/Carneades/ExampleCAES.lhs, dist/build/Language/Carneades/ExampleCAES.o ) Linking... /usr/bin/ar -r dist/build/libHSCarneadesDSL-1.2.a dist/build/Language/Carneades/CarneadesDSL.o dist/build/Language/Carneades/ExampleCAES.o dist/build/Language/Carneades/Cyclic.o /usr/bin/ar: creating dist/build/libHSCarneadesDSL-1.2.a In-place registering CarneadesDSL-1.2... /usr/local/bin/ghc-pkg update - --global --user --package-db=/srv/hackage/var/build/cache/inst/local.conf.d --package-db=dist/package.conf.inplace --no-user-package-conf Running Haddock for CarneadesDSL-1.2... /usr/local/bin/haddock --ghc-version --built-in-themes creating dist/build creating dist/build/autogen Running hscolour for CarneadesDSL-1.2... creating dist/doc/html/CarneadesDSL creating dist/doc/html creating dist/doc creating dist/doc/html creating dist/doc/html/CarneadesDSL Preprocessing library CarneadesDSL-1.2... creating dist/doc/html/CarneadesDSL/src /usr/bin/HsColour -print-css -odist/doc/html/CarneadesDSL/src/hscolour.css /usr/bin/HsColour -css -anchor -odist/doc/html/CarneadesDSL/src/Language-Carneades-CarneadesDSL.html Language/Carneades/CarneadesDSL.lhs /usr/bin/HsColour -css -anchor -odist/doc/html/CarneadesDSL/src/Language-Carneades-ExampleCAES.html Language/Carneades/ExampleCAES.lhs /usr/bin/HsColour -css -anchor -odist/doc/html/CarneadesDSL/src/Language-Carneades-Cyclic.html Language/Carneades/Cyclic.hs /usr/local/bin/ghc --print-libdir -O0 Preprocessing library CarneadesDSL-1.2... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0, mtl-2.1.2, transformers-0.3.0.0 copy Language/Carneades/CarneadesDSL.lhs to dist/build/tmp-14124/Language/Carneades/CarneadesDSL.lhs copy Language/Carneades/ExampleCAES.lhs to dist/build/tmp-14124/Language/Carneades/ExampleCAES.lhs copy Language/Carneades/Cyclic.hs to dist/build/tmp-14124/Language/Carneades/Cyclic.hs creating dist/doc/html/CarneadesDSL /usr/local/bin/haddock --prologue=dist/doc/html/CarneadesDSL/haddock-prolog14124.txt --dump-interface=dist/doc/html/CarneadesDSL/CarneadesDSL.haddock --optghc=-package-name --optghc=CarneadesDSL-1.2 --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --use-contents=/package/CarneadesDSL-1.2 --verbosity=1 --html --read-interface=/package/array-0.4.0.1/docs,/usr/local/share/doc/ghc/html/libraries/array-0.4.0.1/array.haddock --read-interface=/package/base-4.6.0.1/docs,/usr/local/share/doc/ghc/html/libraries/base-4.6.0.1/base.haddock --read-interface=/package/containers-0.5.0.0/docs,/usr/local/share/doc/ghc/html/libraries/containers-0.5.0.0/containers.haddock --read-interface=/package/deepseq-1.3.0.1/docs,/usr/local/share/doc/ghc/html/libraries/deepseq-1.3.0.1/deepseq.haddock --read-interface=/package/fgl-5.4.2.4/docs,/srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/fgl.haddock --read-interface=/package/ghc-prim-0.3.0.0/docs,/usr/local/share/doc/ghc/html/libraries/ghc-prim-0.3.0.0/ghc-prim.haddock --read-interface=/package/integer-gmp-0.5.0.0/docs,/usr/local/share/doc/ghc/html/libraries/integer-gmp-0.5.0.0/integer-gmp.haddock --odir=dist/doc/html/CarneadesDSL/ --title=CarneadesDSL-1.2: An implementation and DSL for the Carneades argumentation model. --optghc=-fbuilding-cabal-package --optghc=-odir --optghc=dist/build/tmp-14124 --optghc=-hidir --optghc=dist/build/tmp-14124 --optghc=-stubdir --optghc=dist/build/tmp-14124 --optghc=-i --optghc=-idist/build --optghc=-i. --optghc=-idist/build/autogen --optghc=-Idist/build/autogen --optghc=-Idist/build --optghc=-optP-include --optghc=-optPdist/build/autogen/cabal_macros.h --optghc=-hide-all-packages --optghc=-package-db --optghc=/srv/hackage/var/build/cache/inst/local.conf.d --optghc=-package-id --optghc=base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 --optghc=-package-id --optghc=containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 --optghc=-package-id --optghc=fgl-5.4.2.4-18b210b29f6919c3983dadf603afab1e --optghc=-XHaskell98 -B/usr/local/lib/ghc-7.6.3 dist/build/tmp-14124/Language/Carneades/CarneadesDSL.hs dist/build/tmp-14124/Language/Carneades/ExampleCAES.hs dist/build/tmp-14124/Language/Carneades/Cyclic.hs --built-in-themes Haddock coverage: 0% ( 0 / 2) in 'Language.Carneades.Cyclic' 5% ( 3 / 57) in 'Language.Carneades.CarneadesDSL' doc comment parse failed: should not be acceptable, because the weight of $\mathit{arg2} < \alpha$. However, note that we can't reach the opposite conclusion either: \begin{spec} acceptable (mkProp "murder") caes > False acceptable (mkProp "-murder") caes > False \end{spec} As a further extension, one could for example imagine giving an argumentation theorist the means to see a trace of the derivation of acceptability. It would be straightforward to add further primitives to the DSL and keeping track of intermediate results for acceptability and applicability to achieve this. 25% ( 4 / 16) in 'Language.Carneades.ExampleCAES' Documentation created: dist/doc/html/CarneadesDSL/index.html directory dist/doc/html/CarneadesDSL does exist: True creating /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html copy directory 'dist/doc/html/CarneadesDSL' to '/srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html'. creating /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html creating /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/src Installing dist/doc/html/CarneadesDSL/CarneadesDSL.haddock to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/CarneadesDSL.haddock Installing dist/doc/html/CarneadesDSL/doc-index.html to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/doc-index.html Installing dist/doc/html/CarneadesDSL/Language-Carneades-Cyclic.html to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/Language-Carneades-Cyclic.html Installing dist/doc/html/CarneadesDSL/mini_Language-Carneades-Cyclic.html to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/mini_Language-Carneades-Cyclic.html Installing dist/doc/html/CarneadesDSL/Language-Carneades-CarneadesDSL.html to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/Language-Carneades-CarneadesDSL.html Installing dist/doc/html/CarneadesDSL/mini_Language-Carneades-CarneadesDSL.html to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/mini_Language-Carneades-CarneadesDSL.html Installing dist/doc/html/CarneadesDSL/Language-Carneades-ExampleCAES.html to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/Language-Carneades-ExampleCAES.html Installing dist/doc/html/CarneadesDSL/mini_Language-Carneades-ExampleCAES.html to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/mini_Language-Carneades-ExampleCAES.html Installing dist/doc/html/CarneadesDSL/hslogo-16.png to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/hslogo-16.png Installing dist/doc/html/CarneadesDSL/minus.gif to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/minus.gif Installing dist/doc/html/CarneadesDSL/ocean.css to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/ocean.css Installing dist/doc/html/CarneadesDSL/plus.gif to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/plus.gif Installing dist/doc/html/CarneadesDSL/synopsis.png to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/synopsis.png Installing dist/doc/html/CarneadesDSL/haskell_icon.gif to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/haskell_icon.gif Installing dist/doc/html/CarneadesDSL/xhaddock.css to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/xhaddock.css Installing dist/doc/html/CarneadesDSL/haddock-util.js to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/haddock-util.js Installing dist/doc/html/CarneadesDSL/frames.html to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/frames.html Installing dist/doc/html/CarneadesDSL/src/hscolour.css to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/src/hscolour.css Installing dist/doc/html/CarneadesDSL/src/Language-Carneades-CarneadesDSL.html to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/src/Language-Carneades-CarneadesDSL.html Installing dist/doc/html/CarneadesDSL/src/Language-Carneades-ExampleCAES.html to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/src/Language-Carneades-ExampleCAES.html Installing dist/doc/html/CarneadesDSL/src/Language-Carneades-Cyclic.html to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/src/Language-Carneades-Cyclic.html creating /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html Installing dist/doc/html/CarneadesDSL/CarneadesDSL.haddock to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/html/CarneadesDSL.haddock creating /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2 Installing LICENSE to /srv/hackage/var/build/cache/inst/share/doc/CarneadesDSL-1.2/LICENSE Installing library in /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2/ghc-7.6.3/Language/Carneades creating /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2/ghc-7.6.3/Language creating /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2 creating /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2/ghc-7.6.3/Language creating /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2/ghc-7.6.3/Language/Carneades Installing dist/build/Language/Carneades/CarneadesDSL.hi to /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2/ghc-7.6.3/Language/Carneades/CarneadesDSL.hi Installing dist/build/Language/Carneades/ExampleCAES.hi to /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2/ghc-7.6.3/Language/Carneades/ExampleCAES.hi Installing dist/build/Language/Carneades/Cyclic.hi to /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2/ghc-7.6.3/Language/Carneades/Cyclic.hi creating /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2/ghc-7.6.3 Installing dist/build/libHSCarneadesDSL-1.2.a to /srv/hackage/var/build/cache/inst/lib/CarneadesDSL-1.2/ghc-7.6.3/libHSCarneadesDSL-1.2.a /usr/local/bin/ghc --abi-hash -fbuilding-cabal-package -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -package-name CarneadesDSL-1.2 -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id fgl-5.4.2.4-18b210b29f6919c3983dadf603afab1e -XHaskell98 Language.Carneades.CarneadesDSL Language.Carneades.ExampleCAES Language.Carneades.Cyclic -O0 Registering CarneadesDSL-1.2... /usr/local/bin/ghc-pkg update - --global --user --package-db=/srv/hackage/var/build/cache/inst/local.conf.d --no-user-package-conf
Test log
No test log was submitted for this report.