dev-lang:idris2-0.6.0:20221112-130835.log

dev-lang:idris2-0.6.0:20221112-130835.log (text/plain), 9.51 KB, created by Toralf Förster on 2022-11-12 18:10:24 UTC

 * Package:    dev-lang/idris2-0.6.0:0
 * Repository: gentoo
 * Maintainer: [e-mail]
 * 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'