>>> idris2: Building community/idris2 0.7.0-r7 (using abuild 3.15.0-r0) started Fri, 10 Oct 2025 06:35:04 +0000
>>> idris2: Validating /home/udu/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
WARNING: opening /home/udu/packages//community: No such file or directory
WARNING: opening /home/udu/packages//main: No such file or directory
fetch http://dl-cdn.alpinelinux.org/alpine/v3.22/main/x86_64/APKINDEX.tar.gz
fetch http://dl-cdn.alpinelinux.org/alpine/v3.22/community/x86_64/APKINDEX.tar.gz
(1/60) Installing lz4-libs (1.10.0-r0)
(2/60) Installing chez-scheme (10.2.0-r0)
(3/60) Installing libgmpxx (6.3.0-r3)
(4/60) Installing gmp-dev (6.3.0-r3)
(5/60) Installing idris2-stage0 (0.7.0-r3)
(6/60) Installing py3-docutils (0.21.2-r0)
(7/60) Installing py3-docutils-pyc (0.21.2-r0)
(8/60) Installing py3-imagesize (1.4.1-r4)
(9/60) Installing py3-imagesize-pyc (1.4.1-r4)
(10/60) Installing py3-markupsafe (3.0.2-r0)
(11/60) Installing py3-markupsafe-pyc (3.0.2-r0)
(12/60) Installing py3-jinja2 (3.1.6-r0)
(13/60) Installing py3-jinja2-pyc (3.1.6-r0)
(14/60) Installing py3-parsing (3.2.3-r0)
(15/60) Installing py3-parsing-pyc (3.2.3-r0)
(16/60) Installing py3-packaging (25.0-r0)
(17/60) Installing py3-packaging-pyc (25.0-r0)
(18/60) Installing py3-pygments (2.19.1-r1)
(19/60) Installing py3-pygments-pyc (2.19.1-r1)
(20/60) Installing py3-certifi (2025.4.26-r0)
(21/60) Installing py3-certifi-pyc (2025.4.26-r0)
(22/60) Installing py3-charset-normalizer (3.4.2-r0)
(23/60) Installing py3-charset-normalizer-pyc (3.4.2-r0)
(24/60) Installing py3-idna (3.10-r0)
(25/60) Installing py3-idna-pyc (3.10-r0)
(26/60) Installing py3-urllib3 (1.26.20-r0)
(27/60) Installing py3-urllib3-pyc (1.26.20-r0)
(28/60) Installing py3-requests (2.32.5-r0)
(29/60) Installing py3-requests-pyc (2.32.5-r0)
(30/60) Installing py3-snowballstemmer (2.2.0-r5)
(31/60) Installing py3-snowballstemmer-pyc (2.2.0-r5)
(32/60) Installing py3-alabaster (1.0.0-r0)
(33/60) Installing py3-alabaster-pyc (1.0.0-r0)
(34/60) Installing py3-roman-numerals (3.1.0-r0)
(35/60) Installing py3-roman-numerals-pyc (3.1.0-r0)
(36/60) Installing py3-sphinxcontrib-applehelp (1.0.4-r3)
(37/60) Installing py3-sphinxcontrib-applehelp-pyc (1.0.4-r3)
(38/60) Installing py3-sphinxcontrib-devhelp (1.0.5-r2)
(39/60) Installing py3-sphinxcontrib-devhelp-pyc (1.0.5-r2)
(40/60) Installing py3-sphinxcontrib-htmlhelp (2.0.1-r3)
(41/60) Installing py3-sphinxcontrib-htmlhelp-pyc (2.0.1-r3)
(42/60) Installing py3-sphinxcontrib-jsmath (1.0.1-r8)
(43/60) Installing py3-sphinxcontrib-jsmath-pyc (1.0.1-r8)
(44/60) Installing py3-sphinxcontrib-serializinghtml (1.1.9-r2)
(45/60) Installing py3-sphinxcontrib-serializinghtml-pyc (1.1.9-r2)
(46/60) Installing py3-sphinxcontrib-qthelp (2.0.0-r0)
(47/60) Installing py3-sphinxcontrib-qthelp-pyc (2.0.0-r0)
(48/60) Installing py3-sphinx-pyc (8.2.3-r1)
(49/60) Installing py3-setuptools (80.9.0-r0)
(50/60) Installing py3-setuptools-pyc (80.9.0-r0)
(51/60) Installing py3-babel-pyc (2.17.0-r0)
(52/60) Installing py3-tz-pyc (2025.2-r0)
(53/60) Installing py3-tz (2025.2-r0)
(54/60) Installing py3-babel (2.17.0-r0)
(55/60) Installing py3-sphinx (8.2.3-r1)
(56/60) Installing py3-sphinxcontrib-jquery (4.1-r2)
(57/60) Installing py3-sphinxcontrib-jquery-pyc (4.1-r2)
(58/60) Installing py3-sphinx_rtd_theme (2.0.0-r1)
(59/60) Installing py3-sphinx_rtd_theme-pyc (2.0.0-r1)
(60/60) Installing .makedepends-idris2 (20251010.063505)
Executing busybox-1.37.0-r19.trigger
OK: 507 MiB in 149 packages
>>> idris2: Cleaning up srcdir
>>> idris2: Cleaning up pkgdir
>>> idris2: Cleaning up tmpdir
>>> idris2: Fetching https://github.com/idris-lang/Idris2/archive/v0.7.0/idris2-0.7.0.tar.gz
>>> idris2: Fetching https://github.com/idris-lang/Idris2/archive/v0.7.0/idris2-0.7.0.tar.gz
>>> idris2: Checking sha512sums...
idris2-0.7.0.tar.gz: OK
fix-expected-cat-err.patch: OK
>>> idris2: Unpacking /var/cache/distfiles/idris2-0.7.0.tar.gz...
>>> idris2: fix-expected-cat-err.patch
patching file tests/idris2/reflection/reflection024/expected
make /home/udu/aports/community/idris2/src/Idris2-0.7.0/build/exec/idris2
make[1]: Entering directory '/home/udu/aports/community/idris2/src/Idris2-0.7.0'
make[2]: Entering directory '/home/udu/aports/community/idris2/src/Idris2-0.7.0/support'
make[3]: Entering directory '/home/udu/aports/community/idris2/src/Idris2-0.7.0/support/c'
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fno-plt -fPIC -fPIC -fPIC -fPIC -O2   -c -o getline.o getline.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fno-plt -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 -fno-plt -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 -fno-plt -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 -fno-plt -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 -fno-plt -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 -fno-plt -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 -fno-plt -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 -fno-plt -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 -fno-plt -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 -fno-plt -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 -Wl,-z,pack-relative-relocs
make[3]: Leaving directory '/home/udu/aports/community/idris2/src/Idris2-0.7.0/support/c'
make[3]: Entering directory '/home/udu/aports/community/idris2/src/Idris2-0.7.0/support/refc'
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fno-plt -fPIC -fPIC -fPIC -fPIC -O2   -c -o buffer.o buffer.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fno-plt -fPIC -fPIC -fPIC -fPIC -O2   -c -o casts.o casts.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fno-plt -fPIC -fPIC -fPIC -fPIC -O2   -c -o clock.o clock.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fno-plt -fPIC -fPIC -fPIC -fPIC -O2   -c -o conCaseHelper.o conCaseHelper.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fno-plt -fPIC -fPIC -fPIC -fPIC -O2   -c -o mathFunctions.o mathFunctions.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fno-plt -fPIC -fPIC -fPIC -fPIC -O2   -c -o memoryManagement.o memoryManagement.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fno-plt -fPIC -fPIC -fPIC -fPIC -O2   -c -o prim.o prim.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fno-plt -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 -fno-plt -fPIC -fPIC -fPIC -fPIC -O2   -c -o runtime.o runtime.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fno-plt -fPIC -fPIC -fPIC -fPIC -O2   -c -o stringOps.o stringOps.c
cc -Wall -Wall -Wall -Wall -Os -fstack-clash-protection -Wformat -Werror=format-security -fno-plt -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/udu/aports/community/idris2/src/Idris2-0.7.0/support/refc'
make[3]: Entering directory '/home/udu/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/udu/aports/community/idris2/src/Idris2-0.7.0/support/chez'
make[2]: Leaving directory '/home/udu/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
warning: failed to get executable path (No such file or directory); ignoring %x
Segmentation fault
make[1]: *** [Makefile:69: /home/udu/aports/community/idris2/src/Idris2-0.7.0/build/exec/idris2] Error 139
make[1]: Leaving directory '/home/udu/aports/community/idris2/src/Idris2-0.7.0'
make: *** [Makefile:63: all] Error 2
>>> ERROR: idris2: build failed
>>> idris2: Uninstalling dependencies...
(1/60) Purging .makedepends-idris2 (20251010.063505)
(2/60) Purging idris2-stage0 (0.7.0-r3)
(3/60) Purging chez-scheme (10.2.0-r0)
(4/60) Purging gmp-dev (6.3.0-r3)
(5/60) Purging libgmpxx (6.3.0-r3)
(6/60) Purging py3-sphinx_rtd_theme-pyc (2.0.0-r1)
(7/60) Purging py3-sphinx_rtd_theme (2.0.0-r1)
(8/60) Purging py3-sphinxcontrib-jquery-pyc (4.1-r2)
(9/60) Purging py3-sphinxcontrib-jquery (4.1-r2)
(10/60) Purging py3-sphinx-pyc (8.2.3-r1)
(11/60) Purging py3-sphinx (8.2.3-r1)
(12/60) Purging py3-babel-pyc (2.17.0-r0)
(13/60) Purging py3-babel (2.17.0-r0)
(14/60) Purging py3-tz-pyc (2025.2-r0)
(15/60) Purging py3-tz (2025.2-r0)
(16/60) Purging py3-setuptools-pyc (80.9.0-r0)
(17/60) Purging py3-setuptools (80.9.0-r0)
(18/60) Purging py3-docutils-pyc (0.21.2-r0)
(19/60) Purging py3-docutils (0.21.2-r0)
(20/60) Purging py3-imagesize-pyc (1.4.1-r4)
(21/60) Purging py3-imagesize (1.4.1-r4)
(22/60) Purging py3-jinja2-pyc (3.1.6-r0)
(23/60) Purging py3-jinja2 (3.1.6-r0)
(24/60) Purging py3-markupsafe-pyc (3.0.2-r0)
(25/60) Purging py3-markupsafe (3.0.2-r0)
(26/60) Purging py3-packaging-pyc (25.0-r0)
(27/60) Purging py3-packaging (25.0-r0)
(28/60) Purging py3-parsing-pyc (3.2.3-r0)
(29/60) Purging py3-parsing (3.2.3-r0)
(30/60) Purging py3-pygments-pyc (2.19.1-r1)
(31/60) Purging py3-pygments (2.19.1-r1)
(32/60) Purging py3-requests-pyc (2.32.5-r0)
(33/60) Purging py3-requests (2.32.5-r0)
(34/60) Purging py3-certifi-pyc (2025.4.26-r0)
(35/60) Purging py3-certifi (2025.4.26-r0)
(36/60) Purging py3-charset-normalizer-pyc (3.4.2-r0)
(37/60) Purging py3-charset-normalizer (3.4.2-r0)
(38/60) Purging py3-idna-pyc (3.10-r0)
(39/60) Purging py3-idna (3.10-r0)
(40/60) Purging py3-urllib3-pyc (1.26.20-r0)
(41/60) Purging py3-urllib3 (1.26.20-r0)
(42/60) Purging py3-snowballstemmer-pyc (2.2.0-r5)
(43/60) Purging py3-snowballstemmer (2.2.0-r5)
(44/60) Purging py3-alabaster-pyc (1.0.0-r0)
(45/60) Purging py3-alabaster (1.0.0-r0)
(46/60) Purging py3-roman-numerals-pyc (3.1.0-r0)
(47/60) Purging py3-roman-numerals (3.1.0-r0)
(48/60) Purging py3-sphinxcontrib-applehelp-pyc (1.0.4-r3)
(49/60) Purging py3-sphinxcontrib-applehelp (1.0.4-r3)
(50/60) Purging py3-sphinxcontrib-devhelp-pyc (1.0.5-r2)
(51/60) Purging py3-sphinxcontrib-devhelp (1.0.5-r2)
(52/60) Purging py3-sphinxcontrib-htmlhelp-pyc (2.0.1-r3)
(53/60) Purging py3-sphinxcontrib-htmlhelp (2.0.1-r3)
(54/60) Purging py3-sphinxcontrib-jsmath-pyc (1.0.1-r8)
(55/60) Purging py3-sphinxcontrib-jsmath (1.0.1-r8)
(56/60) Purging py3-sphinxcontrib-serializinghtml-pyc (1.1.9-r2)
(57/60) Purging py3-sphinxcontrib-serializinghtml (1.1.9-r2)
(58/60) Purging py3-sphinxcontrib-qthelp-pyc (2.0.0-r0)
(59/60) Purging py3-sphinxcontrib-qthelp (2.0.0-r0)
(60/60) Purging lz4-libs (1.10.0-r0)
Executing busybox-1.37.0-r19.trigger
OK: 296 MiB in 89 packages