Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 752468 - dev-ml/jbuilder-1.0_beta14 : Error: Multiple definition of the type name t.
Summary: dev-ml/jbuilder-1.0_beta14 : Error: Multiple definition of the type name t.
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2020-11-03 08:18 UTC by Toralf Förster
Modified: 2021-02-06 21:08 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,15.04 KB, text/plain)
2020-11-03 08:18 UTC, Toralf Förster
Details
dev-ml:jbuilder-1.0_beta14:20201103-075641.log (dev-ml:jbuilder-1.0_beta14:20201103-075641.log,2.83 KB, text/plain)
2020-11-03 08:19 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,23.82 KB, text/plain)
2020-11-03 08:19 UTC, Toralf Förster
Details
environment (environment,10.39 KB, text/plain)
2020-11-03 08:19 UTC, Toralf Förster
Details
etc.portage.tbz2 (etc.portage.tbz2,14.90 KB, application/x-bzip)
2020-11-03 08:19 UTC, Toralf Förster
Details
temp.tbz2 (temp.tbz2,4.73 KB, application/x-bzip)
2020-11-03 08:19 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2020-11-03 08:18:58 UTC
/usr/bin/ocamlopt.opt -w -40 -o boot.exe unix.cmxa boot.ml
File "src/import.ml", line 32, characters 2-20:
Error: Multiple definition of the type name t.
       Names must be unique in a given structure or signature.
make: *** [Makefile:13: boot.exe] Error 2
 * ERROR: dev-ml/jbuilder-1.0_beta14::gentoo failed (compile phase):

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1-libressl-20201102-160640

  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-10.2.0 *
Available Python interpreters, in order of preference:
  [1]   python3.7
  [2]   python3.9 (fallback)
Available Ruby profiles:
  [1]   ruby25 (with Rubygems)
  [2]   ruby26 (with Rubygems)
  [3]   ruby27 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.47.0 *
The following VMs are available for generation-2:
*)	AdoptOpenJDK 8.272_p10 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm

The Glorious Glasgow Haskell Compilation System, version 8.8.4

  timestamp(s) of HEAD at this tinderbox image:
/var/db/repos/gentoo	Tue Nov  3 07:05:26 AM UTC 2020
/var/db/repos/libressl	Sun Oct 18 04:35:14 PM UTC 2020

emerge -qpvO dev-ml/jbuilder
[ebuild  N    ] dev-ml/jbuilder-1.0_beta14  USE="-test"
Comment 1 Toralf Förster gentoo-dev 2020-11-03 08:18:59 UTC
Created attachment 669857 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2020-11-03 08:19:00 UTC
Created attachment 669860 [details]
dev-ml:jbuilder-1.0_beta14:20201103-075641.log
Comment 3 Toralf Förster gentoo-dev 2020-11-03 08:19:02 UTC
Created attachment 669863 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2020-11-03 08:19:03 UTC
Created attachment 669866 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2020-11-03 08:19:04 UTC
Created attachment 669869 [details]
etc.portage.tbz2
Comment 6 Toralf Förster gentoo-dev 2020-11-03 08:19:06 UTC
Created attachment 669872 [details]
temp.tbz2
Comment 7 Larry the Git Cow gentoo-dev 2021-02-06 21:08:16 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cafbd0051f1b9640af60aaae8ce75cfcb852bdfc

commit cafbd0051f1b9640af60aaae8ce75cfcb852bdfc
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2021-02-06 21:07:58 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2021-02-06 21:07:58 +0000

    dev-ml/jbuilder: depends on <=ocaml-4.05
    
    Closes: https://bugs.gentoo.org/752468
    Package-Manager: Portage-3.0.13, Repoman-3.0.2
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/jbuilder/jbuilder-1.0_beta14.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)