| Summary: | sci-mathematics/cvc4-1.8-r3 - /.../expr_template.h:0: error: undefined replacement ${getConst_instantiations} | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
| Component: | Current packages | Assignee: | Tupone Alfredo <tupone> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | ||
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Bug Depends on: | |||
| Bug Blocks: | 881379 | ||
| Attachments: |
emerge-info.txt
emerge-history.txt environment etc.clang.tar.bz2 etc.portage.tar.bz2 logs.tar.bz2 sci-mathematics:cvc4-1.8-r2:20221127-093008.log temp.tar.bz2 var.tmp.clang.tar.bz2 |
||
Created attachment 837523 [details]
emerge-info.txt
Created attachment 837525 [details]
emerge-history.txt
Created attachment 837527 [details]
environment
Created attachment 837529 [details]
etc.clang.tar.bz2
Created attachment 837531 [details]
etc.portage.tar.bz2
Created attachment 837533 [details]
logs.tar.bz2
Created attachment 837535 [details]
sci-mathematics:cvc4-1.8-r2:20221127-093008.log
Created attachment 837537 [details]
temp.tar.bz2
Created attachment 837539 [details]
var.tmp.clang.tar.bz2
ci has reproduced this issue with version 1.8-r3 - Updating summary. The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=978a74a61f2ca616c39051f9de4aab1214920bca commit 978a74a61f2ca616c39051f9de4aab1214920bca Author: Kai-Chun Ning <kaichun.ning@gmail.com> AuthorDate: 2023-03-05 10:53:54 +0000 Commit: Sam James <sam@gentoo.org> CommitDate: 2023-03-05 11:31:38 +0000 sci-mathematics/cvc4: fix build with bash 5.2 Closes: https://bugs.gentoo.org/883273 Signed-off-by: Kai-Chun Ning <kaichun.ning@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/29933 Signed-off-by: Sam James <sam@gentoo.org> .../{cvc4-1.8-r3.ebuild => cvc4-1.8-r4.ebuild} | 1 + .../cvc4/files/cvc4-1.8-bash-5.2-fix.patch | 44 ++++++++++++++++++++++ 2 files changed, 45 insertions(+) |
too long lines were shrinked: [ 4%] Generating expr.h [ 4%] Generating kind.cpp cd /var/tmp/portage/sci-mathematics/cvc4-1.8-r2/work/cvc4-1.8_build/src/expr && /var/tmp/portage/sci-mathematics/cvc4-1.8-r2/work/CVC4-archived-1.8/src/expr/mkkind /var/tmp/portage/sci-mathematics/cvc4-1.8-r2/work/CVC4-archived-1.8/src/expr/kind_template.cpp /var/tmp/portage/sci-mathematics/cvc4-1.8 cd /var/tmp/portage/sci-mathematics/cvc4-1.8-r2/work/cvc4-1.8_build/src/expr && /var/tmp/portage/sci-mathematics/cvc4-1.8-r2/work/CVC4-archived-1.8/src/expr/mkexpr /var/tmp/portage/sci-mathematics/cvc4-1.8-r2/work/CVC4-archived-1.8/src/expr/expr_template.h /var/tmp/portage/sci-mathematics/cvc4-1.8-r /var/tmp/portage/sci-mathematics/cvc4-1.8-r2/work/CVC4-archived-1.8/src/expr/expr_template.h:0: error: undefined replacement ${getConst_instantiations} make[2]: *** [src/expr/CMakeFiles/gen-expr.dir/build.make:114: src/expr/expr.h] Error 1 shuffle=3456886890 make[2]: *** Deleting file 'src/expr/expr.h' ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_systemd-j4-20221126-200004 ------------------------------------------------------------------- GNUMAKEFLAGS="$GNUMAKEFLAGS --shuffle" CC=clang CXX=clang++ gcc-config -l: [1] x86_64-pc-linux-gnu-12 * clang/llvm (if any): clang version 15.0.5 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/15/bin Configuration file: /etc/clang/clang.cfg /usr/lib/llvm/15 15.0.5 Python 3.10.8 Available Ruby profiles: [1] ruby31 * Available Rust versions: [1] rust-bin-1.65.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 17.0.5_p8 [openjdk-bin-17] *) Eclipse Temurin JDK 8.352_p08 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm [2] openjdk-bin-17 php cli (if any): [1] php8.1 * HEAD of ::gentoo commit 500eafc69aa7c808ca2ed211df0213d4b6c25721 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sun Nov 27 08:36:46 2022 +0000 2022-11-27 08:36:46 UTC emerge -qpvO sci-mathematics/cvc4 [ebuild N ] sci-mathematics/cvc4-1.8-r2 USE="cln readline statistics -proofs"