Configuring cpsa-2.3.1... Dependency array ==0.4.0.1: using array-0.4.0.1 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 parallel ==3.2.0.3: using parallel-3.2.0.3 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/cpsa-2.3.1/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/cpsa-2.3.1 Documentation installed in: /srv/hackage/var/build/cache/inst/share/doc/cpsa-2.3.1 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 cpsa-2.3.1... Preprocessing executable 'cpsashapes' for cpsa-2.3.1... Building executable cpsashapes... creating dist/build/cpsashapes creating dist/build/cpsashapes/cpsashapes-tmp /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build/cpsashapes/cpsashapes-tmp -hidir dist/build/cpsashapes/cpsashapes-tmp -stubdir dist/build/cpsashapes/cpsashapes-tmp -i -idist/build/cpsashapes/cpsashapes-tmp -isrc -idist/build/autogen -Idist/build/autogen -Idist/build/cpsashapes/cpsashapes-tmp -optP-include -optPdist/build/autogen/cabal_macros.h -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3 -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id parallel-3.2.0.3-0436f90600745dbca9f7b21df6061067 -XHaskell98 src/CPSA/Shapes/Main.hs -o dist/build/cpsashapes/cpsashapes -Wall -fno-warn-name-shadowing -fwarn-unused-imports -O0 [ 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 'cpsapp' for cpsa-2.3.1... Building executable cpsapp... creating dist/build/cpsapp creating dist/build/cpsapp/cpsapp-tmp /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build/cpsapp/cpsapp-tmp -hidir dist/build/cpsapp/cpsapp-tmp -stubdir dist/build/cpsapp/cpsapp-tmp -i -idist/build/cpsapp/cpsapp-tmp -isrc -idist/build/autogen -Idist/build/autogen -Idist/build/cpsapp/cpsapp-tmp -optP-include -optPdist/build/autogen/cabal_macros.h -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3 -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id parallel-3.2.0.3-0436f90600745dbca9f7b21df6061067 -XHaskell98 src/CPSA/Pretty/Main.hs -o dist/build/cpsapp/cpsapp -Wall -fno-warn-name-shadowing -fwarn-unused-imports -O0 [ 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 'cpsaparameters' for cpsa-2.3.1... Building executable cpsaparameters... creating dist/build/cpsaparameters creating dist/build/cpsaparameters/cpsaparameters-tmp /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build/cpsaparameters/cpsaparameters-tmp -hidir dist/build/cpsaparameters/cpsaparameters-tmp -stubdir dist/build/cpsaparameters/cpsaparameters-tmp -i -idist/build/cpsaparameters/cpsaparameters-tmp -isrc -idist/build/autogen -Idist/build/autogen -Idist/build/cpsaparameters/cpsaparameters-tmp -optP-include -optPdist/build/autogen/cabal_macros.h -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3 -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id parallel-3.2.0.3-0436f90600745dbca9f7b21df6061067 -XHaskell98 src/CPSA/Parameters/Main.hs -o dist/build/cpsaparameters/cpsaparameters -Wall -fno-warn-name-shadowing -fwarn-unused-imports -O0 [ 1 of 18] Compiling Paths_cpsa ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsaparameters/cpsaparameters-tmp/Paths_cpsa.o ) [ 2 of 18] Compiling CPSA.DiffieHellman.IntLinEq ( src/CPSA/DiffieHellman/IntLinEq.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/DiffieHellman/IntLinEq.o ) [ 3 of 18] Compiling CPSA.DiffieHellmanNoReciprocal.LinDiophEq ( src/CPSA/DiffieHellmanNoReciprocal/LinDiophEq.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/DiffieHellmanNoReciprocal/LinDiophEq.o ) [ 4 of 18] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Pretty.o ) [ 5 of 18] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/SExpr.o ) [ 6 of 18] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Printer.o ) [ 7 of 18] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Notation.o ) [ 8 of 18] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Algebra.o ) [ 9 of 18] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Utilities.o ) [10 of 18] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Protocol.o ) [11 of 18] Compiling CPSA.Lib.CPSA ( src/CPSA/Lib/CPSA.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/CPSA.o ) [12 of 18] Compiling CPSA.Parameters.Flow ( src/CPSA/Parameters/Flow.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Parameters/Flow.o ) [13 of 18] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Basic/Algebra.o ) [14 of 18] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/Lib/Entry.o ) [15 of 18] Compiling CPSA.DiffieHellman.Algebra ( src/CPSA/DiffieHellman/Algebra.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/DiffieHellman/Algebra.o ) [16 of 18] Compiling CPSA.DiffieHellmanNoReciprocal.Algebra ( src/CPSA/DiffieHellmanNoReciprocal/Algebra.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/DiffieHellmanNoReciprocal/Algebra.o ) [17 of 18] Compiling CPSA.SimpleDiffieHellman.Algebra ( src/CPSA/SimpleDiffieHellman/Algebra.hs, dist/build/cpsaparameters/cpsaparameters-tmp/CPSA/SimpleDiffieHellman/Algebra.o ) [18 of 18] Compiling Main ( src/CPSA/Parameters/Main.hs, dist/build/cpsaparameters/cpsaparameters-tmp/Main.o ) Linking dist/build/cpsaparameters/cpsaparameters ... Preprocessing executable 'cpsalogic' for cpsa-2.3.1... Building executable cpsalogic... creating dist/build/cpsalogic creating dist/build/cpsalogic/cpsalogic-tmp /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build/cpsalogic/cpsalogic-tmp -hidir dist/build/cpsalogic/cpsalogic-tmp -stubdir dist/build/cpsalogic/cpsalogic-tmp -i -idist/build/cpsalogic/cpsalogic-tmp -isrc -idist/build/autogen -Idist/build/autogen -Idist/build/cpsalogic/cpsalogic-tmp -optP-include -optPdist/build/autogen/cabal_macros.h -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3 -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id parallel-3.2.0.3-0436f90600745dbca9f7b21df6061067 -XHaskell98 src/CPSA/Logic/Main.hs -o dist/build/cpsalogic/cpsalogic -Wall -fno-warn-name-shadowing -fwarn-unused-imports -O0 [ 1 of 18] Compiling Paths_cpsa ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsalogic/cpsalogic-tmp/Paths_cpsa.o ) [ 2 of 18] Compiling CPSA.DiffieHellman.IntLinEq ( src/CPSA/DiffieHellman/IntLinEq.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/DiffieHellman/IntLinEq.o ) [ 3 of 18] Compiling CPSA.DiffieHellmanNoReciprocal.LinDiophEq ( src/CPSA/DiffieHellmanNoReciprocal/LinDiophEq.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/DiffieHellmanNoReciprocal/LinDiophEq.o ) [ 4 of 18] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/Lib/Pretty.o ) [ 5 of 18] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/Lib/SExpr.o ) [ 6 of 18] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/Lib/Printer.o ) [ 7 of 18] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/Lib/Notation.o ) [ 8 of 18] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/Lib/Algebra.o ) [ 9 of 18] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/Lib/Utilities.o ) [10 of 18] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/Lib/Protocol.o ) [11 of 18] Compiling CPSA.Lib.CPSA ( src/CPSA/Lib/CPSA.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/Lib/CPSA.o ) [12 of 18] Compiling CPSA.Logic.Logic ( src/CPSA/Logic/Logic.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/Logic/Logic.o ) [13 of 18] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/Basic/Algebra.o ) [14 of 18] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/Lib/Entry.o ) [15 of 18] Compiling CPSA.DiffieHellman.Algebra ( src/CPSA/DiffieHellman/Algebra.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/DiffieHellman/Algebra.o ) [16 of 18] Compiling CPSA.DiffieHellmanNoReciprocal.Algebra ( src/CPSA/DiffieHellmanNoReciprocal/Algebra.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/DiffieHellmanNoReciprocal/Algebra.o ) [17 of 18] Compiling CPSA.SimpleDiffieHellman.Algebra ( src/CPSA/SimpleDiffieHellman/Algebra.hs, dist/build/cpsalogic/cpsalogic-tmp/CPSA/SimpleDiffieHellman/Algebra.o ) [18 of 18] Compiling Main ( src/CPSA/Logic/Main.hs, dist/build/cpsalogic/cpsalogic-tmp/Main.o ) Linking dist/build/cpsalogic/cpsalogic ... Preprocessing executable 'cpsagraph' for cpsa-2.3.1... Building executable cpsagraph... creating dist/build/cpsagraph creating dist/build/cpsagraph/cpsagraph-tmp /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build/cpsagraph/cpsagraph-tmp -hidir dist/build/cpsagraph/cpsagraph-tmp -stubdir dist/build/cpsagraph/cpsagraph-tmp -i -idist/build/cpsagraph/cpsagraph-tmp -isrc -idist/build/autogen -Idist/build/autogen -Idist/build/cpsagraph/cpsagraph-tmp -optP-include -optPdist/build/autogen/cabal_macros.h -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3 -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id parallel-3.2.0.3-0436f90600745dbca9f7b21df6061067 -XHaskell98 src/CPSA/Graph/Main.hs -o dist/build/cpsagraph/cpsagraph -Wall -fno-warn-name-shadowing -fwarn-unused-imports -O0 [ 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 'cpsadiff' for cpsa-2.3.1... Building executable cpsadiff... creating dist/build/cpsadiff creating dist/build/cpsadiff/cpsadiff-tmp /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build/cpsadiff/cpsadiff-tmp -hidir dist/build/cpsadiff/cpsadiff-tmp -stubdir dist/build/cpsadiff/cpsadiff-tmp -i -idist/build/cpsadiff/cpsadiff-tmp -isrc -idist/build/autogen -Idist/build/autogen -Idist/build/cpsadiff/cpsadiff-tmp -optP-include -optPdist/build/autogen/cabal_macros.h -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3 -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id parallel-3.2.0.3-0436f90600745dbca9f7b21df6061067 -XHaskell98 src/CPSA/Diff/Main.hs -o dist/build/cpsadiff/cpsadiff -Wall -fno-warn-name-shadowing -fwarn-unused-imports -O0 [ 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 'cpsaannotations' for cpsa-2.3.1... Building executable cpsaannotations... creating dist/build/cpsaannotations creating dist/build/cpsaannotations/cpsaannotations-tmp /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build/cpsaannotations/cpsaannotations-tmp -hidir dist/build/cpsaannotations/cpsaannotations-tmp -stubdir dist/build/cpsaannotations/cpsaannotations-tmp -i -idist/build/cpsaannotations/cpsaannotations-tmp -isrc -idist/build/autogen -Idist/build/autogen -Idist/build/cpsaannotations/cpsaannotations-tmp -optP-include -optPdist/build/autogen/cabal_macros.h -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3 -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id parallel-3.2.0.3-0436f90600745dbca9f7b21df6061067 -XHaskell98 src/CPSA/Annotations/Main.hs -o dist/build/cpsaannotations/cpsaannotations -Wall -fno-warn-name-shadowing -fwarn-unused-imports -O0 [ 1 of 19] Compiling Paths_cpsa ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsaannotations/cpsaannotations-tmp/Paths_cpsa.o ) [ 2 of 19] Compiling CPSA.DiffieHellman.IntLinEq ( src/CPSA/DiffieHellman/IntLinEq.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/DiffieHellman/IntLinEq.o ) [ 3 of 19] Compiling CPSA.DiffieHellmanNoReciprocal.LinDiophEq ( src/CPSA/DiffieHellmanNoReciprocal/LinDiophEq.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/DiffieHellmanNoReciprocal/LinDiophEq.o ) [ 4 of 19] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Pretty.o ) [ 5 of 19] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/SExpr.o ) [ 6 of 19] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Printer.o ) [ 7 of 19] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Notation.o ) [ 8 of 19] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Algebra.o ) [ 9 of 19] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Utilities.o ) [10 of 19] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Protocol.o ) [11 of 19] Compiling CPSA.Lib.CPSA ( src/CPSA/Lib/CPSA.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/CPSA.o ) [12 of 19] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Basic/Algebra.o ) [13 of 19] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Lib/Entry.o ) [14 of 19] Compiling CPSA.DiffieHellman.Algebra ( src/CPSA/DiffieHellman/Algebra.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/DiffieHellman/Algebra.o ) [15 of 19] Compiling CPSA.DiffieHellmanNoReciprocal.Algebra ( src/CPSA/DiffieHellmanNoReciprocal/Algebra.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/DiffieHellmanNoReciprocal/Algebra.o ) [16 of 19] Compiling CPSA.SimpleDiffieHellman.Algebra ( src/CPSA/SimpleDiffieHellman/Algebra.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/SimpleDiffieHellman/Algebra.o ) [17 of 19] Compiling CPSA.Annotations.Formulas ( src/CPSA/Annotations/Formulas.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Annotations/Formulas.o ) [18 of 19] Compiling CPSA.Annotations.Annotations ( src/CPSA/Annotations/Annotations.hs, dist/build/cpsaannotations/cpsaannotations-tmp/CPSA/Annotations/Annotations.o ) [19 of 19] Compiling Main ( src/CPSA/Annotations/Main.hs, dist/build/cpsaannotations/cpsaannotations-tmp/Main.o ) Linking dist/build/cpsaannotations/cpsaannotations ... Preprocessing executable 'cpsa' for cpsa-2.3.1... Building executable cpsa... creating dist/build/cpsa creating dist/build/cpsa/cpsa-tmp /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build/cpsa/cpsa-tmp -hidir dist/build/cpsa/cpsa-tmp -stubdir dist/build/cpsa/cpsa-tmp -i -idist/build/cpsa/cpsa-tmp -isrc -idist/build/autogen -Idist/build/autogen -Idist/build/cpsa/cpsa-tmp -optP-include -optPdist/build/autogen/cabal_macros.h -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3 -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id parallel-3.2.0.3-0436f90600745dbca9f7b21df6061067 -XHaskell98 src/CPSA/Lib/Main.hs -o dist/build/cpsa/cpsa -Wall -fno-warn-name-shadowing -fwarn-unused-imports -threaded -rtsopts -O0 [ 1 of 23] Compiling Paths_cpsa ( dist/build/autogen/Paths_cpsa.hs, dist/build/cpsa/cpsa-tmp/Paths_cpsa.o ) [ 2 of 23] Compiling CPSA.DiffieHellman.IntLinEq ( src/CPSA/DiffieHellman/IntLinEq.hs, dist/build/cpsa/cpsa-tmp/CPSA/DiffieHellman/IntLinEq.o ) [ 3 of 23] Compiling CPSA.DiffieHellmanNoReciprocal.LinDiophEq ( src/CPSA/DiffieHellmanNoReciprocal/LinDiophEq.hs, dist/build/cpsa/cpsa-tmp/CPSA/DiffieHellmanNoReciprocal/LinDiophEq.o ) [ 4 of 23] Compiling CPSA.Lib.Pretty ( src/CPSA/Lib/Pretty.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Pretty.o ) [ 5 of 23] Compiling CPSA.Lib.Utilities ( src/CPSA/Lib/Utilities.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Utilities.o ) [ 6 of 23] Compiling CPSA.Lib.SExpr ( src/CPSA/Lib/SExpr.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/SExpr.o ) [ 7 of 23] Compiling CPSA.Lib.Algebra ( src/CPSA/Lib/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Algebra.o ) [ 8 of 23] Compiling CPSA.Lib.Printer ( src/CPSA/Lib/Printer.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Printer.o ) [ 9 of 23] Compiling CPSA.Lib.Notation ( src/CPSA/Lib/Notation.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Notation.o ) [10 of 23] Compiling CPSA.Lib.Protocol ( src/CPSA/Lib/Protocol.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Protocol.o ) [11 of 23] Compiling CPSA.Lib.CPSA ( src/CPSA/Lib/CPSA.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/CPSA.o ) [12 of 23] Compiling CPSA.Basic.Algebra ( src/CPSA/Basic/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/Basic/Algebra.o ) [13 of 23] Compiling CPSA.Lib.Entry ( src/CPSA/Lib/Entry.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Entry.o ) [14 of 23] Compiling CPSA.Lib.Expand ( src/CPSA/Lib/Expand.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Expand.o ) [15 of 23] Compiling CPSA.DiffieHellman.Algebra ( src/CPSA/DiffieHellman/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/DiffieHellman/Algebra.o ) [16 of 23] Compiling CPSA.DiffieHellmanNoReciprocal.Algebra ( src/CPSA/DiffieHellmanNoReciprocal/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/DiffieHellmanNoReciprocal/Algebra.o ) [17 of 23] Compiling CPSA.SimpleDiffieHellman.Algebra ( src/CPSA/SimpleDiffieHellman/Algebra.hs, dist/build/cpsa/cpsa-tmp/CPSA/SimpleDiffieHellman/Algebra.o ) [18 of 23] Compiling CPSA.Lib.Strand ( src/CPSA/Lib/Strand.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Strand.o ) [19 of 23] Compiling CPSA.Lib.Loader ( src/CPSA/Lib/Loader.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Loader.o ) [20 of 23] Compiling CPSA.Lib.Cohort ( src/CPSA/Lib/Cohort.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Cohort.o ) [21 of 23] Compiling CPSA.Lib.Displayer ( src/CPSA/Lib/Displayer.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Displayer.o ) [22 of 23] Compiling CPSA.Lib.Reduction ( src/CPSA/Lib/Reduction.hs, dist/build/cpsa/cpsa-tmp/CPSA/Lib/Reduction.o ) [23 of 23] Compiling Main ( src/CPSA/Lib/Main.hs, dist/build/cpsa/cpsa-tmp/Main.o ) Linking dist/build/cpsa/cpsa ... Warning: No documentation was generated as this package does not contain a library. Perhaps you want to use the --executables flag. directory dist/doc/html/cpsa does exist: False creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/index.html to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/index.html creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/readme.html to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/readme.html creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/cpsauser.html to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/cpsauser.html creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/cpsa.mk to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/cpsa.mk creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/Make.hs to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/Make.hs creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/cpsaprimer.pdf to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/cpsaprimer.pdf creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/cpsaoverview.pdf to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/cpsaoverview.pdf creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/cpsaintroslides.pdf to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/cpsaintroslides.pdf creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/cpsaspec.pdf to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/cpsaspec.pdf creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/cpsadesign.pdf to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/cpsadesign.pdf creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/ffgg.scm to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/ffgg.scm creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/ns.scm to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/ns.scm creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/blanchet.scm to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/blanchet.scm creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/or.scm to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/or.scm creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/woolam.scm to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/woolam.scm creating /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1 Installing doc/yahalom.scm to /srv/hackage/var/build/cache/inst/share/cpsa-2.3.1/yahalom.scm creating /srv/hackage/var/build/cache/inst/share/doc/cpsa-2.3.1 Installing license.txt to /srv/hackage/var/build/cache/inst/share/doc/cpsa-2.3.1/license.txt Installing executable(s) in /srv/hackage/var/build/cache/inst/bin creating /srv/hackage/var/build/cache/inst/bin Installing executable dist/build/cpsalogic/cpsalogic to /srv/hackage/var/build/cache/inst/bin/cpsalogic /usr/bin/strip /srv/hackage/var/build/cache/inst/bin/cpsalogic creating /srv/hackage/var/build/cache/inst/bin Installing executable dist/build/cpsadiff/cpsadiff to /srv/hackage/var/build/cache/inst/bin/cpsadiff /usr/bin/strip /srv/hackage/var/build/cache/inst/bin/cpsadiff creating /srv/hackage/var/build/cache/inst/bin Installing executable dist/build/cpsapp/cpsapp to /srv/hackage/var/build/cache/inst/bin/cpsapp /usr/bin/strip /srv/hackage/var/build/cache/inst/bin/cpsapp creating /srv/hackage/var/build/cache/inst/bin Installing executable dist/build/cpsaparameters/cpsaparameters to /srv/hackage/var/build/cache/inst/bin/cpsaparameters /usr/bin/strip /srv/hackage/var/build/cache/inst/bin/cpsaparameters creating /srv/hackage/var/build/cache/inst/bin Installing executable dist/build/cpsaannotations/cpsaannotations to /srv/hackage/var/build/cache/inst/bin/cpsaannotations /usr/bin/strip /srv/hackage/var/build/cache/inst/bin/cpsaannotations creating /srv/hackage/var/build/cache/inst/bin Installing executable dist/build/cpsashapes/cpsashapes to /srv/hackage/var/build/cache/inst/bin/cpsashapes /usr/bin/strip /srv/hackage/var/build/cache/inst/bin/cpsashapes creating /srv/hackage/var/build/cache/inst/bin Installing executable dist/build/cpsagraph/cpsagraph to /srv/hackage/var/build/cache/inst/bin/cpsagraph /usr/bin/strip /srv/hackage/var/build/cache/inst/bin/cpsagraph creating /srv/hackage/var/build/cache/inst/bin Installing executable dist/build/cpsa/cpsa to /srv/hackage/var/build/cache/inst/bin/cpsa /usr/bin/strip /srv/hackage/var/build/cache/inst/bin/cpsa