dev-ml:coq-menhirlib-20220210:20240205-135745.log

dev-ml:coq-menhirlib-20220210:20240205-135745.log (text/plain), 2.29 KB, created by Toralf Förster on 2024-02-05 18:49:39 UTC

 * Package:    dev-ml/coq-menhirlib-20220210:0/20220210
 * Repository: gentoo
 * Maintainer: [e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux ocamlopt
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking menhir-20220210.tar.bz2 to /var/tmp/portage/dev-ml/coq-menhirlib-20220210/work
>>> Source unpacked in /var/tmp/portage/dev-ml/coq-menhirlib-20220210/work
>>> Preparing source in /var/tmp/portage/dev-ml/coq-menhirlib-20220210/work/menhir-20220210 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/dev-ml/coq-menhirlib-20220210/work/menhir-20220210 ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/dev-ml/coq-menhirlib-20220210/work/menhir-20220210 ...
make -j4 -C coq-menhirlib 
make: Entering directory '/var/tmp/portage/dev-ml/coq-menhirlib-20220210/work/menhir-20220210/coq-menhirlib'
coq_makefile -f _CoqProject -o CoqMakefile
make --no-print-directory -f CoqMakefile all
COQDEP VFILES
COQC Version.v
COQC Alphabet.v
COQNATIVE Version.vo
File "./Alphabet.v", line 76, characters 7-15:
Error: The variable gt_trans was not found in the current environment.

make[3]: *** [CoqMakefile:848: Alphabet.vo] Error 1
make[3]: *** [Alphabet.vo] Deleting file 'Alphabet.glob'
make[2]: *** [CoqMakefile:417: all] Error 2
make[1]: *** [Makefile:18: invoke-coqmakefile] Error 2
make: *** [Makefile:6: all] Error 2
make: Leaving directory '/var/tmp/portage/dev-ml/coq-menhirlib-20220210/work/menhir-20220210/coq-menhirlib'
 * ERROR: dev-ml/coq-menhirlib-20220210::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=dev-ml/coq-menhirlib-20220210::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=dev-ml/coq-menhirlib-20220210::gentoo'`.
 * The complete build log is located at '/var/log/portage/dev-ml:coq-menhirlib-20220210:20240205-135745.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/dev-ml/coq-menhirlib-20220210/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/dev-ml/coq-menhirlib-20220210/temp/environment'.
 * Working directory: '/var/tmp/portage/dev-ml/coq-menhirlib-20220210/work/menhir-20220210'
 * S: '/var/tmp/portage/dev-ml/coq-menhirlib-20220210/work/menhir-20220210'