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/ihycjhn0znvbdrhmfg5varx581a749nj-gzip-1.12/bin:/gnu/store/54cg8d0xnnbd6n40hg2smaqfafz2km79-tar-1.34/bin:/gnu/store/jjazmdlhvqh0yxzk2qwbl13hflnv9jj6-gzip-1.12/bin:/gnu/store/nbalv23p48cdwf9m651s4yagcacsay2l-bzip2-1.0.8/bin:/gnu/store/q68rwxvi47zkw29r7ycg6a4jg2lpky1d-file-5.44/bin:/gnu/store/8315h8gqhd9l5a593g2j09rby3zs6nds-diffutils-3.8/bin:/gnu/store/10dp5a06lqg5kcbl77wdl2sfhrjchagk-patch-2.7.6/bin:/gnu/store/kj4h8gvidm64l0p8k4q9knhprvmajcrp-findutils-4.9.0/bin:/gnu/store/vjw939r5cjccbmdcjxg34lbpqrcjpnwb-gawk-5.2.1/bin:/gnu/store/9a4hc78kh956srjzr00cwpql1pavfk7d-sed-4.8/bin:/gnu/store/acf2bj4w033i0b1v5bcws46gc85x4dm4-grep-3.8/bin:/gnu/store/qbhy2zzqzzfqbr7s59y513bxd1w22wzb-xz-5.2.8/bin:/gnu/store/n1jykk68ml8y9zm4ybygyfdjs3rw6bjs-coreutils-9.1/bin:/gnu/store/0mfya6ws3bk273wrwdgwlyv8j8cikkkg-make-4.3/bin:/gnu/store/id0knspwhrd51wrg2nbx2pw3ajz36ngg-bash-minimal-5.1.16/bin:/gnu/store/czfalsz0yhfl1m64k2s5ag9h2w4wxz95-ld-wrapper-0/bin:/gnu/store/1b5sk5dgk5y3hzczd8bq1micm5c7d1vj-binutils-2.38/bin:/gnu/store/9c54kwmmb31zzjxbcfi2z6070mqk73fy-gcc-11.3.0/bin:/gnu/store/a19xbynxc3sg25xpkwmx7g0mdl7g31hx-glibc-2.35/bin:/gnu/store/a19xbynxc3sg25xpkwmx7g0mdl7g31hx-glibc-2.35/sbin'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/nbalv23p48cdwf9m651s4yagcacsay2l-bzip2-1.0.8/include:/gnu/store/q68rwxvi47zkw29r7ycg6a4jg2lpky1d-file-5.44/include:/gnu/store/vjw939r5cjccbmdcjxg34lbpqrcjpnwb-gawk-5.2.1/include:/gnu/store/qbhy2zzqzzfqbr7s59y513bxd1w22wzb-xz-5.2.8/include:/gnu/store/0mfya6ws3bk273wrwdgwlyv8j8cikkkg-make-4.3/include:/gnu/store/1b5sk5dgk5y3hzczd8bq1micm5c7d1vj-binutils-2.38/include:/gnu/store/9c54kwmmb31zzjxbcfi2z6070mqk73fy-gcc-11.3.0/include:/gnu/store/a19xbynxc3sg25xpkwmx7g0mdl7g31hx-glibc-2.35/include:/gnu/store/64svgy8g04741kvr5sq60mp568ygsqfi-linux-libre-headers-5.15.49/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/nbalv23p48cdwf9m651s4yagcacsay2l-bzip2-1.0.8/include:/gnu/store/q68rwxvi47zkw29r7ycg6a4jg2lpky1d-file-5.44/include:/gnu/store/vjw939r5cjccbmdcjxg34lbpqrcjpnwb-gawk-5.2.1/include:/gnu/store/qbhy2zzqzzfqbr7s59y513bxd1w22wzb-xz-5.2.8/include:/gnu/store/0mfya6ws3bk273wrwdgwlyv8j8cikkkg-make-4.3/include:/gnu/store/1b5sk5dgk5y3hzczd8bq1micm5c7d1vj-binutils-2.38/include:/gnu/store/9c54kwmmb31zzjxbcfi2z6070mqk73fy-gcc-11.3.0/include/c++:/gnu/store/9c54kwmmb31zzjxbcfi2z6070mqk73fy-gcc-11.3.0/include:/gnu/store/a19xbynxc3sg25xpkwmx7g0mdl7g31hx-glibc-2.35/include:/gnu/store/64svgy8g04741kvr5sq60mp568ygsqfi-linux-libre-headers-5.15.49/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/nbalv23p48cdwf9m651s4yagcacsay2l-bzip2-1.0.8/lib:/gnu/store/q68rwxvi47zkw29r7ycg6a4jg2lpky1d-file-5.44/lib:/gnu/store/vjw939r5cjccbmdcjxg34lbpqrcjpnwb-gawk-5.2.1/lib:/gnu/store/qbhy2zzqzzfqbr7s59y513bxd1w22wzb-xz-5.2.8/lib:/gnu/store/1b5sk5dgk5y3hzczd8bq1micm5c7d1vj-binutils-2.38/lib:/gnu/store/a19xbynxc3sg25xpkwmx7g0mdl7g31hx-glibc-2.35/lib:/gnu/store/s2sl8i4m58xyl9d34lspx8d82nlxlz79-glibc-2.35-static/lib:/gnu/store/4yq91i7db97yvn7yw3gghlraacllzvrw-glibc-utf8-locales-2.35/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/4yq91i7db97yvn7yw3gghlraacllzvrw-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.0 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.0 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/id0knspwhrd51wrg2nbx2pw3ajz36ngg-bash-minimal-5.1.16/bin/sh'
patch-shebang: ./configure.sh: changing `/bin/sh' to `/gnu/store/id0knspwhrd51wrg2nbx2pw3ajz36ngg-bash-minimal-5.1.16/bin/sh'
patch-shebang: ./mc.sh: changing `/bin/sh' to `/gnu/store/id0knspwhrd51wrg2nbx2pw3ajz36ngg-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.0 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
gcc -O3 -DNDEBUG -c aigunroll.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 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 bliftoaig bliftoaig.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 smvtoaig smvtoaig.o aiger.o
phase `build' succeeded after 5.0 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.0 seconds
starting phase `patch-shebangs'
phase `patch-shebangs' succeeded after 0.0 seconds
starting phase `strip'
stripping binaries in "/gnu/store/pyd3ksb57c49v1cqahvkpra8g5qq7hdn-aiger-1.9.9-static/lib" with "strip" and flags ("--strip-unneeded" "--enable-deterministic-archives")
phase `strip' succeeded after 0.0 seconds
starting phase `validate-runpath'
validating RUNPATH of 0 binaries in "/gnu/store/pyd3ksb57c49v1cqahvkpra8g5qq7hdn-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