Configuring ChasingBottoms-1.3.0.13...
Dependency QuickCheck ==2.8.1: using QuickCheck-2.8.1
Dependency base ==4.8.1.0: using base-4.8.1.0
Dependency containers ==0.5.6.2: using containers-0.5.6.2
Dependency mtl ==2.2.1: using mtl-2.2.1
Dependency random ==1.1: using random-1.1
Dependency syb ==0.5.1: using syb-0.5.1
Using Cabal-1.22.4.0 compiled by ghc-7.10
Using compiler: ghc-7.10.2
Using install prefix:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2
Binaries installed in:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin
Libraries installed in:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz
Private binaries installed in:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/libexec
Data files installed in:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13
Documentation installed in:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/doc/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13
Configuration files installed in:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/etc
Using alex version 3.1.4 found on system at:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/alex
Using ar found on system at: /usr/bin/ar
No c2hs found
Using cpphs version 1.19.3 found on system at:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/cpphs
Using gcc version 4.8 found on system at: /usr/bin/gcc
Using ghc version 7.10.2 found on system at:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc
Using ghc-pkg version 7.10.2 found on system at:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc-pkg
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.16.1 found on system at:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/haddock
Using happy version 1.19.5 found on system at:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/happy
Using haskell-suite found on system at: haskell-suite-dummy-location
Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
No hmake found
Using hpc version 0.67 found on system at:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/hpc
Using hsc2hs version 0.67 found on system at:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/hsc2hs
Using hscolour version 1.22 found on system at:
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/HsColour
No jhc found
Using ld found on system at: /usr/bin/ld
No lhc found
No lhc-pkg found
Using pkg-config version 0.26 found on system at: /usr/bin/pkg-config
Using strip version 2.24 found on system at: /usr/bin/strip
Using tar found on system at: /bin/tar
No uhc found
Component build order: library
creating dist/build
creating dist/build/autogen
Building ChasingBottoms-1.3.0.13...
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc-pkg init dist/package.conf.inplace
Preprocessing library ChasingBottoms-1.3.0.13...
Building library...
creating dist/build
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --make -fbuilding-cabal-package -O -static -dynamic-too -dynosuf dyn_o -dynhisuf dyn_hi -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-include -optPdist/build/autogen/cabal_macros.h -this-package-key Chasi_GZq3tKIV5D5E5aqg8Kv7dz -hide-all-packages -no-user-package-db -package-db dist/package.conf.inplace -package-id QuickCheck-2.8.1-b8cde035baf86e10569b5c8f1da0c941 -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id mtl-2.2.1-5cf332b11edb88a6040af20fd6a58acb -package-id random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1 -package-id syb-0.5.1-09089498a055bd723b4a95c1351d3c8a -XHaskell98 Test.ChasingBottoms Test.ChasingBottoms.Approx Test.ChasingBottoms.ApproxShow Test.ChasingBottoms.ContinuousFunctions Test.ChasingBottoms.IsBottom Test.ChasingBottoms.Nat Test.ChasingBottoms.SemanticOrd Test.ChasingBottoms.TimeOut Test.ChasingBottoms.IsType
[ 1 of 10] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, dist/build/Test/ChasingBottoms/IsType.o )
[ 2 of 10] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, dist/build/Test/ChasingBottoms/Nat.o )
[ 3 of 10] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, dist/build/Test/ChasingBottoms/IsBottom.o-boot )
[ 4 of 10] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, dist/build/Test/ChasingBottoms/TimeOut.o )
[ 5 of 10] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, dist/build/Test/ChasingBottoms/IsBottom.o )
[ 6 of 10] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, dist/build/Test/ChasingBottoms/ApproxShow.o )
[ 7 of 10] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, dist/build/Test/ChasingBottoms/Approx.o )
[ 8 of 10] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, dist/build/Test/ChasingBottoms/SemanticOrd.o )
[ 9 of 10] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, dist/build/Test/ChasingBottoms/ContinuousFunctions.o )
[10 of 10] Compiling Test.ChasingBottoms ( Test/ChasingBottoms.hs, dist/build/Test/ChasingBottoms.o )
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --make -fbuilding-cabal-package -O -prof -osuf p_o -hisuf p_hi -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-include -optPdist/build/autogen/cabal_macros.h -this-package-key Chasi_GZq3tKIV5D5E5aqg8Kv7dz -hide-all-packages -no-user-package-db -package-db dist/package.conf.inplace -package-id QuickCheck-2.8.1-b8cde035baf86e10569b5c8f1da0c941 -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id mtl-2.2.1-5cf332b11edb88a6040af20fd6a58acb -package-id random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1 -package-id syb-0.5.1-09089498a055bd723b4a95c1351d3c8a -XHaskell98 Test.ChasingBottoms Test.ChasingBottoms.Approx Test.ChasingBottoms.ApproxShow Test.ChasingBottoms.ContinuousFunctions Test.ChasingBottoms.IsBottom Test.ChasingBottoms.Nat Test.ChasingBottoms.SemanticOrd Test.ChasingBottoms.TimeOut Test.ChasingBottoms.IsType
[ 1 of 10] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, dist/build/Test/ChasingBottoms/IsType.p_o )
[ 2 of 10] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, dist/build/Test/ChasingBottoms/Nat.p_o )
[ 3 of 10] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, dist/build/Test/ChasingBottoms/IsBottom.p_o-boot )
[ 4 of 10] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, dist/build/Test/ChasingBottoms/TimeOut.p_o )
[ 5 of 10] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, dist/build/Test/ChasingBottoms/IsBottom.p_o )
[ 6 of 10] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, dist/build/Test/ChasingBottoms/ApproxShow.p_o )
[ 7 of 10] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, dist/build/Test/ChasingBottoms/Approx.p_o )
[ 8 of 10] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, dist/build/Test/ChasingBottoms/SemanticOrd.p_o )
[ 9 of 10] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, dist/build/Test/ChasingBottoms/ContinuousFunctions.p_o )
[10 of 10] Compiling Test.ChasingBottoms ( Test/ChasingBottoms.hs, dist/build/Test/ChasingBottoms.p_o )
Linking...
[(InstalledPackageId
"QuickCheck-2.8.1-b8cde035baf86e10569b5c8f1da0c941",PackageIdentifier {pkgName
= PackageName {unPackageName = "QuickCheck"}, pkgVersion = Version
{versionBranch = [2,8,1], versionTags = []}},ModuleRenaming True
[]),(InstalledPackageId
"base-4.8.1.0-4f7206fd964c629946bb89db72c80011",PackageIdentifier {pkgName =
PackageName {unPackageName = "base"}, pkgVersion = Version {versionBranch =
[4,8,1,0], versionTags = []}},ModuleRenaming True []),(InstalledPackageId
"containers-0.5.6.2-2de75421d746ab474b330e43191bb31b",PackageIdentifier
{pkgName = PackageName {unPackageName = "containers"}, pkgVersion = Version
{versionBranch = [0,5,6,2], versionTags = []}},ModuleRenaming True
[]),(InstalledPackageId
"mtl-2.2.1-5cf332b11edb88a6040af20fd6a58acb",PackageIdentifier {pkgName =
PackageName {unPackageName = "mtl"}, pkgVersion = Version {versionBranch =
[2,2,1], versionTags = []}},ModuleRenaming True []),(InstalledPackageId
"random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1",PackageIdentifier {pkgName =
PackageName {unPackageName = "random"}, pkgVersion = Version {versionBranch =
[1,1], versionTags = []}},ModuleRenaming True []),(InstalledPackageId
"syb-0.5.1-09089498a055bd723b4a95c1351d3c8a",PackageIdentifier {pkgName =
PackageName {unPackageName = "syb"}, pkgVersion = Version {versionBranch =
[0,5,1], versionTags = []}},ModuleRenaming True [])]
/usr/bin/ar -r dist/build/objs-18199/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz.a dist/build/Test/ChasingBottoms.o dist/build/Test/ChasingBottoms/Approx.o dist/build/Test/ChasingBottoms/ApproxShow.o dist/build/Test/ChasingBottoms/ContinuousFunctions.o dist/build/Test/ChasingBottoms/IsBottom.o dist/build/Test/ChasingBottoms/Nat.o dist/build/Test/ChasingBottoms/SemanticOrd.o dist/build/Test/ChasingBottoms/TimeOut.o dist/build/Test/ChasingBottoms/IsType.o
/usr/bin/ar: creating dist/build/objs-18199/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz.a
/usr/bin/strip dist/build/objs-18199/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz.a --strip-unneeded
/usr/bin/ar -r dist/build/objs-18199/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz_p.a dist/build/Test/ChasingBottoms.p_o dist/build/Test/ChasingBottoms/Approx.p_o dist/build/Test/ChasingBottoms/ApproxShow.p_o dist/build/Test/ChasingBottoms/ContinuousFunctions.p_o dist/build/Test/ChasingBottoms/IsBottom.p_o dist/build/Test/ChasingBottoms/Nat.p_o dist/build/Test/ChasingBottoms/SemanticOrd.p_o dist/build/Test/ChasingBottoms/TimeOut.p_o dist/build/Test/ChasingBottoms/IsType.p_o
/usr/bin/ar: creating dist/build/objs-18199/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz_p.a
/usr/bin/strip dist/build/objs-18199/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz_p.a --strip-unneeded
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc -shared -dynamic -L/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 '-dynload deploy' -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/QuickCheck-2.8.1-1fWvpr9QgXz0phpE20gfU8 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/array_E0sTtauuKsGDLZoT7lTbgZ -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/base_GDytRqRVSUX7zckgKqJjgw -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/rts -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/conta_LKCPrTJwOTOLk4OU37YmeN -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/deeps_LbCWUlehDDeLxurARKDH5o -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/ghcpr_8TmvWUcS1U1IKHT0levwg3 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/integ_2aU3IZNMF9a7mQ0OzsZ0dS -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/mtl_KMpng31YRYc5JfMWFZ3FCU -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/prett_7UQTOB05U7lIYPkFOVraeR -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/primitive-0.6-3d4UsQu7pJCEtlsxN3gLjk -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/rando_1z8Ujelqc6aKgvPnbRUKkP -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/syb-0.5.1-8qmIMcBFhWM7BKRUTFb5M4 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/templ_1ejK907jvoTHoZ6iZtHeyN -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/tf-random-0.5-926BwEbiHzi7pBkp4dTxOe -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/time_AXTdBF9VRQoBOqJT6qtmVH -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/trans_3eG64VdP2vzGjP6wJiCp5X -this-package-key Chasi_GZq3tKIV5D5E5aqg8Kv7dz -no-auto-link-packages -no-user-package-db -package-db dist/package.conf.inplace -package-id QuickCheck-2.8.1-b8cde035baf86e10569b5c8f1da0c941 -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id mtl-2.2.1-5cf332b11edb88a6040af20fd6a58acb -package-id random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1 -package-id syb-0.5.1-09089498a055bd723b4a95c1351d3c8a dist/build/Test/ChasingBottoms.dyn_o dist/build/Test/ChasingBottoms/Approx.dyn_o dist/build/Test/ChasingBottoms/ApproxShow.dyn_o dist/build/Test/ChasingBottoms/ContinuousFunctions.dyn_o dist/build/Test/ChasingBottoms/IsBottom.dyn_o dist/build/Test/ChasingBottoms/Nat.dyn_o dist/build/Test/ChasingBottoms/SemanticOrd.dyn_o dist/build/Test/ChasingBottoms/TimeOut.dyn_o dist/build/Test/ChasingBottoms/IsType.dyn_o -o dist/build/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz-ghc7.10.2.so
In-place registering ChasingBottoms-1.3.0.13...
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc-pkg update - --global --no-user-package-db '--package-db=dist/package.conf.inplace'
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --abi-hash -fbuilding-cabal-package -O -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-include -optPdist/build/autogen/cabal_macros.h -this-package-key Chasi_GZq3tKIV5D5E5aqg8Kv7dz -hide-all-packages -no-user-package-db -package-id QuickCheck-2.8.1-b8cde035baf86e10569b5c8f1da0c941 -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id mtl-2.2.1-5cf332b11edb88a6040af20fd6a58acb -package-id random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1 -package-id syb-0.5.1-09089498a055bd723b4a95c1351d3c8a -XHaskell98 Test.ChasingBottoms Test.ChasingBottoms.Approx Test.ChasingBottoms.ApproxShow Test.ChasingBottoms.ContinuousFunctions Test.ChasingBottoms.IsBottom Test.ChasingBottoms.Nat Test.ChasingBottoms.SemanticOrd Test.ChasingBottoms.TimeOut
Creating package registration file:
/tmp/pkgConf-ChasingBottoms-1.3.03056369891244683190.13
directory dist/doc/html/ChasingBottoms does exist: False
creating
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/doc/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13
Installing LICENCE to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/doc/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13/LICENCE
Installing library in
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz
creating
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test
creating
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz
creating
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test
creating
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms
Installing dist/build/Test/ChasingBottoms.hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms.hi
Installing dist/build/Test/ChasingBottoms/Approx.hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/Approx.hi
Installing dist/build/Test/ChasingBottoms/ApproxShow.hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/ApproxShow.hi
Installing dist/build/Test/ChasingBottoms/ContinuousFunctions.hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/ContinuousFunctions.hi
Installing dist/build/Test/ChasingBottoms/IsBottom.hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/IsBottom.hi
Installing dist/build/Test/ChasingBottoms/Nat.hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/Nat.hi
Installing dist/build/Test/ChasingBottoms/SemanticOrd.hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/SemanticOrd.hi
Installing dist/build/Test/ChasingBottoms/TimeOut.hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/TimeOut.hi
Installing dist/build/Test/ChasingBottoms/IsType.hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/IsType.hi
creating
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test
creating
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms
Installing dist/build/Test/ChasingBottoms.p_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms.p_hi
Installing dist/build/Test/ChasingBottoms/Approx.p_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/Approx.p_hi
Installing dist/build/Test/ChasingBottoms/ApproxShow.p_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/ApproxShow.p_hi
Installing dist/build/Test/ChasingBottoms/ContinuousFunctions.p_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/ContinuousFunctions.p_hi
Installing dist/build/Test/ChasingBottoms/IsBottom.p_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/IsBottom.p_hi
Installing dist/build/Test/ChasingBottoms/Nat.p_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/Nat.p_hi
Installing dist/build/Test/ChasingBottoms/SemanticOrd.p_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/SemanticOrd.p_hi
Installing dist/build/Test/ChasingBottoms/TimeOut.p_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/TimeOut.p_hi
Installing dist/build/Test/ChasingBottoms/IsType.p_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/IsType.p_hi
creating
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test
creating
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms
Installing dist/build/Test/ChasingBottoms.dyn_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms.dyn_hi
Installing dist/build/Test/ChasingBottoms/Approx.dyn_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/Approx.dyn_hi
Installing dist/build/Test/ChasingBottoms/ApproxShow.dyn_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/ApproxShow.dyn_hi
Installing dist/build/Test/ChasingBottoms/ContinuousFunctions.dyn_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/ContinuousFunctions.dyn_hi
Installing dist/build/Test/ChasingBottoms/IsBottom.dyn_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/IsBottom.dyn_hi
Installing dist/build/Test/ChasingBottoms/Nat.dyn_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/Nat.dyn_hi
Installing dist/build/Test/ChasingBottoms/SemanticOrd.dyn_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/SemanticOrd.dyn_hi
Installing dist/build/Test/ChasingBottoms/TimeOut.dyn_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/TimeOut.dyn_hi
Installing dist/build/Test/ChasingBottoms/IsType.dyn_hi to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/Test/ChasingBottoms/IsType.dyn_hi
creating
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz
Installing dist/build/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz.a to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz.a
creating
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz
Installing dist/build/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz_p.a
to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz_p.a
creating
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz
/usr/bin/strip dist/build/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz-ghc7.10.2.so --strip-unneeded
Installing executable
dist/build/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz-ghc7.10.2.so to
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/ChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz/libHSChasingBottoms-1.3.0.13-GZq3tKIV5D5E5aqg8Kv7dz-ghc7.10.2.so
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --abi-hash -fbuilding-cabal-package -O -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-include -optPdist/build/autogen/cabal_macros.h -this-package-key Chasi_GZq3tKIV5D5E5aqg8Kv7dz -hide-all-packages -no-user-package-db -package-id QuickCheck-2.8.1-b8cde035baf86e10569b5c8f1da0c941 -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id mtl-2.2.1-5cf332b11edb88a6040af20fd6a58acb -package-id random-1.1-19f24a9117ee66b96a6e2cbdda5f9ba1 -package-id syb-0.5.1-09089498a055bd723b4a95c1351d3c8a -XHaskell98 Test.ChasingBottoms Test.ChasingBottoms.Approx Test.ChasingBottoms.ApproxShow Test.ChasingBottoms.ContinuousFunctions Test.ChasingBottoms.IsBottom Test.ChasingBottoms.Nat Test.ChasingBottoms.SemanticOrd Test.ChasingBottoms.TimeOut
Registering ChasingBottoms-1.3.0.13...
/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc-pkg update - --global --no-user-package-db