>>> idris2: Building community/idris2 0.7.0-r7 (using abuild 3.16.0_rc4-r0) started Thu, 20 Nov 2025 15:38:10 +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/68) Installing chez-scheme (10.3.0-r0)
( 2/68) Installing libgmpxx (6.3.0-r4)
( 3/68) Installing gmp-dev (6.3.0-r4)
( 4/68) Installing idris2-stage0 (0.7.0-r3)
( 5/68) Installing bash (5.3.3-r1)
bash-5.3.3-r1.post-install: Executing script...
( 6/68) Installing gdbm (1.26-r0)
( 7/68) Installing xz-libs (5.8.1-r0)
( 8/68) Installing mpdecimal (4.0.1-r0)
( 9/68) Installing libpanelw (6.5_p20251115-r0)
(10/68) Installing python3 (3.12.12-r0)
(11/68) Installing python3-pycache-pyc0 (3.12.12-r0)
(12/68) Installing pyc (3.12.12-r0)
(13/68) Installing py3-sphinx-pyc (8.2.3-r1)
(14/68) Installing py3-babel-pyc (2.17.0-r0)
(15/68) Installing py3-tz-pyc (2025.2-r0)
(16/68) Installing python3-pyc (3.12.12-r0)
(17/68) Installing py3-tz (2025.2-r0)
(18/68) Installing py3-parsing (3.2.3-r0)
(19/68) Installing py3-parsing-pyc (3.2.3-r0)
(20/68) Installing py3-packaging (25.0-r0)
(21/68) Installing py3-packaging-pyc (25.0-r0)
(22/68) Installing py3-setuptools (80.9.0-r2)
(23/68) Installing py3-setuptools-pyc (80.9.0-r2)
(24/68) Installing py3-babel (2.17.0-r0)
(25/68) Installing py3-docutils (0.21.2-r1)
(26/68) Installing py3-docutils-pyc (0.21.2-r1)
(27/68) Installing py3-imagesize (1.4.1-r4)
(28/68) Installing py3-imagesize-pyc (1.4.1-r4)
(29/68) Installing py3-markupsafe (3.0.2-r0)
(30/68) Installing py3-markupsafe-pyc (3.0.2-r0)
(31/68) Installing py3-jinja2 (3.1.6-r0)
(32/68) Installing py3-jinja2-pyc (3.1.6-r0)
(33/68) Installing py3-pygments (2.19.2-r0)
(34/68) Installing py3-pygments-pyc (2.19.2-r0)
(35/68) Installing py3-certifi (2025.11.12-r0)
(36/68) Installing py3-certifi-pyc (2025.11.12-r0)
(37/68) Installing py3-charset-normalizer (3.4.4-r0)
(38/68) Installing py3-charset-normalizer-pyc (3.4.4-r0)
(39/68) Installing py3-idna (3.11-r0)
(40/68) Installing py3-idna-pyc (3.11-r0)
(41/68) Installing py3-urllib3 (1.26.20-r0)
(42/68) Installing py3-urllib3-pyc (1.26.20-r0)
(43/68) Installing py3-requests (2.32.5-r0)
(44/68) Installing py3-requests-pyc (2.32.5-r0)
(45/68) Installing py3-snowballstemmer (3.0.1-r0)
(46/68) Installing py3-snowballstemmer-pyc (3.0.1-r0)
(47/68) Installing py3-alabaster (1.0.0-r0)
(48/68) Installing py3-alabaster-pyc (1.0.0-r0)
(49/68) Installing py3-roman-numerals (3.1.0-r0)
(50/68) Installing py3-roman-numerals-pyc (3.1.0-r0)
(51/68) Installing py3-sphinxcontrib-applehelp (1.0.4-r3)
(52/68) Installing py3-sphinxcontrib-applehelp-pyc (1.0.4-r3)
(53/68) Installing py3-sphinxcontrib-devhelp (1.0.5-r2)
(54/68) Installing py3-sphinxcontrib-devhelp-pyc (1.0.5-r2)
(55/68) Installing py3-sphinxcontrib-htmlhelp (2.1.0-r0)
(56/68) Installing py3-sphinxcontrib-htmlhelp-pyc (2.1.0-r0)
(57/68) Installing py3-sphinxcontrib-jsmath (1.0.1-r8)
(58/68) Installing py3-sphinxcontrib-jsmath-pyc (1.0.1-r8)
(59/68) Installing py3-sphinxcontrib-serializinghtml (1.1.9-r2)
(60/68) Installing py3-sphinxcontrib-serializinghtml-pyc (1.1.9-r2)
(61/68) Installing py3-sphinxcontrib-qthelp (2.0.0-r0)
(62/68) Installing py3-sphinxcontrib-qthelp-pyc (2.0.0-r0)
(63/68) Installing py3-sphinx (8.2.3-r1)
(64/68) Installing py3-sphinxcontrib-jquery (4.1-r3)
(65/68) Installing py3-sphinxcontrib-jquery-pyc (4.1-r3)
(66/68) Installing py3-sphinx_rtd_theme (2.0.0-r1)
(67/68) Installing py3-sphinx_rtd_theme-pyc (2.0.0-r1)
(68/68) Installing .makedepends-idris2 (20251120.153817)
busybox-1.37.0-r26.trigger: Executing script...
OK: 621 MiB in 219 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/68) Purging .makedepends-idris2 (20251120.153817)
( 2/68) Purging idris2-stage0 (0.7.0-r3)
( 3/68) Purging chez-scheme (10.3.0-r0)
( 4/68) Purging bash (5.3.3-r1)
bash-5.3.3-r1.pre-deinstall: Executing script...
( 5/68) Purging py3-sphinx_rtd_theme-pyc (2.0.0-r1)
( 6/68) Purging py3-sphinx_rtd_theme (2.0.0-r1)
( 7/68) Purging py3-sphinxcontrib-jquery-pyc (4.1-r3)
( 8/68) Purging py3-sphinxcontrib-jquery (4.1-r3)
( 9/68) Purging py3-sphinx-pyc (8.2.3-r1)
(10/68) Purging py3-sphinx (8.2.3-r1)
(11/68) Purging py3-babel-pyc (2.17.0-r0)
(12/68) Purging py3-babel (2.17.0-r0)
(13/68) Purging py3-tz-pyc (2025.2-r0)
(14/68) Purging py3-tz (2025.2-r0)
(15/68) Purging py3-setuptools-pyc (80.9.0-r2)
(16/68) Purging py3-setuptools (80.9.0-r2)
(17/68) Purging py3-docutils-pyc (0.21.2-r1)
(18/68) Purging py3-docutils (0.21.2-r1)
(19/68) Purging py3-imagesize-pyc (1.4.1-r4)
(20/68) Purging py3-imagesize (1.4.1-r4)
(21/68) Purging py3-jinja2-pyc (3.1.6-r0)
(22/68) Purging py3-jinja2 (3.1.6-r0)
(23/68) Purging py3-markupsafe-pyc (3.0.2-r0)
(24/68) Purging py3-markupsafe (3.0.2-r0)
(25/68) Purging py3-packaging-pyc (25.0-r0)
(26/68) Purging py3-packaging (25.0-r0)
(27/68) Purging py3-parsing-pyc (3.2.3-r0)
(28/68) Purging py3-parsing (3.2.3-r0)
(29/68) Purging py3-pygments-pyc (2.19.2-r0)
(30/68) Purging py3-pygments (2.19.2-r0)
(31/68) Purging py3-requests-pyc (2.32.5-r0)
(32/68) Purging py3-requests (2.32.5-r0)
(33/68) Purging py3-certifi-pyc (2025.11.12-r0)
(34/68) Purging py3-certifi (2025.11.12-r0)
(35/68) Purging py3-charset-normalizer-pyc (3.4.4-r0)
(36/68) Purging py3-charset-normalizer (3.4.4-r0)
(37/68) Purging py3-idna-pyc (3.11-r0)
(38/68) Purging py3-idna (3.11-r0)
(39/68) Purging py3-urllib3-pyc (1.26.20-r0)
(40/68) Purging py3-urllib3 (1.26.20-r0)
(41/68) Purging py3-snowballstemmer-pyc (3.0.1-r0)
(42/68) Purging py3-snowballstemmer (3.0.1-r0)
(43/68) Purging py3-alabaster-pyc (1.0.0-r0)
(44/68) Purging py3-alabaster (1.0.0-r0)
(45/68) Purging py3-roman-numerals-pyc (3.1.0-r0)
(46/68) Purging py3-roman-numerals (3.1.0-r0)
(47/68) Purging py3-sphinxcontrib-applehelp-pyc (1.0.4-r3)
(48/68) Purging py3-sphinxcontrib-applehelp (1.0.4-r3)
(49/68) Purging py3-sphinxcontrib-devhelp-pyc (1.0.5-r2)
(50/68) Purging py3-sphinxcontrib-devhelp (1.0.5-r2)
(51/68) Purging py3-sphinxcontrib-htmlhelp-pyc (2.1.0-r0)
(52/68) Purging py3-sphinxcontrib-htmlhelp (2.1.0-r0)
(53/68) Purging py3-sphinxcontrib-jsmath-pyc (1.0.1-r8)
(54/68) Purging py3-sphinxcontrib-jsmath (1.0.1-r8)
(55/68) Purging py3-sphinxcontrib-serializinghtml-pyc (1.1.9-r2)
(56/68) Purging py3-sphinxcontrib-serializinghtml (1.1.9-r2)
(57/68) Purging py3-sphinxcontrib-qthelp-pyc (2.0.0-r0)
(58/68) Purging py3-sphinxcontrib-qthelp (2.0.0-r0)
(59/68) Purging python3-pyc (3.12.12-r0)
(60/68) Purging python3-pycache-pyc0 (3.12.12-r0)
(61/68) Purging pyc (3.12.12-r0)
(62/68) Purging python3 (3.12.12-r0)
(63/68) Purging gdbm (1.26-r0)
(64/68) Purging libpanelw (6.5_p20251115-r0)
(65/68) Purging mpdecimal (4.0.1-r0)
(66/68) Purging xz-libs (5.8.1-r0)
(67/68) Purging gmp-dev (6.3.0-r4)
(68/68) Purging libgmpxx (6.3.0-r4)
busybox-1.37.0-r26.trigger: Executing script...
OK: 382 MiB in 151 packages