>>> idris2-stage0: Building community/idris2-stage0 0.7.0-r4 (using abuild 3.16.0_rc4-r0) started Thu, 20 Nov 2025 20:18:28 +0000
>>> idris2-stage0: Validating /home/buildozer/aports/community/idris2-stage0/APKBUILD...
>>> idris2-stage0: Analyzing dependencies...
>>> idris2-stage0: Installing for build: build-base chez-scheme gmp-dev bash
(1/5) Installing chez-scheme (10.3.0-r0)
(2/5) Installing libgmpxx (6.3.0-r4)
(3/5) Installing gmp-dev (6.3.0-r4)
(4/5) Installing bash (5.3.3-r1)
bash-5.3.3-r1.post-install: Executing script...
(5/5) Installing .makedepends-idris2-stage0 (20251120.201829)
busybox-1.37.0-r27.trigger: Executing script...
OK: 348 MiB in 110 packages
>>> idris2-stage0: Cleaning up srcdir
>>> idris2-stage0: Cleaning up pkgdir
>>> idris2-stage0: Cleaning up tmpdir
>>> idris2-stage0: Fetching https://distfiles.alpinelinux.org/distfiles/v3.23/idris2-0.7.0.tar.gz
/var/cache/distfiles/v3.23/idris2-0.7.0.tar.gz: OK
/home/buildozer/aports/community/idris2-stage0/fix-expected-cat-err.patch: OK
>>> idris2-stage0: Fetching https://distfiles.alpinelinux.org/distfiles/v3.23/idris2-0.7.0.tar.gz
/var/cache/distfiles/v3.23/idris2-0.7.0.tar.gz: OK
/home/buildozer/aports/community/idris2-stage0/fix-expected-cat-err.patch: OK
>>> idris2-stage0: Unpacking /var/cache/distfiles/v3.23/idris2-0.7.0.tar.gz...
>>> idris2-stage0: fix-expected-cat-err.patch
patching file tests/idris2/reflection/reflection024/expected
make[1]: Entering directory '/home/buildozer/aports/community/idris2-stage0/src/Idris2-0.7.0/support'
make[2]: Entering directory '/home/buildozer/aports/community/idris2-stage0/src/Idris2-0.7.0/support/c'
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o getline.o getline.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o idris_directory.o idris_directory.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o idris_file.o idris_file.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o idris_memory.o idris_memory.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o idris_net.o idris_net.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o idris_signal.o idris_signal.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o idris_support.o idris_support.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o idris_system.o idris_system.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o idris_term.o idris_term.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o idris_util.o idris_util.c
ar rc libidris2_support.a getline.o idris_directory.o idris_file.o idris_memory.o idris_net.o idris_signal.o idris_support.o idris_system.o idris_term.o idris_util.o
ranlib libidris2_support.a
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2  -shared -o libidris2_support.so getline.o idris_directory.o idris_file.o idris_memory.o idris_net.o idris_signal.o idris_support.o idris_system.o idris_term.o idris_util.o -Wl,--as-needed,-O1,--sort-common
make[2]: Leaving directory '/home/buildozer/aports/community/idris2-stage0/src/Idris2-0.7.0/support/c'
make[2]: Entering directory '/home/buildozer/aports/community/idris2-stage0/src/Idris2-0.7.0/support/refc'
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o buffer.o buffer.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o casts.o casts.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o clock.o clock.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o conCaseHelper.o conCaseHelper.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o mathFunctions.o mathFunctions.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o memoryManagement.o memoryManagement.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o prim.o prim.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o refc_util.o refc_util.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o runtime.o runtime.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o stringOps.o stringOps.c
cc -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -O2   -c -o threads.o threads.c
ar rc libidris2_refc.a buffer.o casts.o clock.o conCaseHelper.o mathFunctions.o memoryManagement.o prim.o refc_util.o runtime.o stringOps.o threads.o
ranlib libidris2_refc.a
make[2]: Leaving directory '/home/buildozer/aports/community/idris2-stage0/src/Idris2-0.7.0/support/refc'
make[2]: Entering directory '/home/buildozer/aports/community/idris2-stage0/src/Idris2-0.7.0/support/chez'
# start library header
echo "(library (support) (export" > support-sep.ss
# print the list of exports
cat support.ss \
	| sed -n 's|(define (\?\([^ )]*\).*|\1|p' \
	>> support-sep.ss
echo ") (import (chezscheme))" >> support-sep.ss
# copy the code
cat support.ss >> support-sep.ss
# close the bracket
echo ") ; end of (library)" >> support-sep.ss
make[2]: Leaving directory '/home/buildozer/aports/community/idris2-stage0/src/Idris2-0.7.0/support/chez'
make[1]: Leaving directory '/home/buildozer/aports/community/idris2-stage0/src/Idris2-0.7.0/support'
mkdir -p bootstrap-build/idris2_app
cp support/c/libidris2_support.so bootstrap-build/idris2_app/
sed 's/libidris2_support.so/libidris2_support.so/g; s|__PREFIX__|/home/buildozer/aports/community/idris2-stage0/src/Idris2-0.7.0/bootstrap-build|g' \
	bootstrap/idris2_app/idris2.ss \
	> bootstrap-build/idris2_app/idris2-boot.ss
/bin/sh ./bootstrap-stage1-chez.sh
Bootstrapping SCHEME=chez IDRIS2_VERSION=0.7.0
Building idris2-boot from idris2-boot.ss
compiling idris2_app/idris2-boot.ss with output to idris2_app/idris2-boot.so
Exception in +: #f is not a number
make: *** [Makefile:251: bootstrap] Error 255
>>> ERROR: idris2-stage0: build failed
>>> idris2-stage0: Uninstalling dependencies...
(1/5) Purging .makedepends-idris2-stage0 (20251120.201829)
(2/5) Purging chez-scheme (10.3.0-r0)
(3/5) Purging bash (5.3.3-r1)
bash-5.3.3-r1.pre-deinstall: Executing script...
(4/5) Purging gmp-dev (6.3.0-r4)
(5/5) Purging libgmpxx (6.3.0-r4)
busybox-1.37.0-r27.trigger: Executing script...
OK: 342 MiB in 105 packages