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/5nnbghpx3scx72nckg4w10cryrzrg7nc-gcc-cross-arm-linux-gnueabihf-11.3.0/bin:/gnu/store/m4kh1kn5hs4lln8hzxlgg3bjni7xfiy2-binutils-cross-arm-linux-gnueabihf-2.38/bin:/gnu/store/sxx22f98vfbavcqmdksm6as8fvskpxiw-tar-1.34/bin:/gnu/store/x24bm49ag5dvki72mjdz195bfb89nrnb-gzip-1.12/bin:/gnu/store/j8wlfmlmfvpbza6is9wv9xsd8psrxn00-bzip2-1.0.8/bin:/gnu/store/gr0sy0m1mv36qv54idm6cn10l3mngshq-file-5.44/bin:/gnu/store/zmcf5kpqiighkbh7wslf91qdjwj06yr1-diffutils-3.8/bin:/gnu/store/210yfax18r2g2inxrml9435ikhfcca6m-patch-2.7.6/bin:/gnu/store/c8jyph2lxw0m9na34fg8h70n4nnnz7is-findutils-4.9.0/bin:/gnu/store/hc05d76f1j3iz3v2bs5jz4fpljl1r4dj-gawk-5.2.1/bin:/gnu/store/xxcfsimvxz7z4dj593gnqbkzc6picwzq-sed-4.8/bin:/gnu/store/yrv5f70mn83a876b78i5s79dd2hsh0zf-grep-3.8/bin:/gnu/store/6k1yys9wqrfn4y41ic1win8gpnimncwj-xz-5.2.8/bin:/gnu/store/a5i8avx826brw5grn3n4qv40g514505c-coreutils-9.1/bin:/gnu/store/wj7casda7rb55rvqjnpm0bm7a2zm6618-make-4.3/bin:/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin:/gnu/store/na1dpbbcxjaa3n8wkwrfpch476f90hlf-ld-wrapper-0/bin:/gnu/store/zh4x65snfis7svs6906gj1z8i7dx2j3m-binutils-2.38/bin:/gnu/store/5lqhcv91ijy82p92ac6g5xw48l0lwwz4-gcc-11.3.0/bin:/gnu/store/gsjczqir1wbz8p770zndrpw4rnppmxi3-glibc-2.35/bin:/gnu/store/gsjczqir1wbz8p770zndrpw4rnppmxi3-glibc-2.35/sbin'
environment variable `CROSS_LIBRARY_PATH' set to `/gnu/store/169jwvcs52dqkghh5v2v0v24v21jwdk1-glibc-cross-arm-linux-gnueabihf-2.35/lib:/gnu/store/vg6cjff5x8d9w1y5yb02jzgzl75q0paa-glibc-cross-arm-linux-gnueabihf-2.35-static/lib'
environment variable `CROSS_C_INCLUDE_PATH' set to `/gnu/store/5nnbghpx3scx72nckg4w10cryrzrg7nc-gcc-cross-arm-linux-gnueabihf-11.3.0/include:/gnu/store/169jwvcs52dqkghh5v2v0v24v21jwdk1-glibc-cross-arm-linux-gnueabihf-2.35/include:/gnu/store/8k6h5a5d3ryr6k0w1aczvyrasjphm4s2-linux-libre-headers-cross-arm-linux-gnueabihf-5.15.49/include'
environment variable `CROSS_CPLUS_INCLUDE_PATH' set to `/gnu/store/5nnbghpx3scx72nckg4w10cryrzrg7nc-gcc-cross-arm-linux-gnueabihf-11.3.0/include/c++:/gnu/store/5nnbghpx3scx72nckg4w10cryrzrg7nc-gcc-cross-arm-linux-gnueabihf-11.3.0/include:/gnu/store/169jwvcs52dqkghh5v2v0v24v21jwdk1-glibc-cross-arm-linux-gnueabihf-2.35/include:/gnu/store/8k6h5a5d3ryr6k0w1aczvyrasjphm4s2-linux-libre-headers-cross-arm-linux-gnueabihf-5.15.49/include'
environment variable `CROSS_OBJC_INCLUDE_PATH' set to `/gnu/store/5nnbghpx3scx72nckg4w10cryrzrg7nc-gcc-cross-arm-linux-gnueabihf-11.3.0/include:/gnu/store/169jwvcs52dqkghh5v2v0v24v21jwdk1-glibc-cross-arm-linux-gnueabihf-2.35/include:/gnu/store/8k6h5a5d3ryr6k0w1aczvyrasjphm4s2-linux-libre-headers-cross-arm-linux-gnueabihf-5.15.49/include'
environment variable `CROSS_OBJCPLUS_INCLUDE_PATH' set to `/gnu/store/5nnbghpx3scx72nckg4w10cryrzrg7nc-gcc-cross-arm-linux-gnueabihf-11.3.0/include:/gnu/store/169jwvcs52dqkghh5v2v0v24v21jwdk1-glibc-cross-arm-linux-gnueabihf-2.35/include:/gnu/store/8k6h5a5d3ryr6k0w1aczvyrasjphm4s2-linux-libre-headers-cross-arm-linux-gnueabihf-5.15.49/include'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/5nnbghpx3scx72nckg4w10cryrzrg7nc-gcc-cross-arm-linux-gnueabihf-11.3.0/include:/gnu/store/m4kh1kn5hs4lln8hzxlgg3bjni7xfiy2-binutils-cross-arm-linux-gnueabihf-2.38/include:/gnu/store/j8wlfmlmfvpbza6is9wv9xsd8psrxn00-bzip2-1.0.8/include:/gnu/store/gr0sy0m1mv36qv54idm6cn10l3mngshq-file-5.44/include:/gnu/store/hc05d76f1j3iz3v2bs5jz4fpljl1r4dj-gawk-5.2.1/include:/gnu/store/6k1yys9wqrfn4y41ic1win8gpnimncwj-xz-5.2.8/include:/gnu/store/wj7casda7rb55rvqjnpm0bm7a2zm6618-make-4.3/include:/gnu/store/zh4x65snfis7svs6906gj1z8i7dx2j3m-binutils-2.38/include:/gnu/store/5lqhcv91ijy82p92ac6g5xw48l0lwwz4-gcc-11.3.0/include:/gnu/store/gsjczqir1wbz8p770zndrpw4rnppmxi3-glibc-2.35/include:/gnu/store/5iklcps70c0sfkxvlrhg8jhf3q4h18bj-linux-libre-headers-5.15.49/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/5nnbghpx3scx72nckg4w10cryrzrg7nc-gcc-cross-arm-linux-gnueabihf-11.3.0/include/c++:/gnu/store/5nnbghpx3scx72nckg4w10cryrzrg7nc-gcc-cross-arm-linux-gnueabihf-11.3.0/include:/gnu/store/m4kh1kn5hs4lln8hzxlgg3bjni7xfiy2-binutils-cross-arm-linux-gnueabihf-2.38/include:/gnu/store/j8wlfmlmfvpbza6is9wv9xsd8psrxn00-bzip2-1.0.8/include:/gnu/store/gr0sy0m1mv36qv54idm6cn10l3mngshq-file-5.44/include:/gnu/store/hc05d76f1j3iz3v2bs5jz4fpljl1r4dj-gawk-5.2.1/include:/gnu/store/6k1yys9wqrfn4y41ic1win8gpnimncwj-xz-5.2.8/include:/gnu/store/wj7casda7rb55rvqjnpm0bm7a2zm6618-make-4.3/include:/gnu/store/zh4x65snfis7svs6906gj1z8i7dx2j3m-binutils-2.38/include:/gnu/store/5lqhcv91ijy82p92ac6g5xw48l0lwwz4-gcc-11.3.0/include/c++:/gnu/store/5lqhcv91ijy82p92ac6g5xw48l0lwwz4-gcc-11.3.0/include:/gnu/store/gsjczqir1wbz8p770zndrpw4rnppmxi3-glibc-2.35/include:/gnu/store/5iklcps70c0sfkxvlrhg8jhf3q4h18bj-linux-libre-headers-5.15.49/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/m4kh1kn5hs4lln8hzxlgg3bjni7xfiy2-binutils-cross-arm-linux-gnueabihf-2.38/lib:/gnu/store/j8wlfmlmfvpbza6is9wv9xsd8psrxn00-bzip2-1.0.8/lib:/gnu/store/gr0sy0m1mv36qv54idm6cn10l3mngshq-file-5.44/lib:/gnu/store/hc05d76f1j3iz3v2bs5jz4fpljl1r4dj-gawk-5.2.1/lib:/gnu/store/6k1yys9wqrfn4y41ic1win8gpnimncwj-xz-5.2.8/lib:/gnu/store/zh4x65snfis7svs6906gj1z8i7dx2j3m-binutils-2.38/lib:/gnu/store/gsjczqir1wbz8p770zndrpw4rnppmxi3-glibc-2.35/lib:/gnu/store/l0yryi5jsa1grnvw01c9nkz9c81cv224-glibc-2.35-static/lib:/gnu/store/visfdda934gvivwihwhlm63fdqhhcc8a-glibc-utf8-locales-2.35/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/visfdda934gvivwihwhlm63fdqhhcc8a-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/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin/sh'
patch-shebang: ./configure.sh: changing `/bin/sh' to `/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin/sh'
patch-shebang: ./mc.sh: changing `/bin/sh' to `/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-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
gcc -O3 -DNDEBUG -c andtoaig.c
gcc -O3 -DNDEBUG -c bliftoaig.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 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 3.6 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/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib" with "arm-linux-gnueabihf-strip" and flags ("--strip-unneeded" "--enable-deterministic-archives")
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigand.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigdd.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aiger.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigflip.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigfuzz.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigfuzzlayers.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aiginfo.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigjoin.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigmiter.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigmove.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aignm.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigor.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigreset.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigsim.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigsplit.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigstrip.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigtoaig.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigtoblif.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigtocnf.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigtodot.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigtosmv.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigunconstraint.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(aigunroll.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(andtoaig.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(bliftoaig.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(simpaig.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(smvtoaig.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(soltostim.o): Unable to recognise the format of file: file format not recognized
arm-linux-gnueabihf-strip: /gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static/lib/libaiger.a(wrapstim.o): Unable to recognise the format of file: file format not recognized
phase `strip' succeeded after 0.0 seconds
starting phase `validate-runpath'
validating RUNPATH of 0 binaries in "/gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-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'
ld.so cache not built
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