*** setup configure Configuring chalmers-lava2000-1.0.1... Dependency base-any: using base-3.0.2.0 Dependency haskell98-any: using haskell98-1.0.1.0 Dependency process-any: using process-1.0.0.1 Using compiler: ghc-6.8.3 Using install prefix: /usr/local/tmp/archive/install Binaries installed in: /usr/local/tmp/archive/install/bin Libraries installed in: /usr/local/tmp/archive/install/lib/chalmers-lava2000-1.0.1/ghc-6.8.3 Private binaries installed in: /usr/local/tmp/archive/install/libexec Data files installed in: /usr/local/tmp/archive/install/share/chalmers-lava2000-1.0.1 Documentation installed in: /usr/local/tmp/archive/install/share/doc/chalmers-lava2000-1.0.1 Using alex version 2.2 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar Using c2hs version 0.15.1 found on system at: /usr/local/bin/c2hs Using cpphs version 0.7 found on system at: /usr/bin/cpphs Using ffihugs found on system at: /usr/local/bin/ffihugs Using ghc version 6.8.3 found on system at: /usr/local/bin/ghc Using ghc-pkg version 6.8.3 found on system at: /usr/local/bin/ghc-pkg No greencard found Using haddock version 2.3.0 found on system at: /usr/local/bin/haddock Using happy version 1.17 found on system at: /usr/local/bin/happy No hmake found Using hsc2hs version 0.66-ghc found on system at: /usr/local/bin/hsc2hs Using hscolour version 1.9 found on system at: /usr/local/bin/HsColour Using hugs found on system at: /usr/local/bin/hugs No jhc found Using ld found on system at: /usr/bin/ld No nhc98 found Using pkg-config version 0.22 found on system at: /usr/bin/pkg-config 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 *** setup build Creating dist/build (and its parents) Creating dist/build/autogen (and its parents) Preprocessing library chalmers-lava2000-1.0.1... Building chalmers-lava2000-1.0.1... Building library... Creating dist/build (and its parents) /usr/local/bin/ghc -package-name chalmers-lava2000-1.0.1 --make -hide-all-packages -i -idist/build/autogen -idist/build -i. -Idist/build -odir dist/build -hidir dist/build -stubdir dist/build -package base-3.0.2.0 -package haskell98-1.0.1.0 -package process-1.0.0.1 -O -fno-warn-overlapping-patterns -fno-warn-missing-methods -XRank2Types -XExistentialQuantification Lava2000 Lava2000.Arithmetic Lava2000.Captain Lava2000.Combinational Lava2000.ConstructiveAnalysis Lava2000.Eprover Lava2000.Error Lava2000.Fixit Lava2000.Generic Lava2000.HeerHugo Lava2000.IOBuffering Lava2000.Isc Lava2000.LavaDir Lava2000.LavaRandom Lava2000.Limmat Lava2000.Modoc Lava2000.MyST Lava2000.Netlist Lava2000.Operators Lava2000.Patterns Lava2000.Property Lava2000.Ref Lava2000.Retime Lava2000.Satnik Lava2000.Satzoo Lava2000.Sequent Lava2000.Sequential Lava2000.SequentialCircuits Lava2000.SequentialConstructive Lava2000.Signal Lava2000.SignalTry Lava2000.Smv Lava2000.Stable Lava2000.Table Lava2000.Test Lava2000.Verification Lava2000.Vhdl Lava2000.Vis Lava2000.Zchaff [ 1 of 39] Compiling Lava2000.LavaRandom ( Lava2000/LavaRandom.hs, dist/build/Lava2000/LavaRandom.o ) [ 2 of 39] Compiling Lava2000.MyST ( Lava2000/MyST.hs, dist/build/Lava2000/MyST.o ) [ 3 of 39] Compiling Lava2000.Ref ( Lava2000/Ref.hs, dist/build/Lava2000/Ref.o ) [ 4 of 39] Compiling Lava2000.SignalTry ( Lava2000/SignalTry.hs, dist/build/Lava2000/SignalTry.o ) [ 5 of 39] Compiling Lava2000.IOBuffering ( Lava2000/IOBuffering.hs, dist/build/Lava2000/IOBuffering.o ) [ 6 of 39] Compiling Lava2000.LavaDir ( Lava2000/LavaDir.hs, dist/build/Lava2000/LavaDir.o ) [ 7 of 39] Compiling Lava2000.Error ( Lava2000/Error.hs, dist/build/Lava2000/Error.o ) [ 8 of 39] Compiling Lava2000.Sequent ( Lava2000/Sequent.hs, dist/build/Lava2000/Sequent.o ) [ 9 of 39] Compiling Lava2000.Signal ( Lava2000/Signal.hs, dist/build/Lava2000/Signal.o ) [10 of 39] Compiling Lava2000.Generic ( Lava2000/Generic.hs, dist/build/Lava2000/Generic.o ) [11 of 39] Compiling Lava2000.Operators ( Lava2000/Operators.hs, dist/build/Lava2000/Operators.o ) [12 of 39] Compiling Lava2000.ConstructiveAnalysis ( Lava2000/ConstructiveAnalysis.hs, dist/build/Lava2000/ConstructiveAnalysis.o ) [13 of 39] Compiling Lava2000.Property ( Lava2000/Property.hs, dist/build/Lava2000/Property.o ) [14 of 39] Compiling Lava2000.Netlist ( Lava2000/Netlist.hs, dist/build/Lava2000/Netlist.o ) [15 of 39] Compiling Lava2000.Combinational ( Lava2000/Combinational.hs, dist/build/Lava2000/Combinational.o ) [16 of 39] Compiling Lava2000.Sequential ( Lava2000/Sequential.hs, dist/build/Lava2000/Sequential.o ) [17 of 39] Compiling Lava2000.Test ( Lava2000/Test.hs, dist/build/Lava2000/Test.o ) [18 of 39] Compiling Lava2000.SequentialConstructive ( Lava2000/SequentialConstructive.hs, dist/build/Lava2000/SequentialConstructive.o ) [19 of 39] Compiling Lava2000.Verification ( Lava2000/Verification.hs, dist/build/Lava2000/Verification.o ) [20 of 39] Compiling Lava2000.Vis ( Lava2000/Vis.hs, dist/build/Lava2000/Vis.o ) [21 of 39] Compiling Lava2000.Fixit ( Lava2000/Fixit.hs, dist/build/Lava2000/Fixit.o ) [22 of 39] Compiling Lava2000.Smv ( Lava2000/Smv.hs, dist/build/Lava2000/Smv.o ) [23 of 39] Compiling Lava2000.Satzoo ( Lava2000/Satzoo.hs, dist/build/Lava2000/Satzoo.o ) [24 of 39] Compiling Lava2000.Retime ( Lava2000/Retime.hs, dist/build/Lava2000/Retime.o ) [25 of 39] Compiling Lava2000.Vhdl ( Lava2000/Vhdl.hs, dist/build/Lava2000/Vhdl.o ) [26 of 39] Compiling Lava2000.Captain ( Lava2000/Captain.hs, dist/build/Lava2000/Captain.o ) [27 of 39] Compiling Lava2000.Eprover ( Lava2000/Eprover.hs, dist/build/Lava2000/Eprover.o ) [28 of 39] Compiling Lava2000.HeerHugo ( Lava2000/HeerHugo.hs, dist/build/Lava2000/HeerHugo.o ) [29 of 39] Compiling Lava2000.Isc ( Lava2000/Isc.hs, dist/build/Lava2000/Isc.o ) [30 of 39] Compiling Lava2000.Limmat ( Lava2000/Limmat.hs, dist/build/Lava2000/Limmat.o ) [31 of 39] Compiling Lava2000.Modoc ( Lava2000/Modoc.hs, dist/build/Lava2000/Modoc.o ) [32 of 39] Compiling Lava2000.Satnik ( Lava2000/Satnik.hs, dist/build/Lava2000/Satnik.o ) [33 of 39] Compiling Lava2000.Stable ( Lava2000/Stable.hs, dist/build/Lava2000/Stable.o ) [34 of 39] Compiling Lava2000.Table ( Lava2000/Table.hs, dist/build/Lava2000/Table.o ) [35 of 39] Compiling Lava2000.Zchaff ( Lava2000/Zchaff.hs, dist/build/Lava2000/Zchaff.o ) [36 of 39] Compiling Lava2000 ( Lava2000.hs, dist/build/Lava2000.o ) [37 of 39] Compiling Lava2000.Patterns ( Lava2000/Patterns.hs, dist/build/Lava2000/Patterns.o ) [38 of 39] Compiling Lava2000.Arithmetic ( Lava2000/Arithmetic.hs, dist/build/Lava2000/Arithmetic.o ) [39 of 39] Compiling Lava2000.SequentialCircuits ( Lava2000/SequentialCircuits.hs, dist/build/Lava2000/SequentialCircuits.o ) Linking... /usr/bin/ar q dist/build/libHSchalmers-lava2000-1.0.1.a dist/build/Lava2000.o dist/build/Lava2000/Arithmetic.o dist/build/Lava2000/Captain.o dist/build/Lava2000/Combinational.o dist/build/Lava2000/ConstructiveAnalysis.o dist/build/Lava2000/Eprover.o dist/build/Lava2000/Error.o dist/build/Lava2000/Fixit.o dist/build/Lava2000/Generic.o dist/build/Lava2000/HeerHugo.o dist/build/Lava2000/IOBuffering.o dist/build/Lava2000/Isc.o dist/build/Lava2000/LavaDir.o dist/build/Lava2000/LavaRandom.o dist/build/Lava2000/Limmat.o dist/build/Lava2000/Modoc.o dist/build/Lava2000/MyST.o dist/build/Lava2000/Netlist.o dist/build/Lava2000/Operators.o dist/build/Lava2000/Patterns.o dist/build/Lava2000/Property.o dist/build/Lava2000/Ref.o dist/build/Lava2000/Retime.o dist/build/Lava2000/Satnik.o dist/build/Lava2000/Satzoo.o dist/build/Lava2000/Sequent.o dist/build/Lava2000/Sequential.o dist/build/Lava2000/SequentialCircuits.o dist/build/Lava2000/SequentialConstructive.o dist/build/Lava2000/Signal.o dist/build/Lava2000/SignalTry.o dist/build/Lava2000/Smv.o dist/build/Lava2000/Stable.o dist/build/Lava2000/Table.o dist/build/Lava2000/Test.o dist/build/Lava2000/Verification.o dist/build/Lava2000/Vhdl.o dist/build/Lava2000/Vis.o dist/build/Lava2000/Zchaff.o /usr/bin/ar: creating dist/build/libHSchalmers-lava2000-1.0.1.a /usr/bin/ld -x -r -o dist/build/HSchalmers-lava2000-1.0.1.o.tmp dist/build/Lava2000.o dist/build/Lava2000/Arithmetic.o dist/build/Lava2000/Captain.o dist/build/Lava2000/Combinational.o dist/build/Lava2000/ConstructiveAnalysis.o dist/build/Lava2000/Eprover.o dist/build/Lava2000/Error.o dist/build/Lava2000/Fixit.o dist/build/Lava2000/Generic.o dist/build/Lava2000/HeerHugo.o dist/build/Lava2000/IOBuffering.o dist/build/Lava2000/Isc.o dist/build/Lava2000/LavaDir.o dist/build/Lava2000/LavaRandom.o dist/build/Lava2000/Limmat.o dist/build/Lava2000/Modoc.o dist/build/Lava2000/MyST.o dist/build/Lava2000/Netlist.o dist/build/Lava2000/Operators.o dist/build/Lava2000/Patterns.o dist/build/Lava2000/Property.o dist/build/Lava2000/Ref.o dist/build/Lava2000/Retime.o dist/build/Lava2000/Satnik.o dist/build/Lava2000/Satzoo.o dist/build/Lava2000/Sequent.o dist/build/Lava2000/Sequential.o dist/build/Lava2000/SequentialCircuits.o dist/build/Lava2000/SequentialConstructive.o dist/build/Lava2000/Signal.o dist/build/Lava2000/SignalTry.o dist/build/Lava2000/Smv.o dist/build/Lava2000/Stable.o dist/build/Lava2000/Table.o dist/build/Lava2000/Test.o dist/build/Lava2000/Verification.o dist/build/Lava2000/Vhdl.o dist/build/Lava2000/Vis.o dist/build/Lava2000/Zchaff.o *** setup haddock Creating dist/doc/html/chalmers-lava2000 (and its parents) Preprocessing library chalmers-lava2000-1.0.1... Running hscolour for chalmers-lava2000-1.0.1... Creating dist/doc/html/chalmers-lava2000/src (and its parents) /usr/local/bin/HsColour -print-css -odist/doc/html/chalmers-lava2000/src/hscolour.css /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000.html Lava2000.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Arithmetic.html Lava2000/Arithmetic.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Captain.html Lava2000/Captain.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Combinational.html Lava2000/Combinational.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-ConstructiveAnalysis.html Lava2000/ConstructiveAnalysis.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Eprover.html Lava2000/Eprover.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Error.html Lava2000/Error.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Fixit.html Lava2000/Fixit.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Generic.html Lava2000/Generic.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-HeerHugo.html Lava2000/HeerHugo.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-IOBuffering.html Lava2000/IOBuffering.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Isc.html Lava2000/Isc.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-LavaDir.html Lava2000/LavaDir.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-LavaRandom.html Lava2000/LavaRandom.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Limmat.html Lava2000/Limmat.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Modoc.html Lava2000/Modoc.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-MyST.html Lava2000/MyST.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Netlist.html Lava2000/Netlist.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Operators.html Lava2000/Operators.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Patterns.html Lava2000/Patterns.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Property.html Lava2000/Property.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Ref.html Lava2000/Ref.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Retime.html Lava2000/Retime.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Satnik.html Lava2000/Satnik.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Satzoo.html Lava2000/Satzoo.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Sequent.html Lava2000/Sequent.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Sequential.html Lava2000/Sequential.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-SequentialCircuits.html Lava2000/SequentialCircuits.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-SequentialConstructive.html Lava2000/SequentialConstructive.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Signal.html Lava2000/Signal.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-SignalTry.html Lava2000/SignalTry.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Smv.html Lava2000/Smv.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Stable.html Lava2000/Stable.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Table.html Lava2000/Table.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Test.html Lava2000/Test.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Verification.html Lava2000/Verification.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Vhdl.html Lava2000/Vhdl.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Vis.html Lava2000/Vis.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/chalmers-lava2000/src/Lava2000-Zchaff.html Lava2000/Zchaff.hs Creating dist/build/tmp (and its parents) Creating dist/doc/html/chalmers-lava2000 (and its parents) Preprocessing library chalmers-lava2000-1.0.1... Running Haddock for chalmers-lava2000-1.0.1... /usr/local/bin/haddock --use-contents=http://hackage.haskell.org/cgi-bin/hackage-scripts/package/chalmers-lava2000-1.0.1 --ghc-version /usr/local/bin/ghc --print-libdir Creating dist/build (and its parents) Creating dist/build/autogen (and its parents) Preprocessing library chalmers-lava2000-1.0.1... /usr/local/bin/haddock --use-contents=http://hackage.haskell.org/cgi-bin/hackage-scripts/package/chalmers-lava2000-1.0.1 --html --odir=dist/doc/html/chalmers-lava2000 --title=chalmers-lava2000-1.0.1: Hardware description library --dump-interface=dist/doc/html/chalmers-lava2000/chalmers-lava2000.haddock --prologue=dist/chalmers-lava2000-1.0.1-haddock-prolog455.txt --optghc=-package-name --optghc=chalmers-lava2000-1.0.1 --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --read-interface=http://hackage.haskell.org/packages/archive/base/3.0.2.0/doc/html,/usr/local/share/doc/ghc/libraries/base/base.haddock --read-interface=http://hackage.haskell.org/packages/archive/haskell98/1.0.1.0/doc/html,/usr/local/share/doc/ghc/libraries/haskell98/haskell98.haddock --read-interface=http://hackage.haskell.org/packages/archive/process/1.0.0.1/doc/html,/usr/local/share/doc/ghc/libraries/process/process.haddock --use-contents=http://hackage.haskell.org/cgi-bin/hackage-scripts/package/chalmers-lava2000-1.0.1 -B/usr/local/lib/ghc-6.8.3 --optghc=-hide-all-packages --optghc=-package --optghc=base-3.0.2.0 --optghc=-package --optghc=haskell98-1.0.1.0 --optghc=-package --optghc=process-1.0.0.1 --optghc=-i --optghc=-fno-warn-overlapping-patterns --optghc=-fno-warn-missing-methods --optghc=-idist/build/autogen --optghc=-i. --optghc=-idist/build --optghc=-odir --optghc=dist/build --optghc=-hidir --optghc=dist/build --optghc=-XRank2Types --optghc=-XExistentialQuantification Lava2000 Lava2000.Arithmetic Lava2000.Captain Lava2000.Combinational Lava2000.ConstructiveAnalysis Lava2000.Eprover Lava2000.Error Lava2000.Fixit Lava2000.Generic Lava2000.HeerHugo Lava2000.IOBuffering Lava2000.Isc Lava2000.LavaDir Lava2000.LavaRandom Lava2000.Limmat Lava2000.Modoc Lava2000.MyST Lava2000.Netlist Lava2000.Operators Lava2000.Patterns Lava2000.Property Lava2000.Ref Lava2000.Retime Lava2000.Satnik Lava2000.Satzoo Lava2000.Sequent Lava2000.Sequential Lava2000.SequentialCircuits Lava2000.SequentialConstructive Lava2000.Signal Lava2000.SignalTry Lava2000.Smv Lava2000.Stable Lava2000.Table Lava2000.Test Lava2000.Verification Lava2000.Vhdl Lava2000.Vis Lava2000.Zchaff Lava2000/Ref.hs:2:14: parse error in doc string haddock: Failed to create dependecy graph