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.