21 | if Pervasives.(<>) timelimit 0. then ^^^^^^^^^^^^^^^ Error (alert deprecated): module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_no-multilib-20200304-213403 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-9.2.0 * clang: clang version 10.0.0 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/10/bin llvm: 10.0.0 Available Python interpreters, in order of preference: [1] python3.8 [2] python3.7 [3] python3.6 [4] python2.7 (fallback) [5] pypy3 (fallback) Available Ruby profiles: [1] ruby24 (with Rubygems) [2] ruby25 (with Rubygems) * Available Rust versions: [1] rust-bin-1.41.1 [2] rust-1.41.1 * java-config: The following VMs are available for generation-2: *) AdoptOpenJDK 8.242_p08 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm ghc: The Glorious Glasgow Haskell Compilation System, version 8.0.2 repository: ==> /var/db/repos/gentoo/metadata/timestamp.chk <== Tue, 10 Mar 2020 04:07:38 +0000 emerge -qpvO sci-mathematics/alt-ergo [ebuild N ] sci-mathematics/alt-ergo-2.3.0 USE="ocamlopt -examples -gtk"
Created attachment 617856 [details] emerge-info.txt
Created attachment 617858 [details] emerge-history.txt
Created attachment 617860 [details] environment
Created attachment 617862 [details] etc.portage.tbz2
Created attachment 617864 [details] sci-mathematics:alt-ergo-2.3.0:20200310-052743.log
Created attachment 617866 [details] temp.tbz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9dc3663a2ba8a9a84fa283d166e91a249ab65d2b commit 9dc3663a2ba8a9a84fa283d166e91a249ab65d2b Author: Tupone Alfredo <tupone@gentoo.org> AuthorDate: 2020-03-10 21:37:53 +0000 Commit: Tupone Alfredo <tupone@gentoo.org> CommitDate: 2020-03-10 21:37:53 +0000 sci-mathematics/alt-ergo: fix build with ocaml-4.09 Closes: https://bugs.gentoo.org/712032 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-)
