>>> idris2: Building community/idris2 0.7.0-r7 (using abuild 3.16.0_rc4-r0) started Sun, 09 Nov 2025 16:15:04 +0000
>>> idris2: Validating /home/buildozer/aports/community/idris2/APKBUILD...
>>> idris2: Analyzing dependencies...
>>> idris2: Installing for build: build-base chez-scheme gmp-dev idris2-stage0>=0.7.0 bash py3-sphinx py3-sphinx_rtd_theme
( 1/71) Installing chez-scheme (10.3.0-r0)
( 2/71) Installing libgmpxx (6.3.0-r4)
( 3/71) Installing gmp-dev (6.3.0-r4)
( 4/71) Installing idris2-stage0 (0.7.0-r3)
( 5/71) Installing bash (5.3.3-r1)
bash-5.3.3-r1.post-install: Executing script...
( 6/71) Installing libbz2 (1.0.8-r6)
( 7/71) Installing libffi (3.5.2-r0)
( 8/71) Installing gdbm (1.26-r0)
( 9/71) Installing xz-libs (5.8.1-r0)
(10/71) Installing mpdecimal (4.0.1-r0)
(11/71) Installing libpanelw (6.5_p20251010-r0)
(12/71) Installing sqlite-libs (3.51.0-r0)
(13/71) Installing python3 (3.12.12-r0)
(14/71) Installing python3-pycache-pyc0 (3.12.12-r0)
(15/71) Installing pyc (3.12.12-r0)
(16/71) Installing py3-sphinx-pyc (8.2.3-r1)
(17/71) Installing py3-babel-pyc (2.17.0-r0)
(18/71) Installing py3-tz-pyc (2025.2-r0)
(19/71) Installing python3-pyc (3.12.12-r0)
(20/71) Installing py3-tz (2025.2-r0)
(21/71) Installing py3-parsing (3.2.3-r0)
(22/71) Installing py3-parsing-pyc (3.2.3-r0)
(23/71) Installing py3-packaging (25.0-r0)
(24/71) Installing py3-packaging-pyc (25.0-r0)
(25/71) Installing py3-setuptools (80.9.0-r2)
(26/71) Installing py3-setuptools-pyc (80.9.0-r2)
(27/71) Installing py3-babel (2.17.0-r0)
(28/71) Installing py3-docutils (0.21.2-r1)
(29/71) Installing py3-docutils-pyc (0.21.2-r1)
(30/71) Installing py3-imagesize (1.4.1-r4)
(31/71) Installing py3-imagesize-pyc (1.4.1-r4)
(32/71) Installing py3-markupsafe (3.0.2-r0)
(33/71) Installing py3-markupsafe-pyc (3.0.2-r0)
(34/71) Installing py3-jinja2 (3.1.6-r0)
(35/71) Installing py3-jinja2-pyc (3.1.6-r0)
(36/71) Installing py3-pygments (2.19.2-r0)
(37/71) Installing py3-pygments-pyc (2.19.2-r0)
(38/71) Installing py3-certifi (2025.10.5-r0)
(39/71) Installing py3-certifi-pyc (2025.10.5-r0)
(40/71) Installing py3-charset-normalizer (3.4.4-r0)
(41/71) Installing py3-charset-normalizer-pyc (3.4.4-r0)
(42/71) Installing py3-idna (3.10-r0)
(43/71) Installing py3-idna-pyc (3.10-r0)
(44/71) Installing py3-urllib3 (1.26.20-r0)
(45/71) Installing py3-urllib3-pyc (1.26.20-r0)
(46/71) Installing py3-requests (2.32.5-r0)
(47/71) Installing py3-requests-pyc (2.32.5-r0)
(48/71) Installing py3-snowballstemmer (3.0.1-r0)
(49/71) Installing py3-snowballstemmer-pyc (3.0.1-r0)
(50/71) Installing py3-alabaster (1.0.0-r0)
(51/71) Installing py3-alabaster-pyc (1.0.0-r0)
(52/71) Installing py3-roman-numerals (3.1.0-r0)
(53/71) Installing py3-roman-numerals-pyc (3.1.0-r0)
(54/71) Installing py3-sphinxcontrib-applehelp (1.0.4-r3)
(55/71) Installing py3-sphinxcontrib-applehelp-pyc (1.0.4-r3)
(56/71) Installing py3-sphinxcontrib-devhelp (1.0.5-r2)
(57/71) Installing py3-sphinxcontrib-devhelp-pyc (1.0.5-r2)
(58/71) Installing py3-sphinxcontrib-htmlhelp (2.1.0-r0)
(59/71) Installing py3-sphinxcontrib-htmlhelp-pyc (2.1.0-r0)
(60/71) Installing py3-sphinxcontrib-jsmath (1.0.1-r8)
(61/71) Installing py3-sphinxcontrib-jsmath-pyc (1.0.1-r8)
(62/71) Installing py3-sphinxcontrib-serializinghtml (1.1.9-r2)
(63/71) Installing py3-sphinxcontrib-serializinghtml-pyc (1.1.9-r2)
(64/71) Installing py3-sphinxcontrib-qthelp (2.0.0-r0)
(65/71) Installing py3-sphinxcontrib-qthelp-pyc (2.0.0-r0)
(66/71) Installing py3-sphinx (8.2.3-r1)
(67/71) Installing py3-sphinxcontrib-jquery (4.1-r3)
(68/71) Installing py3-sphinxcontrib-jquery-pyc (4.1-r3)
(69/71) Installing py3-sphinx_rtd_theme (2.0.0-r1)
(70/71) Installing py3-sphinx_rtd_theme-pyc (2.0.0-r1)
(71/71) Installing .makedepends-idris2 (20251109.161511)
busybox-1.37.0-r24.trigger: Executing script...
OK: 584 MiB in 176 packages
>>> idris2: Cleaning up srcdir
>>> idris2: Cleaning up pkgdir
>>> idris2: Cleaning up tmpdir
>>> idris2: 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/fix-expected-cat-err.patch: OK
>>> idris2: 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/fix-expected-cat-err.patch: OK
>>> idris2: Unpacking /var/cache/distfiles/v3.23/idris2-0.7.0.tar.gz...
>>> idris2: fix-expected-cat-err.patch
patching file tests/idris2/reflection/reflection024/expected
make /home/buildozer/aports/community/idris2/src/Idris2-0.7.0/build/exec/idris2
make[1]: Entering directory '/home/buildozer/aports/community/idris2/src/Idris2-0.7.0'
make[2]: Entering directory '/home/buildozer/aports/community/idris2/src/Idris2-0.7.0/support'
make[3]: Entering directory '/home/buildozer/aports/community/idris2/src/Idris2-0.7.0/support/c'
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o getline.o getline.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o idris_directory.o idris_directory.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o idris_file.o idris_file.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o idris_memory.o idris_memory.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o idris_net.o idris_net.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o idris_signal.o idris_signal.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o idris_support.o idris_support.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o idris_system.o idris_system.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o idris_term.o idris_term.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -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 -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -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[3]: Leaving directory '/home/buildozer/aports/community/idris2/src/Idris2-0.7.0/support/c'
make[3]: Entering directory '/home/buildozer/aports/community/idris2/src/Idris2-0.7.0/support/refc'
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o buffer.o buffer.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o casts.o casts.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o clock.o clock.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o conCaseHelper.o conCaseHelper.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o mathFunctions.o mathFunctions.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o memoryManagement.o memoryManagement.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o prim.o prim.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o refc_util.o refc_util.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o runtime.o runtime.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -fPIC -fPIC -fPIC -O2   -c -o stringOps.o stringOps.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fPIC -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[3]: Leaving directory '/home/buildozer/aports/community/idris2/src/Idris2-0.7.0/support/refc'
make[3]: Entering directory '/home/buildozer/aports/community/idris2/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[3]: Leaving directory '/home/buildozer/aports/community/idris2/src/Idris2-0.7.0/support/chez'
make[2]: Leaving directory '/home/buildozer/aports/community/idris2/src/Idris2-0.7.0/support'
echo "-- @""generated" > src/IdrisPaths.idr
echo 'module IdrisPaths' >> src/IdrisPaths.idr
echo 'export idrisVersion : ((Nat,Nat,Nat), String); idrisVersion = ((0,7,0), "")' >> src/IdrisPaths.idr
echo 'export yprefix : String; yprefix="/usr"' >> src/IdrisPaths.idr
idris2 --build idris2.ipkg
Exception: incompatible fasl-object version 10.2.0 found in /usr/bin/idris2_app/idris2.so
make[1]: *** [Makefile:69: /home/buildozer/aports/community/idris2/src/Idris2-0.7.0/build/exec/idris2] Error 255
make[1]: Leaving directory '/home/buildozer/aports/community/idris2/src/Idris2-0.7.0'
make: *** [Makefile:63: all] Error 2
>>> ERROR: idris2: build failed
>>> idris2: Uninstalling dependencies...
( 1/71) Purging .makedepends-idris2 (20251109.161511)
( 2/71) Purging idris2-stage0 (0.7.0-r3)
( 3/71) Purging chez-scheme (10.3.0-r0)
( 4/71) Purging bash (5.3.3-r1)
bash-5.3.3-r1.pre-deinstall: Executing script...
( 5/71) Purging py3-sphinx_rtd_theme-pyc (2.0.0-r1)
( 6/71) Purging py3-sphinx_rtd_theme (2.0.0-r1)
( 7/71) Purging py3-sphinxcontrib-jquery-pyc (4.1-r3)
( 8/71) Purging py3-sphinxcontrib-jquery (4.1-r3)
( 9/71) Purging py3-sphinx-pyc (8.2.3-r1)
(10/71) Purging py3-sphinx (8.2.3-r1)
(11/71) Purging py3-babel-pyc (2.17.0-r0)
(12/71) Purging py3-babel (2.17.0-r0)
(13/71) Purging py3-tz-pyc (2025.2-r0)
(14/71) Purging py3-tz (2025.2-r0)
(15/71) Purging py3-setuptools-pyc (80.9.0-r2)
(16/71) Purging py3-setuptools (80.9.0-r2)
(17/71) Purging py3-docutils-pyc (0.21.2-r1)
(18/71) Purging py3-docutils (0.21.2-r1)
(19/71) Purging py3-imagesize-pyc (1.4.1-r4)
(20/71) Purging py3-imagesize (1.4.1-r4)
(21/71) Purging py3-jinja2-pyc (3.1.6-r0)
(22/71) Purging py3-jinja2 (3.1.6-r0)
(23/71) Purging py3-markupsafe-pyc (3.0.2-r0)
(24/71) Purging py3-markupsafe (3.0.2-r0)
(25/71) Purging py3-packaging-pyc (25.0-r0)
(26/71) Purging py3-packaging (25.0-r0)
(27/71) Purging py3-parsing-pyc (3.2.3-r0)
(28/71) Purging py3-parsing (3.2.3-r0)
(29/71) Purging py3-pygments-pyc (2.19.2-r0)
(30/71) Purging py3-pygments (2.19.2-r0)
(31/71) Purging py3-requests-pyc (2.32.5-r0)
(32/71) Purging py3-requests (2.32.5-r0)
(33/71) Purging py3-certifi-pyc (2025.10.5-r0)
(34/71) Purging py3-certifi (2025.10.5-r0)
(35/71) Purging py3-charset-normalizer-pyc (3.4.4-r0)
(36/71) Purging py3-charset-normalizer (3.4.4-r0)
(37/71) Purging py3-idna-pyc (3.10-r0)
(38/71) Purging py3-idna (3.10-r0)
(39/71) Purging py3-urllib3-pyc (1.26.20-r0)
(40/71) Purging py3-urllib3 (1.26.20-r0)
(41/71) Purging py3-snowballstemmer-pyc (3.0.1-r0)
(42/71) Purging py3-snowballstemmer (3.0.1-r0)
(43/71) Purging py3-alabaster-pyc (1.0.0-r0)
(44/71) Purging py3-alabaster (1.0.0-r0)
(45/71) Purging py3-roman-numerals-pyc (3.1.0-r0)
(46/71) Purging py3-roman-numerals (3.1.0-r0)
(47/71) Purging py3-sphinxcontrib-applehelp-pyc (1.0.4-r3)
(48/71) Purging py3-sphinxcontrib-applehelp (1.0.4-r3)
(49/71) Purging py3-sphinxcontrib-devhelp-pyc (1.0.5-r2)
(50/71) Purging py3-sphinxcontrib-devhelp (1.0.5-r2)
(51/71) Purging py3-sphinxcontrib-htmlhelp-pyc (2.1.0-r0)
(52/71) Purging py3-sphinxcontrib-htmlhelp (2.1.0-r0)
(53/71) Purging py3-sphinxcontrib-jsmath-pyc (1.0.1-r8)
(54/71) Purging py3-sphinxcontrib-jsmath (1.0.1-r8)
(55/71) Purging py3-sphinxcontrib-serializinghtml-pyc (1.1.9-r2)
(56/71) Purging py3-sphinxcontrib-serializinghtml (1.1.9-r2)
(57/71) Purging py3-sphinxcontrib-qthelp-pyc (2.0.0-r0)
(58/71) Purging py3-sphinxcontrib-qthelp (2.0.0-r0)
(59/71) Purging python3-pyc (3.12.12-r0)
(60/71) Purging python3-pycache-pyc0 (3.12.12-r0)
(61/71) Purging pyc (3.12.12-r0)
(62/71) Purging python3 (3.12.12-r0)
(63/71) Purging gdbm (1.26-r0)
(64/71) Purging libbz2 (1.0.8-r6)
(65/71) Purging libffi (3.5.2-r0)
(66/71) Purging libpanelw (6.5_p20251010-r0)
(67/71) Purging mpdecimal (4.0.1-r0)
(68/71) Purging sqlite-libs (3.51.0-r0)
(69/71) Purging xz-libs (5.8.1-r0)
(70/71) Purging gmp-dev (6.3.0-r4)
(71/71) Purging libgmpxx (6.3.0-r4)
busybox-1.37.0-r24.trigger: Executing script...
OK: 342 MiB in 105 packages