starting phase `set-SOURCE-DATE-EPOCH'
phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds
starting phase `set-paths'
environment variable `PATH' set to `/gnu/store/qhdnnd0mwp3072imc7c13bisyafv3js5-gzip-1.12/bin:/gnu/store/bkcd6iqgxhikvbl54vwiy2jih981vrz1-tar-1.34/bin:/gnu/store/4ly70ncfklcln1vvilpq5fih53227p4b-gzip-1.12/bin:/gnu/store/d66iz5kkh2kravdfa21x58bd53s7acvp-bzip2-1.0.8/bin:/gnu/store/bzj02l1bgp7ibhxvdmpga2k5af0c4npa-file-5.44/bin:/gnu/store/mydmggf3qs7ha5ajkz7x250dy7cnmi2v-diffutils-3.8/bin:/gnu/store/jzk30pqyk3z7xlizbq6013krgyyyys39-patch-2.7.6/bin:/gnu/store/5sksczis0ssy8nhln62lsjfm80np01rc-findutils-4.9.0/bin:/gnu/store/qll484d4kizx5s1lgyjgrq2nqzq177q6-gawk-5.2.1/bin:/gnu/store/bjjyfa71m9zy8iyriqc9wbpg95skad90-sed-4.8/bin:/gnu/store/j0h6z30j13wrbch7pax9l9859c0wfvsl-grep-3.8/bin:/gnu/store/drsra005pzksg8z11jp4yn96sk8gkmq9-xz-5.2.8/bin:/gnu/store/sinrqfmja2a3ys1kmlwgpb629l4sh5rr-coreutils-9.1/bin:/gnu/store/kgdnsfsw8f226s6j5vldaqvc767hn8ff-make-4.3/bin:/gnu/store/9q7cmydxbzfpc79ybn1yn257wq547kvz-bash-minimal-5.1.16/bin:/gnu/store/py7qrzdb70jzkyjhggp15w57iqldv8hc-ld-wrapper-0/bin:/gnu/store/a7v86dd2kbi1rn9rwcw5mfw85aw9m3cf-binutils-2.38/bin:/gnu/store/dcrdgy1rjkh0kibpkw6v2mia7f921b27-gcc-11.3.0/bin:/gnu/store/3imvi8mfcsib1aiiidgr2znypih8nhmv-glibc-2.35/bin:/gnu/store/3imvi8mfcsib1aiiidgr2znypih8nhmv-glibc-2.35/sbin'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/d66iz5kkh2kravdfa21x58bd53s7acvp-bzip2-1.0.8/include:/gnu/store/bzj02l1bgp7ibhxvdmpga2k5af0c4npa-file-5.44/include:/gnu/store/qll484d4kizx5s1lgyjgrq2nqzq177q6-gawk-5.2.1/include:/gnu/store/drsra005pzksg8z11jp4yn96sk8gkmq9-xz-5.2.8/include:/gnu/store/kgdnsfsw8f226s6j5vldaqvc767hn8ff-make-4.3/include:/gnu/store/a7v86dd2kbi1rn9rwcw5mfw85aw9m3cf-binutils-2.38/include:/gnu/store/dcrdgy1rjkh0kibpkw6v2mia7f921b27-gcc-11.3.0/include:/gnu/store/3imvi8mfcsib1aiiidgr2znypih8nhmv-glibc-2.35/include:/gnu/store/6qj8b1i9ynscrl6a8nqgkw787nvnf8fi-linux-libre-headers-5.15.49/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/d66iz5kkh2kravdfa21x58bd53s7acvp-bzip2-1.0.8/include:/gnu/store/bzj02l1bgp7ibhxvdmpga2k5af0c4npa-file-5.44/include:/gnu/store/qll484d4kizx5s1lgyjgrq2nqzq177q6-gawk-5.2.1/include:/gnu/store/drsra005pzksg8z11jp4yn96sk8gkmq9-xz-5.2.8/include:/gnu/store/kgdnsfsw8f226s6j5vldaqvc767hn8ff-make-4.3/include:/gnu/store/a7v86dd2kbi1rn9rwcw5mfw85aw9m3cf-binutils-2.38/include:/gnu/store/dcrdgy1rjkh0kibpkw6v2mia7f921b27-gcc-11.3.0/include/c++:/gnu/store/dcrdgy1rjkh0kibpkw6v2mia7f921b27-gcc-11.3.0/include:/gnu/store/3imvi8mfcsib1aiiidgr2znypih8nhmv-glibc-2.35/include:/gnu/store/6qj8b1i9ynscrl6a8nqgkw787nvnf8fi-linux-libre-headers-5.15.49/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/d66iz5kkh2kravdfa21x58bd53s7acvp-bzip2-1.0.8/lib:/gnu/store/bzj02l1bgp7ibhxvdmpga2k5af0c4npa-file-5.44/lib:/gnu/store/qll484d4kizx5s1lgyjgrq2nqzq177q6-gawk-5.2.1/lib:/gnu/store/drsra005pzksg8z11jp4yn96sk8gkmq9-xz-5.2.8/lib:/gnu/store/a7v86dd2kbi1rn9rwcw5mfw85aw9m3cf-binutils-2.38/lib:/gnu/store/3imvi8mfcsib1aiiidgr2znypih8nhmv-glibc-2.35/lib:/gnu/store/qqpiqxw7n69ikd28cvm78zi5z7g8y0qh-glibc-2.35-static/lib:/gnu/store/83rdr33pwjzimv4n0ch33lc6yf1acbry-glibc-utf8-locales-2.35/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/83rdr33pwjzimv4n0ch33lc6yf1acbry-glibc-utf8-locales-2.35/lib/locale'
phase `set-paths' succeeded after 0.0 seconds
starting phase `install-locale'
using 'en_US.utf8' locale for category "LC_ALL"
phase `install-locale' succeeded after 0.0 seconds
starting phase `unpack'
aiger-1.9.9/
aiger-1.9.9/smvtoaig.c
aiger-1.9.9/aigtoaig.c
aiger-1.9.9/aigmiter.c
aiger-1.9.9/aigmove.c
aiger-1.9.9/aigjoin.c
aiger-1.9.9/bliftoaig.c
aiger-1.9.9/aigreset.c
aiger-1.9.9/aigtoblif.c
aiger-1.9.9/aigvis
aiger-1.9.9/aiginfo.c
aiger-1.9.9/aigfuzz.h
aiger-1.9.9/mc.sh
aiger-1.9.9/aigunroll.c
aiger-1.9.9/FORMAT
aiger-1.9.9/aigor.c
aiger-1.9.9/README
aiger-1.9.9/aigtosmv.c
aiger-1.9.9/LICENSE
aiger-1.9.9/soltostim.c
aiger-1.9.9/aigfuzz.c
aiger-1.9.9/aigand.c
aiger-1.9.9/makefile.in
aiger-1.9.9/aigstrip.c
aiger-1.9.9/aiger.h
aiger-1.9.9/simpaig.h
aiger-1.9.9/aigflip.c
aiger-1.9.9/aigtocnf.c
aiger-1.9.9/configure.sh
aiger-1.9.9/simpaig.c
aiger-1.9.9/beyond1.pdf
aiger-1.9.9/NEWS
aiger-1.9.9/aigdd.c
aiger-1.9.9/aigfuzzlayers.c
aiger-1.9.9/wrapstim.c
aiger-1.9.9/aiger.c
aiger-1.9.9/aigtodot.c
aiger-1.9.9/aigunconstraint.c
aiger-1.9.9/aigsplit.c
aiger-1.9.9/examples/
aiger-1.9.9/examples/and.aag
aiger-1.9.9/examples/cnt1e.aag
aiger-1.9.9/examples/code/
aiger-1.9.9/examples/code/read.c
aiger-1.9.9/examples/code/JaigerToCNF.java
aiger-1.9.9/examples/code/write.c
aiger-1.9.9/examples/code/poormanaigtocnf.c
aiger-1.9.9/examples/cnt1.wit
aiger-1.9.9/examples/inverter.aag
aiger-1.9.9/examples/makefile
aiger-1.9.9/examples/cnt1e.wit
aiger-1.9.9/examples/.cvsignore
aiger-1.9.9/examples/cnt1.aag
aiger-1.9.9/examples/true.aag
aiger-1.9.9/examples/buffer.aag
aiger-1.9.9/examples/notcnt1e.aag
aiger-1.9.9/examples/notcnt1.aag
aiger-1.9.9/examples/toggle.aag
aiger-1.9.9/examples/empty.aag
aiger-1.9.9/examples/toggle-re.aag
aiger-1.9.9/examples/smv/
aiger-1.9.9/examples/smv/latch2.smv
aiger-1.9.9/examples/smv/mult2.aig
aiger-1.9.9/examples/smv/s2cunfair.smv
aiger-1.9.9/examples/smv/s2cunfair.aig
aiger-1.9.9/examples/smv/s2cfair.flatsmv
aiger-1.9.9/examples/smv/s2cfair.aig
aiger-1.9.9/examples/smv/mult2.smv
aiger-1.9.9/examples/smv/s2cunfair.flatsmv
aiger-1.9.9/examples/smv/latch1.smv
aiger-1.9.9/examples/smv/s2cfair.smv
aiger-1.9.9/examples/smv/latch0.smv
aiger-1.9.9/examples/smv/mult2.flatsmv
aiger-1.9.9/examples/or.aag
aiger-1.9.9/examples/halfadder.aag
aiger-1.9.9/examples/false.aag
aiger-1.9.9/aignm.c
aiger-1.9.9/VERSION
aiger-1.9.9/aigbmc.c
aiger-1.9.9/andtoaig.c
aiger-1.9.9/aigsim.c
aiger-1.9.9/aigdep.c
phase `unpack' succeeded after 0.1 seconds
starting phase `patch-build-files'
phase `patch-build-files' succeeded after 0.0 seconds
starting phase `patch-source'
phase `patch-source' succeeded after 0.1 seconds
starting phase `bootstrap'
no 'configure.ac' or anything like that, doing nothing
phase `bootstrap' succeeded after 0.0 seconds
starting phase `patch-usr-bin-file'
phase `patch-usr-bin-file' succeeded after 0.0 seconds
starting phase `patch-source-shebangs'
patch-shebang: ./aigvis: changing `/bin/sh' to `/gnu/store/9q7cmydxbzfpc79ybn1yn257wq547kvz-bash-minimal-5.1.16/bin/sh'
patch-shebang: ./configure.sh: changing `/bin/sh' to `/gnu/store/9q7cmydxbzfpc79ybn1yn257wq547kvz-bash-minimal-5.1.16/bin/sh'
patch-shebang: ./mc.sh: changing `/bin/sh' to `/gnu/store/9q7cmydxbzfpc79ybn1yn257wq547kvz-bash-minimal-5.1.16/bin/sh'
phase `patch-source-shebangs' succeeded after 0.0 seconds
starting phase `configure'
[configure.sh] using gcc as default compiler
[configure.sh] using default compilation flags
[configure.sh] WARNING: can not find '../picosat' directory (no 'aigbmc' target)
[configure.sh] WARNING: can not find '../lingeling' directory
[configure.sh] WARNING: no proper '../lingeling' nor '../picosat' (will not build 'aigbmc' nor 'aigdep')
[configure.sh] compiling with: gcc -O3 -DNDEBUG
phase `configure' succeeded after 0.1 seconds
starting phase `patch-generated-file-shebangs'
phase `patch-generated-file-shebangs' succeeded after 0.0 seconds
starting phase `build'
gcc -O3 -DNDEBUG -c aiger.c
gcc -O3 -DNDEBUG -c simpaig.c
gcc -O3 -DNDEBUG -c aigand.c
gcc -O3 -DNDEBUG -c aigdd.c
gcc -O3 -DNDEBUG -c aigflip.c
gcc -O3 -DNDEBUG -c aigfuzz.c
gcc -O3 -DNDEBUG -c aigfuzzlayers.c
gcc -O3 -DNDEBUG -c aiginfo.c
gcc -O3 -DNDEBUG -c aigjoin.c
gcc -O3 -DNDEBUG -c aigmiter.c
gcc -O3 -DNDEBUG -c aigmove.c
gcc -O3 -DNDEBUG -c aignm.c
gcc -O3 -DNDEBUG -c aigor.c
gcc -O3 -DNDEBUG -c aigreset.c
gcc -O3 -DNDEBUG -c aigsim.c
gcc -O3 -DNDEBUG -c aigsplit.c
gcc -O3 -DNDEBUG -c aigstrip.c
gcc -O3 -DNDEBUG -c aigtoaig.c
gcc -O3 -DNDEBUG -c aigtoblif.c
gcc -O3 -DNDEBUG -c aigtocnf.c
gcc -O3 -DNDEBUG -c aigtodot.c
gcc -O3 -DNDEBUG -c aigtosmv.c
gcc -O3 -DNDEBUG -c aigunconstraint.c
aigunconstraint.c: In function ‘main’:
aigunconstraint.c:189:13: warning: implicit declaration of function ‘isatty’ [-Wimplicit-function-declaration]
  189 |            (isatty (1) ? aiger_ascii_mode : aiger_binary_mode), stdout);
      |             ^~~~~~
gcc -O3 -DNDEBUG -c aigunroll.c
gcc -O3 -DNDEBUG -c andtoaig.c
gcc -O3 -DNDEBUG -c bliftoaig.c
gcc -O3 -DNDEBUG -c smvtoaig.c
gcc -O3 -DNDEBUG -c soltostim.c
gcc -O3 -DNDEBUG -c wrapstim.c
gcc -O3 -DNDEBUG -o aigand aigand.o aiger.o
gcc -O3 -DNDEBUG -o aigdd aigdd.o aiger.o
gcc -O3 -DNDEBUG -o aigflip aigflip.o aiger.o
gcc -O3 -DNDEBUG -o aigfuzz aigfuzz.o aigfuzzlayers.o aiger.o
gcc -O3 -DNDEBUG -o aiginfo aiginfo.o aiger.o
gcc -O3 -DNDEBUG -o aigjoin aigjoin.o aiger.o
gcc -O3 -DNDEBUG -o aigmiter aigmiter.o aiger.o
gcc -O3 -DNDEBUG -o aigmove aigmove.o aiger.o
gcc -O3 -DNDEBUG -o aignm aignm.o aiger.o
gcc -O3 -DNDEBUG -o aigor aigor.o aiger.o
gcc -O3 -DNDEBUG -o aigreset aigreset.o aiger.o
gcc -O3 -DNDEBUG -o aigsim aigsim.o aiger.o
gcc -O3 -DNDEBUG -o aigsplit aigsplit.o aiger.o
gcc -O3 -DNDEBUG -o aigstrip aigstrip.o aiger.o
gcc -O3 -DNDEBUG -o aigtoaig aigtoaig.o aiger.o
gcc -O3 -DNDEBUG -o aigtoblif aigtoblif.o aiger.o
gcc -O3 -DNDEBUG -o aigtocnf aigtocnf.o aiger.o
gcc -O3 -DNDEBUG -o aigtodot aigtodot.o aiger.o
gcc -O3 -DNDEBUG -o aigtosmv aigtosmv.o aiger.o
gcc -O3 -DNDEBUG -o aigunconstraint aigunconstraint.o aiger.o simpaig.o
gcc -O3 -DNDEBUG -o aigunroll aigunroll.o aiger.o simpaig.o
gcc -O3 -DNDEBUG -o andtoaig andtoaig.o aiger.o
gcc -O3 -DNDEBUG -o soltostim soltostim.o aiger.o
gcc -O3 -DNDEBUG -o wrapstim wrapstim.o aiger.o
gcc -O3 -DNDEBUG -o bliftoaig bliftoaig.o aiger.o
gcc -O3 -DNDEBUG -o smvtoaig smvtoaig.o aiger.o
phase `build' succeeded after 38.7 seconds
starting phase `check'
test suite not run
phase `check' succeeded after 0.0 seconds
starting phase `install'
true	true	true	install -m 755 -s aigand aigdd aigflip aigfuzz aiginfo aigjoin aigmiter aigmove aignm aigor aigreset aigsim aigsplit aigstrip aigtoaig aigtoblif aigtocnf aigtodot aigtosmv aigunconstraint aigunroll andtoaig bliftoaig smvtoaig soltostim wrapstim  /usr/łocal/bin/
phase `install' succeeded after 0.0 seconds
starting phase `install-static'
phase `install-static' succeeded after 0.1 seconds
starting phase `patch-shebangs'
phase `patch-shebangs' succeeded after 0.0 seconds
starting phase `strip'
stripping binaries in "/gnu/store/y9xf1ym1lf0dsky7a39ig9065a95g10i-aiger-1.9.9-static/lib" with "strip" and flags ("--strip-unneeded" "--enable-deterministic-archives")
phase `strip' succeeded after 0.1 seconds
starting phase `validate-runpath'
validating RUNPATH of 0 binaries in "/gnu/store/y9xf1ym1lf0dsky7a39ig9065a95g10i-aiger-1.9.9-static/lib"...
phase `validate-runpath' succeeded after 0.0 seconds
starting phase `validate-documentation-location'
phase `validate-documentation-location' succeeded after 0.0 seconds
starting phase `delete-info-dir-file'
phase `delete-info-dir-file' succeeded after 0.0 seconds
starting phase `patch-dot-desktop-files'
phase `patch-dot-desktop-files' succeeded after 0.0 seconds
starting phase `make-dynamic-linker-cache'
phase `make-dynamic-linker-cache' succeeded after 0.0 seconds
starting phase `install-license-files'
installing 1 license files from '.'
phase `install-license-files' succeeded after 0.0 seconds
starting phase `reset-gzip-timestamps'
phase `reset-gzip-timestamps' succeeded after 0.0 seconds
starting phase `compress-documentation'
phase `compress-documentation' succeeded after 0.0 seconds