*** setup configure Configuring ivor-0.1.14.1... Dependency base >=3 && <5: using base-4.3.1.0 Dependency binary -any: using binary-0.5.0.2 Dependency containers -any: using containers-0.4.0.0 Dependency directory -any: using directory-1.1.0.0 Dependency haskell98 -any: using haskell98-1.1.0.1 Dependency mtl -any: using mtl-2.0.1.0 Dependency parsec -any: using parsec-3.1.1 Using Cabal-1.10.2.0 compiled by ghc-7.0 Using compiler: ghc-7.0.4 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/ivor-0.1.14.1/ghc-7.0.4 Private binaries installed in: /usr/local/tmp/archive/install/libexec Data files installed in: /usr/local/tmp/archive/install/share/ivor-0.1.14.1 Documentation installed in: /usr/local/tmp/archive/install/share/doc/ivor-0.1.14.1 Using alex version 2.3.3 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar Using c2hs version 0.16.0 found on system at: /usr/local/bin/c2hs Using cpphs version 1.11 found on system at: /usr/local/bin/cpphs Using ffihugs found on system at: /usr/local/bin/ffihugs Using gcc version 4.5.3 found on system at: /usr/bin/gcc Using ghc version 7.0.4 found on system at: /usr/local/bin/ghc Using ghc-pkg version 7.0.4 found on system at: /usr/local/bin/ghc-pkg No greencard found Using haddock version 2.9.2 found on system at: /usr/local/bin/haddock Using happy version 1.18.6 found on system at: /usr/local/bin/happy No hmake found Using hsc2hs version 0.67 found on system at: /usr/local/bin/hsc2hs Using hscolour version 1.17 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 lhc found No lhc-pkg found No nhc98 found Using pkg-config version 0.26 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 No uhc found *** setup build creating dist/build creating dist/build/autogen Preprocessing library ivor-0.1.14.1... Building ivor-0.1.14.1... Building library... creating dist/build /usr/local/bin/ghc --make -package-name ivor-0.1.14.1 -hide-all-packages -fbuilding-cabal-package -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -odir dist/build -hidir dist/build -stubdir dist/build -package-id base-4.3.1.0-4582a5bc64f22f03f6d960b4f15c981f -package-id binary-0.5.0.2-664c8a2e48ab3d054fada951de472070 -package-id containers-0.4.0.0-f1307d32d8f4b51a1487c01f0997b6d9 -package-id directory-1.1.0.0-95cc9241c454ad659291443824c9e1e2 -package-id haskell98-1.1.0.1-0d7fcd30208df558c4f77ae4850f8f1a -package-id mtl-2.0.1.0-3e464329054b7660133198d73c31aca5 -package-id parsec-3.1.1-2c865593139c5f6458072364965b72ff -O -XHaskell98 -XMultiParamTypeClasses -XFunctionalDependencies -XExistentialQuantification -XOverlappingInstances -XTypeSynonymInstances -XPatternGuards Ivor.TT Ivor.CtxtTT Ivor.EvalTT Ivor.Shell Ivor.Primitives Ivor.TermParser Ivor.ViewTerm Ivor.Equality Ivor.Plugin Ivor.Construction Ivor.Nobby Ivor.TTCore Ivor.State Ivor.Tactics Ivor.Typecheck Ivor.Evaluator Ivor.Gadgets Ivor.Values Ivor.Datatype Ivor.Display Ivor.MakeData Ivor.Unify Ivor.ShellParser Ivor.Constant Ivor.Errors Ivor.PatternDefs Ivor.ShellState Ivor.Scopecheck Ivor.Overloading Ivor.PMComp Paths_ivor [ 1 of 31] Compiling Paths_ivor ( dist/build/autogen/Paths_ivor.hs, dist/build/Paths_ivor.o ) Ivor/Constant.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Construction.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Display.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Equality.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Errors.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Evaluator.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Gadgets.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Nobby.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/PMComp.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/PatternDefs.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Plugin.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Primitives.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Scopecheck.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Shell.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/ShellState.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/TTCore.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Typecheck.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Unify.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/Values.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/ViewTerm.lhs:1:18: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Ivor/ViewTerm.lhs:1:18: Warning: -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead [ 2 of 31] Compiling Ivor.Constant ( Ivor/Constant.lhs, dist/build/Ivor/Constant.o ) [ 3 of 31] Compiling Ivor.Gadgets ( Ivor/Gadgets.lhs, dist/build/Ivor/Gadgets.o ) [ 4 of 31] Compiling Ivor.TTCore ( Ivor/TTCore.lhs, dist/build/Ivor/TTCore.o ) [ 5 of 31] Compiling Ivor.Errors ( Ivor/Errors.lhs, dist/build/Ivor/Errors.o ) [ 6 of 31] Compiling Ivor.Values ( Ivor/Values.lhs, dist/build/Ivor/Values.o ) [ 7 of 31] Compiling Ivor.Nobby ( Ivor/Nobby.lhs, dist/build/Ivor/Nobby.o ) [ 8 of 31] Compiling Ivor.Evaluator ( Ivor/Evaluator.lhs, dist/build/Ivor/Evaluator.o ) [ 9 of 31] Compiling Ivor.PMComp ( Ivor/PMComp.lhs, dist/build/Ivor/PMComp.o ) [10 of 31] Compiling Ivor.Unify ( Ivor/Unify.lhs, dist/build/Ivor/Unify.o ) [11 of 31] Compiling Ivor.Overloading ( Ivor/Overloading.lhs, dist/build/Ivor/Overloading.o ) [12 of 31] Compiling Ivor.Typecheck ( Ivor/Typecheck.lhs, dist/build/Ivor/Typecheck.o ) [13 of 31] Compiling Ivor.Scopecheck ( Ivor/Scopecheck.lhs, dist/build/Ivor/Scopecheck.o ) [14 of 31] Compiling Ivor.Tactics ( Ivor/Tactics.lhs, dist/build/Ivor/Tactics.o ) [15 of 31] Compiling Ivor.PatternDefs ( Ivor/PatternDefs.lhs, dist/build/Ivor/PatternDefs.o ) [16 of 31] Compiling Ivor.Datatype ( Ivor/Datatype.lhs, dist/build/Ivor/Datatype.o ) [17 of 31] Compiling Ivor.MakeData ( Ivor/MakeData.lhs, dist/build/Ivor/MakeData.o ) [18 of 31] Compiling Ivor.Display ( Ivor/Display.lhs, dist/build/Ivor/Display.o ) [19 of 31] Compiling Ivor.State ( Ivor/State.lhs, dist/build/Ivor/State.o ) [20 of 31] Compiling Ivor.ViewTerm ( Ivor/ViewTerm.lhs, dist/build/Ivor/ViewTerm.o ) [21 of 31] Compiling Ivor.TermParser ( Ivor/TermParser.lhs, dist/build/Ivor/TermParser.o ) [22 of 31] Compiling Ivor.CtxtTT ( Ivor/CtxtTT.lhs, dist/build/Ivor/CtxtTT.o ) [23 of 31] Compiling Ivor.EvalTT ( Ivor/EvalTT.lhs, dist/build/Ivor/EvalTT.o ) [24 of 31] Compiling Ivor.TT ( Ivor/TT.lhs, dist/build/Ivor/TT.o ) [25 of 31] Compiling Ivor.ShellState ( Ivor/ShellState.lhs, dist/build/Ivor/ShellState.o ) [26 of 31] Compiling Ivor.ShellParser ( Ivor/ShellParser.lhs, dist/build/Ivor/ShellParser.o ) [27 of 31] Compiling Ivor.Construction ( Ivor/Construction.lhs, dist/build/Ivor/Construction.o ) [28 of 31] Compiling Ivor.Equality ( Ivor/Equality.lhs, dist/build/Ivor/Equality.o ) [29 of 31] Compiling Ivor.Primitives ( Ivor/Primitives.lhs, dist/build/Ivor/Primitives.o ) [30 of 31] Compiling Ivor.Plugin ( Ivor/Plugin.lhs, dist/build/Ivor/Plugin.o ) [31 of 31] Compiling Ivor.Shell ( Ivor/Shell.lhs, dist/build/Ivor/Shell.o ) Linking... /usr/bin/ar -r dist/build/libHSivor-0.1.14.1.a dist/build/Ivor/TT.o dist/build/Ivor/CtxtTT.o dist/build/Ivor/EvalTT.o dist/build/Ivor/Shell.o dist/build/Ivor/Primitives.o dist/build/Ivor/TermParser.o dist/build/Ivor/ViewTerm.o dist/build/Ivor/Equality.o dist/build/Ivor/Plugin.o dist/build/Ivor/Construction.o dist/build/Ivor/Nobby.o dist/build/Ivor/TTCore.o dist/build/Ivor/State.o dist/build/Ivor/Tactics.o dist/build/Ivor/Typecheck.o dist/build/Ivor/Evaluator.o dist/build/Ivor/Gadgets.o dist/build/Ivor/Values.o dist/build/Ivor/Datatype.o dist/build/Ivor/Display.o dist/build/Ivor/MakeData.o dist/build/Ivor/Unify.o dist/build/Ivor/ShellParser.o dist/build/Ivor/Constant.o dist/build/Ivor/Errors.o dist/build/Ivor/PatternDefs.o dist/build/Ivor/ShellState.o dist/build/Ivor/Scopecheck.o dist/build/Ivor/Overloading.o dist/build/Ivor/PMComp.o dist/build/Paths_ivor.o /usr/bin/ar: creating dist/build/libHSivor-0.1.14.1.a /usr/bin/ld -x -r -o dist/build/HSivor-0.1.14.1.o dist/build/Ivor/TT.o dist/build/Ivor/CtxtTT.o dist/build/Ivor/EvalTT.o dist/build/Ivor/Shell.o dist/build/Ivor/Primitives.o dist/build/Ivor/TermParser.o dist/build/Ivor/ViewTerm.o dist/build/Ivor/Equality.o dist/build/Ivor/Plugin.o dist/build/Ivor/Construction.o dist/build/Ivor/Nobby.o dist/build/Ivor/TTCore.o dist/build/Ivor/State.o dist/build/Ivor/Tactics.o dist/build/Ivor/Typecheck.o dist/build/Ivor/Evaluator.o dist/build/Ivor/Gadgets.o dist/build/Ivor/Values.o dist/build/Ivor/Datatype.o dist/build/Ivor/Display.o dist/build/Ivor/MakeData.o dist/build/Ivor/Unify.o dist/build/Ivor/ShellParser.o dist/build/Ivor/Constant.o dist/build/Ivor/Errors.o dist/build/Ivor/PatternDefs.o dist/build/Ivor/ShellState.o dist/build/Ivor/Scopecheck.o dist/build/Ivor/Overloading.o dist/build/Ivor/PMComp.o dist/build/Paths_ivor.o Registering ivor-0.1.14.1... /usr/local/bin/ghc-pkg update - --global --user --package-conf=dist/package.conf.inplace *** setup haddock Running Haddock for ivor-0.1.14.1... /usr/local/bin/haddock --ghc-version --use-contents=/package/ivor-0.1.14.1 --built-in-themes creating dist/build creating dist/build/autogen Preprocessing library ivor-0.1.14.1... Running hscolour for ivor-0.1.14.1... creating dist/doc/html/ivor creating dist/doc/html creating dist/doc creating dist/doc/html creating dist/doc/html/ivor creating dist/doc/html/ivor/src /usr/local/bin/HsColour -print-css -odist/doc/html/ivor/src/hscolour.css /usr/local/bin/HsColour -css -anchor -odist/doc/html/ivor/src/Ivor-TT.html Ivor/TT.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/ivor/src/Ivor-CtxtTT.html Ivor/CtxtTT.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/ivor/src/Ivor-EvalTT.html Ivor/EvalTT.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/ivor/src/Ivor-Shell.html Ivor/Shell.lhs /usr/local/bin/HsColour -css -anchor -odist/doc/html/ivor/src/Ivor-Primitives.html Ivor/Primitives.lhs HsColour: Ivor/Primitives.lhs: hGetContents: invalid argument (invalid UTF-8 byte sequence)