Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 767196 - dev-ml/ppx_tools_versioned-5.0.1 : Error: Unbound value Location.print_error
Summary: dev-ml/ppx_tools_versioned-5.0.1 : Error: Unbound value Location.print_error
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
URL:
Whiteboard:
Keywords: PMASKED
Depends on:
Blocks:
 
Reported: 2021-01-25 20:55 UTC by Toralf Förster
Modified: 2021-11-14 14:00 UTC (History)
1 user (show)

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


Attachments
emerge-info.txt (emerge-info.txt,19.99 KB, text/plain)
2021-01-25 20:55 UTC, Toralf Förster
Details
dev-ml:ppx_tools_versioned-5.0.1:20210125-201037.log (dev-ml:ppx_tools_versioned-5.0.1:20210125-201037.log,22.27 KB, text/plain)
2021-01-25 20:55 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,623.35 KB, text/plain)
2021-01-25 20:55 UTC, Toralf Förster
Details
environment (environment,19.80 KB, text/plain)
2021-01-25 20:55 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,58.67 KB, application/x-bzip)
2021-01-25 20:55 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,8.39 KB, application/x-bzip)
2021-01-25 20:55 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 2021-01-25 20:55:47 UTC
105 |           Location.print_error loc;
                ^^^^^^^^^^^^^^^^^^^^
Error: Unbound value Location.print_error
Hint: Did you mean print_report?
make: *** [Makefile:58: ppx_metaquot_402.cmx] Error 2
 * ERROR: dev-ml/ppx_tools_versioned-5.0.1::gentoo failed (compile phase):

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop-20210102-162234

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-7.3.1
 [2] x86_64-pc-linux-gnu-8.3.1
 [3] x86_64-pc-linux-gnu-10.2.0 *
clang version 11.0.1
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/11/bin
/usr/lib/llvm/11
11.0.1
Python 3.8.7
Available Ruby profiles:
  [1]   ruby25 (with Rubygems)
  [2]   ruby26 (with Rubygems)
  [3]   ruby27 (with Rubygems) *
Available Rust versions:
  [1]   rust-1.48.0 *
The following VMs are available for generation-2:
1)	IcedTea JDK 3.16.0 [icedtea-bin-8]
*)	AdoptOpenJDK 8.272_p10 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   icedtea-bin-8 
  [2]   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	Mon Jan 25 07:32:40 PM UTC 2021

emerge -qpvO dev-ml/ppx_tools_versioned
[ebuild  N    ] dev-ml/ppx_tools_versioned-5.0.1
Comment 1 Toralf Förster gentoo-dev 2021-01-25 20:55:48 UTC
Created attachment 684660 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2021-01-25 20:55:49 UTC
Created attachment 684663 [details]
dev-ml:ppx_tools_versioned-5.0.1:20210125-201037.log
Comment 3 Toralf Förster gentoo-dev 2021-01-25 20:55:51 UTC
Created attachment 684666 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2021-01-25 20:55:52 UTC
Created attachment 684669 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2021-01-25 20:55:53 UTC
Created attachment 684672 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2021-01-25 20:55:54 UTC
Created attachment 684675 [details]
temp.tar.bz2
Comment 7 Larry the Git Cow gentoo-dev 2021-10-15 03:59:06 UTC
The bug has been referenced in the following commit(s):

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

commit f9e1ff4d2d9fea92d73cfe61e564cec63861125e
Author:     Sam James <sam@gentoo.org>
AuthorDate: 2021-10-15 03:57:43 +0000
Commit:     Sam James <sam@gentoo.org>
CommitDate: 2021-10-15 03:58:46 +0000

    profiles: last-rite dev-ml/ppx_tools_versioned
    
    Bug: https://bugs.gentoo.org/767196
    Bug: https://bugs.gentoo.org/771756
    Signed-off-by: Sam James <sam@gentoo.org>

 profiles/package.mask | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)
Comment 8 Larry the Git Cow gentoo-dev 2021-11-14 14:00:02 UTC
The bug has been closed via the following commit(s):

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

commit 9ee9e73f5c6c904015d81e12ccf6d18d9208c570
Author:     Jakov Smolić <jsmolic@gentoo.org>
AuthorDate: 2021-11-14 13:54:04 +0000
Commit:     Jakov Smolić <jsmolic@gentoo.org>
CommitDate: 2021-11-14 13:58:48 +0000

    dev-ml/ppx_tools_versioned: treeclean
    
    Closes: https://bugs.gentoo.org/767196
    Closes: https://bugs.gentoo.org/771756
    Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>

 dev-ml/ppx_tools_versioned/Manifest                |  1 -
 dev-ml/ppx_tools_versioned/metadata.xml            |  8 -------
 .../ppx_tools_versioned-5.4.0.ebuild               | 25 ----------------------
 profiles/package.mask                              |  1 -
 4 files changed, 35 deletions(-)