Build #1 for cpsa-2.5.0

[all reports]

Package cpsa-2.5.0
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2015-05-23 06:26:57.889009 UTC
Compiler ghc-7.8.3
OS linux
Arch x86_64
Dependencies parallel-3.2.0.6, containers-0.5.5.1, base-4.7.0.1, array-0.5.0.0
Flags none

Build log

[view raw]

Resolving dependencies...
Configuring parallel-3.2.0.6...
Building parallel-3.2.0.6...
Preprocessing library parallel-3.2.0.6...
[1 of 3] Compiling Control.Parallel ( Control/Parallel.hs, dist/build/Control/Parallel.o )
[2 of 3] Compiling Control.Seq      ( Control/Seq.hs, dist/build/Control/Seq.o )
[3 of 3] Compiling Control.Parallel.Strategies ( Control/Parallel/Strategies.hs, dist/build/Control/Parallel/Strategies.o )
In-place registering parallel-3.2.0.6...
Running Haddock for parallel-3.2.0.6...
Running hscolour for parallel-3.2.0.6...
Preprocessing library parallel-3.2.0.6...
Preprocessing library parallel-3.2.0.6...
Haddock coverage:
  72% ( 21 / 29) in 'Control.Seq'
 100% (  3 /  3) in 'Control.Parallel'
  81% ( 68 / 84) in 'Control.Parallel.Strategies'
Documentation created: dist/doc/html/parallel/index.html,
dist/doc/html/parallel/parallel.txt
Creating package registration file: /tmp/pkgConf-parallel-3.2.06561.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/parallel-3.2.0.6
Registering parallel-3.2.0.6...
Installed parallel-3.2.0.6
Downloading cpsa-2.5.0...
Configuring cpsa-2.5.0...
Building cpsa-2.5.0...
Preprocessing executable 'cpsa' for cpsa-2.5.0...
[ 1 of 21] Compiling Paths_cpsa       ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsa/cpsa-tmp/Paths_cpsa.o )
[ 2 of 21] Compiling CPSA.Lib.Pretty  ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Pretty.o )
[ 3 of 21] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Utilities.o )
[ 4 of 21] Compiling CPSA.Lib.SExpr   ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/SExpr.o )
[ 5 of 21] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Algebra.o )
[ 6 of 21] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Printer.o )
[ 7 of 21] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Notation.o )
[ 8 of 21] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Protocol.o )
[ 9 of 21] Compiling CPSA.Lib.CPSA    ( src/CPSA/Lib/CPSA.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/CPSA.o )
[10 of 21] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/Basic/Algebra.o )
[11 of 21] Compiling CPSA.Lib.Entry   ( src/CPSA/Lib/Entry.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Entry.o )
[12 of 21] Compiling CPSA.Lib.Expand  ( src/CPSA/Lib/Expand.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Expand.o )
[13 of 21] Compiling CPSA.DiffieHellman.Algebra ( src/CPSA/DiffieHellman/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/DiffieHellman/Algebra.o )
[14 of 21] Compiling CPSA.Lib.Goal    ( src/CPSA/Lib/Goal.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Goal.o )
[15 of 21] Compiling CPSA.Lib.Strand  ( src/CPSA/Lib/Strand.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Strand.o )
[16 of 21] Compiling CPSA.Lib.Cohort  ( src/CPSA/Lib/Cohort.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Cohort.o )
[17 of 21] Compiling CPSA.Lib.Displayer ( src/CPSA/Lib/Displayer.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Displayer.o )
[18 of 21] Compiling CPSA.Lib.Reduction ( src/CPSA/Lib/Reduction.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Reduction.o )
[19 of 21] Compiling CPSA.Lib.Characteristic ( src/CPSA/Lib/Characteristic.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Characteristic.o )
[20 of 21] Compiling CPSA.Lib.Loader  ( src/CPSA/Lib/Loader.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Loader.o )
[21 of 21] Compiling Main             ( src/CPSA/Lib/Main.hs, dist/build/cpsa/cpsa-tmp/Main.o )
Linking dist/build/cpsa/cpsa ...
Preprocessing executable 'cpsagraph' for cpsa-2.5.0...
[ 1 of 22] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Utilities.o )
[ 2 of 22] Compiling CPSA.Lib.Pretty  ( src/CPSA/Lib/Pretty.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Pretty.o )
[ 3 of 22] Compiling CPSA.Lib.SExpr   ( src/CPSA/Lib/SExpr.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/SExpr.o )
[ 4 of 22] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Printer.o )
[ 5 of 22] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Notation.o )
[ 6 of 22] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Algebra.o )
[ 7 of 22] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Protocol.o )
[ 8 of 22] Compiling Paths_cpsa       ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsagraph/cpsagraph-tmp/Paths_cpsa.o )
[ 9 of 22] Compiling CPSA.Lib.CPSA    ( src/CPSA/Lib/CPSA.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/CPSA.o )
[10 of 22] Compiling CPSA.Graph.Config ( src/CPSA/Graph/Config.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/Config.o )
[11 of 22] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Basic/Algebra.o )
[12 of 22] Compiling CPSA.Lib.Entry   ( src/CPSA/Lib/Entry.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Lib/Entry.o )
[13 of 22] Compiling CPSA.Graph.Loader ( src/CPSA/Graph/Loader.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/Loader.o )
[14 of 22] Compiling CPSA.Graph.Layout ( src/CPSA/Graph/Layout.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/Layout.o )
[15 of 22] Compiling CPSA.Graph.LaTeXView ( src/CPSA/Graph/LaTeXView.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/LaTeXView.o )
[16 of 22] Compiling CPSA.Graph.XMLOutput ( src/CPSA/Graph/XMLOutput.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/XMLOutput.o )
[17 of 22] Compiling CPSA.Graph.SVG   ( src/CPSA/Graph/SVG.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/SVG.o )
[18 of 22] Compiling CPSA.Graph.Preskeleton ( src/CPSA/Graph/Preskeleton.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/Preskeleton.o )
[19 of 22] Compiling CPSA.Graph.Tree  ( src/CPSA/Graph/Tree.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/Tree.o )
[20 of 22] Compiling CPSA.Graph.CompactView ( src/CPSA/Graph/CompactView.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/CompactView.o )
[21 of 22] Compiling CPSA.Graph.ExpandedView ( src/CPSA/Graph/ExpandedView.hs, dist/build/cpsagraph/cpsagraph-tmp/CPSA/Graph/ExpandedView.o )
[22 of 22] Compiling Main             ( src/CPSA/Graph/Main.hs, dist/build/cpsagraph/cpsagraph-tmp/Main.o )
Linking dist/build/cpsagraph/cpsagraph ...
Preprocessing executable 'cpsashapes' for cpsa-2.5.0...
[ 1 of 13] Compiling Paths_cpsa       ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsashapes/cpsashapes-tmp/Paths_cpsa.o )
[ 2 of 13] Compiling CPSA.Lib.Pretty  ( src/CPSA/Lib/Pretty.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Pretty.o )
[ 3 of 13] Compiling CPSA.Lib.SExpr   ( src/CPSA/Lib/SExpr.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/SExpr.o )
[ 4 of 13] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Printer.o )
[ 5 of 13] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Notation.o )
[ 6 of 13] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Algebra.o )
[ 7 of 13] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Utilities.o )
[ 8 of 13] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Protocol.o )
[ 9 of 13] Compiling CPSA.Lib.CPSA    ( src/CPSA/Lib/CPSA.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/CPSA.o )
[10 of 13] Compiling CPSA.Shapes.Shapes ( src/CPSA/Shapes/Shapes.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Shapes/Shapes.o )
[11 of 13] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Basic/Algebra.o )
[12 of 13] Compiling CPSA.Lib.Entry   ( src/CPSA/Lib/Entry.hs, dist/build/cpsashapes/cpsashapes-tmp/CPSA/Lib/Entry.o )
[13 of 13] Compiling Main             ( src/CPSA/Shapes/Main.hs, dist/build/cpsashapes/cpsashapes-tmp/Main.o )
Linking dist/build/cpsashapes/cpsashapes ...
Preprocessing executable 'cpsaannotations' for cpsa-2.5.0...
[ 1 of 15] Compiling Paths_cpsa       ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsaannotations/cpsaannotations-tmp/Paths_cpsa.o )
[ 2 of 15] Compiling CPSA.Lib.Pretty  ( src/CPSA/Lib/Pretty.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Pretty.o )
[ 3 of 15] Compiling CPSA.Lib.SExpr   ( src/CPSA/Lib/SExpr.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/SExpr.o )
[ 4 of 15] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Printer.o )
[ 5 of 15] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Notation.o )
[ 6 of 15] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Algebra.o )
[ 7 of 15] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Utilities.o )
[ 8 of 15] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Protocol.o )
[ 9 of 15] Compiling CPSA.Lib.CPSA    ( src/CPSA/Lib/CPSA.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/CPSA.o )
[10 of 15] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Basic/Algebra.o )
[11 of 15] Compiling CPSA.Lib.Entry   ( src/CPSA/Lib/Entry.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Entry.o )
[12 of 15] Compiling CPSA.DiffieHellman.Algebra ( src/CPSA/DiffieHellman/Algebra.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/DiffieHellman/Algebra.o )
[13 of 15] Compiling CPSA.Annotations.Formulas ( src/CPSA/Annotations/Formulas.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Annotations/Formulas.o )

src/CPSA/Annotations/Formulas.hs:181:10: Warning:
    ‘EitherS’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[14 of 15] Compiling CPSA.Annotations.Annotations ( src/CPSA/Annotations/Annotations.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Annotations/Annotations.o )
[15 of 15] Compiling Main             ( src/CPSA/Annotations/Main.hs, dist/build/cpsaannotations/cpsaannotations-tmp/Main.o )
Linking dist/build/cpsaannotations/cpsaannotations ...
Preprocessing executable 'cpsaparameters' for cpsa-2.5.0...
[ 1 of 14] Compiling Paths_cpsa       ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsaparameters/cpsaparameters-tmp/Paths_cpsa.o )
[ 2 of 14] Compiling CPSA.Lib.Pretty  ( src/CPSA/Lib/Pretty.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Pretty.o )
[ 3 of 14] Compiling CPSA.Lib.SExpr   ( src/CPSA/Lib/SExpr.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/SExpr.o )
[ 4 of 14] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Printer.o )
[ 5 of 14] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Notation.o )
[ 6 of 14] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Algebra.o )
[ 7 of 14] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Utilities.o )
[ 8 of 14] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Protocol.o )
[ 9 of 14] Compiling CPSA.Lib.CPSA    ( src/CPSA/Lib/CPSA.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/CPSA.o )
[10 of 14] Compiling CPSA.Parameters.Flow ( src/CPSA/Parameters/Flow.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Parameters/Flow.o )
[11 of 14] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Basic/Algebra.o )
[12 of 14] Compiling CPSA.Lib.Entry   ( src/CPSA/Lib/Entry.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Entry.o )
[13 of 14] Compiling CPSA.DiffieHellman.Algebra ( src/CPSA/DiffieHellman/Algebra.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/DiffieHellman/Algebra.o )
[14 of 14] Compiling Main             ( src/CPSA/Parameters/Main.hs, dist/build/cpsaparameters/cpsaparameters-tmp/Main.o )
Linking dist/build/cpsaparameters/cpsaparameters ...
Preprocessing executable 'cpsapp' for cpsa-2.5.0...
[ 1 of 12] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsapp/cpsapp-tmp/CPSA/Lib/Utilities.o )
[ 2 of 12] Compiling CPSA.Lib.Pretty  ( src/CPSA/Lib/Pretty.hs, dist/build/cpsapp/cpsapp-tmp/CPSA/Lib/Pretty.o )
[ 3 of 12] Compiling CPSA.Lib.SExpr   ( src/CPSA/Lib/SExpr.hs, dist/build/cpsapp/cpsapp-tmp/CPSA/Lib/SExpr.o )
[ 4 of 12] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsapp/cpsapp-tmp/CPSA/Lib/Printer.o )
[ 5 of 12] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsapp/cpsapp-tmp/CPSA/Lib/Notation.o )
[ 6 of 12] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsapp/cpsapp-tmp/CPSA/Lib/Algebra.o )
[ 7 of 12] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsapp/cpsapp-tmp/CPSA/Lib/Protocol.o )
[ 8 of 12] Compiling Paths_cpsa       ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsapp/cpsapp-tmp/Paths_cpsa.o )
[ 9 of 12] Compiling CPSA.Lib.CPSA    ( src/CPSA/Lib/CPSA.hs, dist/build/cpsapp/cpsapp-tmp/CPSA/Lib/CPSA.o )
[10 of 12] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsapp/cpsapp-tmp/CPSA/Basic/Algebra.o )
[11 of 12] Compiling CPSA.Lib.Entry   ( src/CPSA/Lib/Entry.hs, dist/build/cpsapp/cpsapp-tmp/CPSA/Lib/Entry.o )
[12 of 12] Compiling Main             ( src/CPSA/Pretty/Main.hs, dist/build/cpsapp/cpsapp-tmp/Main.o )
Linking dist/build/cpsapp/cpsapp ...
Preprocessing executable 'cpsajson' for cpsa-2.5.0...
[ 1 of 12] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsajson/cpsajson-tmp/CPSA/Lib/Utilities.o )
[ 2 of 12] Compiling CPSA.Lib.Pretty  ( src/CPSA/Lib/Pretty.hs, dist/build/cpsajson/cpsajson-tmp/CPSA/Lib/Pretty.o )
[ 3 of 12] Compiling CPSA.Lib.SExpr   ( src/CPSA/Lib/SExpr.hs, dist/build/cpsajson/cpsajson-tmp/CPSA/Lib/SExpr.o )
[ 4 of 12] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsajson/cpsajson-tmp/CPSA/Lib/Printer.o )
[ 5 of 12] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsajson/cpsajson-tmp/CPSA/Lib/Notation.o )
[ 6 of 12] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsajson/cpsajson-tmp/CPSA/Lib/Algebra.o )
[ 7 of 12] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsajson/cpsajson-tmp/CPSA/Lib/Protocol.o )
[ 8 of 12] Compiling Paths_cpsa       ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsajson/cpsajson-tmp/Paths_cpsa.o )
[ 9 of 12] Compiling CPSA.Lib.CPSA    ( src/CPSA/Lib/CPSA.hs, dist/build/cpsajson/cpsajson-tmp/CPSA/Lib/CPSA.o )
[10 of 12] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsajson/cpsajson-tmp/CPSA/Basic/Algebra.o )
[11 of 12] Compiling CPSA.Lib.Entry   ( src/CPSA/Lib/Entry.hs, dist/build/cpsajson/cpsajson-tmp/CPSA/Lib/Entry.o )
[12 of 12] Compiling Main             ( src/CPSA/JSON/Main.hs, dist/build/cpsajson/cpsajson-tmp/Main.o )
Linking dist/build/cpsajson/cpsajson ...
Preprocessing executable 'cpsadiff' for cpsa-2.5.0...
[ 1 of 12] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsadiff/cpsadiff-tmp/CPSA/Lib/Utilities.o )
[ 2 of 12] Compiling CPSA.Lib.Pretty  ( src/CPSA/Lib/Pretty.hs, dist/build/cpsadiff/cpsadiff-tmp/CPSA/Lib/Pretty.o )
[ 3 of 12] Compiling CPSA.Lib.SExpr   ( src/CPSA/Lib/SExpr.hs, dist/build/cpsadiff/cpsadiff-tmp/CPSA/Lib/SExpr.o )
[ 4 of 12] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsadiff/cpsadiff-tmp/CPSA/Lib/Printer.o )
[ 5 of 12] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsadiff/cpsadiff-tmp/CPSA/Lib/Notation.o )
[ 6 of 12] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsadiff/cpsadiff-tmp/CPSA/Lib/Algebra.o )
[ 7 of 12] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsadiff/cpsadiff-tmp/CPSA/Lib/Protocol.o )
[ 8 of 12] Compiling CPSA.Lib.CPSA    ( src/CPSA/Lib/CPSA.hs, dist/build/cpsadiff/cpsadiff-tmp/CPSA/Lib/CPSA.o )
[ 9 of 12] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsadiff/cpsadiff-tmp/CPSA/Basic/Algebra.o )
[10 of 12] Compiling Paths_cpsa       ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsadiff/cpsadiff-tmp/Paths_cpsa.o )
[11 of 12] Compiling CPSA.Lib.Entry   ( src/CPSA/Lib/Entry.hs, dist/build/cpsadiff/cpsadiff-tmp/CPSA/Lib/Entry.o )
[12 of 12] Compiling Main             ( src/CPSA/Diff/Main.hs, dist/build/cpsadiff/cpsadiff-tmp/Main.o )
Linking dist/build/cpsadiff/cpsadiff ...
Preprocessing executable 'cpsasas' for cpsa-2.5.0...
[ 1 of 14] Compiling Paths_cpsa       ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsasas/cpsasas-tmp/Paths_cpsa.o )
[ 2 of 14] Compiling CPSA.Lib.Pretty  ( src/CPSA/Lib/Pretty.hs, dist/build/cpsasas/cpsasas-tmp/CPSA/Lib/Pretty.o )
[ 3 of 14] Compiling CPSA.Lib.SExpr   ( src/CPSA/Lib/SExpr.hs, dist/build/cpsasas/cpsasas-tmp/CPSA/Lib/SExpr.o )
[ 4 of 14] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsasas/cpsasas-tmp/CPSA/Lib/Printer.o )
[ 5 of 14] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsasas/cpsasas-tmp/CPSA/Lib/Notation.o )
[ 6 of 14] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsasas/cpsasas-tmp/CPSA/Lib/Algebra.o )
[ 7 of 14] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsasas/cpsasas-tmp/CPSA/Lib/Utilities.o )
[ 8 of 14] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsasas/cpsasas-tmp/CPSA/Lib/Protocol.o )
[ 9 of 14] Compiling CPSA.Lib.CPSA    ( src/CPSA/Lib/CPSA.hs, dist/build/cpsasas/cpsasas-tmp/CPSA/Lib/CPSA.o )
[10 of 14] Compiling CPSA.SAS.SAS     ( src/CPSA/SAS/SAS.hs, dist/build/cpsasas/cpsasas-tmp/CPSA/SAS/SAS.o )
[11 of 14] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsasas/cpsasas-tmp/CPSA/Basic/Algebra.o )
[12 of 14] Compiling CPSA.Lib.Entry   ( src/CPSA/Lib/Entry.hs, dist/build/cpsasas/cpsasas-tmp/CPSA/Lib/Entry.o )
[13 of 14] Compiling CPSA.DiffieHellman.Algebra ( src/CPSA/DiffieHellman/Algebra.hs, dist/build/cpsasas/cpsasas-tmp/CPSA/DiffieHellman/Algebra.o )
[14 of 14] Compiling Main             ( src/CPSA/SAS/Main.hs, dist/build/cpsasas/cpsasas-tmp/Main.o )
Linking dist/build/cpsasas/cpsasas ...
Warning: No documentation was generated as this package does not contain a
library. Perhaps you want to use the --executables, --tests or --benchmarks
flags.
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Installed cpsa-2.5.0