Linking dist/build/multiple-c-functions/multiple-c-functions ...
Preprocessing executable 'sum-types' for categorifier-c-examples-0.1..
Building executable 'sum-types' for categorifier-c-examples-0.1..
[1 of 2] Compiling F                ( sum-types/F.hs, dist/build/sum-types/sum-types-tmp/F.o, dist/build/sum-types/sum-types-tmp/F.dyn_o )
[2 of 2] Compiling Main             ( sum-types/Main.hs, dist/build/sum-types/sum-types-tmp/Main.o, dist/build/sum-types/sum-types-tmp/Main.dyn_o )
Linking dist/build/sum-types/sum-types ...
Preprocessing executable 'external-c-functions' for categorifier-c-examples-0.1..
Building executable 'external-c-functions' for categorifier-c-examples-0.1..
[1 of 3] Compiling CTypes           ( external-c-functions/CTypes.hs, dist/build/external-c-functions/external-c-functions-tmp/CTypes.o, dist/build/external-c-functions/external-c-functions-tmp/CTypes.dyn_o )
[2 of 3] Compiling F                ( external-c-functions/F.hs, dist/build/external-c-functions/external-c-functions-tmp/F.o, dist/build/external-c-functions/external-c-functions-tmp/F.dyn_o )
[3 of 3] Compiling Main             ( external-c-functions/Main.hs, dist/build/external-c-functions/external-c-functions-tmp/Main.o, dist/build/external-c-functions/external-c-functions-tmp/Main.dyn_o )
Linking dist/build/external-c-functions/external-c-functions ...
Preprocessing executable 'recursive-types' for categorifier-c-examples-0.1..
Building executable 'recursive-types' for categorifier-c-examples-0.1..
[1 of 2] Compiling F                ( recursive-types/F.hs, dist/build/recursive-types/recursive-types-tmp/F.o, dist/build/recursive-types/recursive-types-tmp/F.dyn_o )
[2 of 2] Compiling Main             ( recursive-types/Main.hs, dist/build/recursive-types/recursive-types-tmp/Main.o, dist/build/recursive-types/recursive-types-tmp/Main.dyn_o )
Linking dist/build/recursive-types/recursive-types ...
Preprocessing executable 'recursive-types-2' for categorifier-c-examples-0.1..
Building executable 'recursive-types-2' for categorifier-c-examples-0.1..
[1 of 2] Compiling F                ( recursive-types-2/F.hs, dist/build/recursive-types-2/recursive-types-2-tmp/F.o, dist/build/recursive-types-2/recursive-types-2-tmp/F.dyn_o )
[2 of 2] Compiling Main             ( recursive-types-2/Main.hs, dist/build/recursive-types-2/recursive-types-2-tmp/Main.o, dist/build/recursive-types-2/recursive-types-2-tmp/Main.dyn_o )
Linking dist/build/recursive-types-2/recursive-types-2 ...
Preprocessing executable 'simple' for categorifier-c-examples-0.1..
Building executable 'simple' for categorifier-c-examples-0.1..
[1 of 2] Compiling F                ( simple/F.hs, dist/build/simple/simple-tmp/F.o, dist/build/simple/simple-tmp/F.dyn_o )
[2 of 2] Compiling Main             ( simple/Main.hs, dist/build/simple/simple-tmp/Main.o, dist/build/simple/simple-tmp/Main.dyn_o )
Linking dist/build/simple/simple ...
@nix {"action":"setPhase","phase":"checkPhase"}
running tests
Package has no test suites.
@nix {"action":"setPhase","phase":"haddockPhase"}
haddockPhase
@nix {"action":"setPhase","phase":"installPhase"}
installing
Installing executable th-compile in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin
Warning: The directory
/nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin is
not in the system search path.
Installing executable c-wrappers in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin
Warning: The directory
/nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin is
not in the system search path.
Installing executable separate-categorification in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin
Warning: The directory
/nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin is
not in the system search path.
Installing executable auto-interpret in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin
Warning: The directory
/nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin is
not in the system search path.
Installing executable c-types in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin
Warning: The directory
/nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin is
not in the system search path.
Installing executable multiple-c-functions in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin
Warning: The directory
/nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin is
not in the system search path.
Installing executable sum-types in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin
Warning: The directory
/nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin is
not in the system search path.
Installing executable external-c-functions in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin
Warning: The directory
/nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin is
not in the system search path.
Installing executable recursive-types in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin
Warning: The directory
/nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin is
not in the system search path.
Installing executable recursive-types-2 in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin
Warning: The directory
/nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin is
not in the system search path.
Installing executable simple in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin
Warning: The directory
/nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin is
not in the system search path.
@nix {"action":"setPhase","phase":"fixupPhase"}
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1
shrinking /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin/separate-categorification
shrinking /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin/sum-types
shrinking /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin/c-wrappers
shrinking /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin/external-c-functions
shrinking /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin/multiple-c-functions
shrinking /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin/recursive-types
shrinking /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin/simple
shrinking /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin/th-compile
shrinking /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin/c-types
shrinking /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin/recursive-types-2
shrinking /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin/auto-interpret
strip is /nix/store/myjrqkb583ak29f3r5wmxrazy33i90pi-gcc-wrapper-10.3.0/bin/strip
stripping (with command strip and flags -S) in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1/bin 
patching script interpreter paths in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1
checking for references to /build/ in /nix/store/wd9k8cqnn686widms6li2bm1c2q28bq3-categorifier-c-examples-0.1...
shrinking RPATHs of ELF executables and libraries in /nix/store/ziyshrzxjl2z4by35r9kzdssc9zw2fwz-categorifier-c-examples-0.1-doc
strip is /nix/store/myjrqkb583ak29f3r5wmxrazy33i90pi-gcc-wrapper-10.3.0/bin/strip
patching script interpreter paths in /nix/store/ziyshrzxjl2z4by35r9kzdssc9zw2fwz-categorifier-c-examples-0.1-doc
checking for references to /build/ in /nix/store/ziyshrzxjl2z4by35r9kzdssc9zw2fwz-categorifier-c-examples-0.1-doc...