* Package: dev-lang/idris2-0.6.0:0 * Repository: gentoo * Maintainer: scheme@gentoo.org * Upstream: https://github.com/idris-lang/Idris2/issues/ * USE: abi_x86_64 amd64 chez elibc_glibc kernel_linux userland_GNU * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox >>> Unpacking source... >>> Unpacking idris2-0.6.0.tar.gz to /var/tmp/portage/dev-lang/idris2-0.6.0/work >>> Source unpacked in /var/tmp/portage/dev-lang/idris2-0.6.0/work >>> Preparing source in /var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0 ... >>> Source prepared. >>> Configuring source in /var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0 ... >>> Source configured. >>> Compiling source in /var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0 ... make -j4 SCHEME=chezscheme bootstrap -j1 make[1]: Entering directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/support/c' x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o idris_util.o idris_util.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o idris_directory.o idris_directory.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o idris_memory.o idris_memory.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o idris_system.o idris_system.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o idris_signal.o idris_signal.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o getline.o getline.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o idris_support.o idris_support.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o idris_file.o idris_file.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o idris_term.o idris_term.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o idris_net.o idris_net.c x86_64-pc-linux-gnu-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 x86_64-pc-linux-gnu-ranlib libidris2_support.a x86_64-pc-linux-gnu-gcc -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,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 make[1]: Leaving directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/support/c' make[1]: Entering directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/support/refc' x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o casts.o casts.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o runtime.o runtime.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o conCaseHelper.o conCaseHelper.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o stringOps.o stringOps.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o mathFunctions.o mathFunctions.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o clock.o clock.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o prim.o prim.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o memoryManagement.o memoryManagement.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o buffer.o buffer.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o refc_util.o refc_util.c x86_64-pc-linux-gnu-gcc -Wall -Wall -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fPIC -c -o threads.o threads.c x86_64-pc-linux-gnu-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 x86_64-pc-linux-gnu-ranlib libidris2_refc.a make[1]: Leaving directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/support/refc' make[1]: Entering directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.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[1]: Leaving directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/support/chez' 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__|/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/bootstrap-build|g' \ bootstrap/idris2_app/idris2.ss \ > bootstrap-build/idris2_app/idris2-boot.ss /bin/sh ./bootstrap-stage1-chez.sh Bootstrapping SCHEME=chezscheme IDRIS2_VERSION=0.6.0 Building idris2-boot from idris2-boot.ss compiling idris2_app/idris2-boot.ss with output to idris2_app/idris2-boot.so IDRIS2_CG="chez" /bin/sh ./bootstrap-stage2.sh /var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/bootstrap-build make[1]: Entering directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0' make -C libs/prelude IDRIS2=/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/prelude/build/ttc:/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/base/build/ttc:/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/linear/build/ttc:/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/network/build/ttc:/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/contrib/build/ttc:/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/test/build/ttc" make[2]: Entering directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/prelude' /var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/build/exec/idris2 --build prelude.ipkg 1/14: Building Builtin (Builtin.idr) 2/14: Building PrimIO (PrimIO.idr) 3/14: Building Prelude.Ops (Prelude/Ops.idr) 4/14: Building Prelude.Basics (Prelude/Basics.idr) 5/14: Building Prelude.EqOrd (Prelude/EqOrd.idr) 6/14: Building Prelude.Num (Prelude/Num.idr) 7/14: Building Prelude.Interfaces (Prelude/Interfaces.idr) 8/14: Building Prelude.Uninhabited (Prelude/Uninhabited.idr) 9/14: Building Prelude.Types (Prelude/Types.idr) 10/14: Building Prelude.Cast (Prelude/Cast.idr) 11/14: Building Prelude.Interpolation (Prelude/Interpolation.idr) 12/14: Building Prelude.Show (Prelude/Show.idr) 13/14: Building Prelude.IO (Prelude/IO.idr) 14/14: Building Prelude (Prelude.idr) make[2]: Leaving directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/prelude' make -C libs/linear IDRIS2=/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/prelude/build/ttc:/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/base/build/ttc:/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/linear/build/ttc:/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/network/build/ttc:/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/contrib/build/ttc:/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/test/build/ttc" make[2]: Entering directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/linear' /var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/build/exec/idris2 --build linear.ipkg 1/12: Building Data.Linear.Notation (Data/Linear/Notation.idr) 2/12: Building Data.Linear.Bifunctor (Data/Linear/Bifunctor.idr) Error: Module Data.Nat not found Data.Linear.Copies:5:1--5:16 1 | module Data.Linear.Copies 2 | 3 | import Data.Linear.Bifunctor 4 | import Data.Linear.Notation 5 | import Data.Nat ^^^^^^^^^^^^^^^ make[2]: *** [Makefile:2: all] Error 1 shuffle=2531576049 make[2]: Leaving directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/linear' make[1]: *** [Makefile:90: linear] Error 2 shuffle=2531576049 make[1]: Leaving directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0' make: *** [Makefile:261: bootstrap] Error 2 shuffle=2531576049 * ERROR: dev-lang/idris2-0.6.0::gentoo failed (compile phase): * emake failed * * If you need support, post the output of `emerge --info '=dev-lang/idris2-0.6.0::gentoo'`, * the complete build log and the output of `emerge -pqv '=dev-lang/idris2-0.6.0::gentoo'`. * The complete build log is located at '/var/log/portage/dev-lang:idris2-0.6.0:20221112-130835.log'. * For convenience, a symlink to the build log is located at '/var/tmp/portage/dev-lang/idris2-0.6.0/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/dev-lang/idris2-0.6.0/temp/environment'. * Working directory: '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0' * S: '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0'