Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 753713 - dev-ml/camlp5-7.11 is incompatible with >dev-lang/ocaml-4.10.0
Summary: dev-ml/camlp5-7.11 is incompatible with >dev-lang/ocaml-4.10.0
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Tupone Alfredo
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2020-11-09 13:46 UTC by Alain Emilia Anna Zscheile
Modified: 2020-11-10 01:04 UTC (History)
2 users (show)

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


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Alain Emilia Anna Zscheile 2020-11-09 13:46:38 UTC
dev-ml/camlp5-7.11 should depend on <=dev-lang/ocaml-4.10.0, but it doesn't.


Reproducible: Always

Steps to Reproduce:
1. emerge '=dev-lang/ocaml-4.11.1'
2. emerge '=dev-ml/camlp5-7.11'
Actual Results:  
compilation fails with:

Sorry: the compatibility with ocaml version "4.11.1"
is not yet implemented. Please report.

Information: directory ocaml_stuff/4.11.1 is missing.

Expected Results:  
compilations succeeds

Error message:

Sorry: the compatibility with ocaml version "4.11.1"
is not yet implemented. Please report.

Information: directory ocaml_stuff/4.11.1 is missing.

emerge --info:
Portage 3.0.8 (python 3.8.5-final-0, default/linux/amd64/17.1, gcc-9.3.0, glibc-2.31-r6, 5.4.72-gentoo x86_64)
=================================================================
System uname: Linux-5.4.72-gentoo-x86_64-AMD_A10-5800K_APU_with_Radeon-tm-_HD_Graphics-with-glibc2.2.5
KiB Mem:    24137428 total,  14013304 free
KiB Swap:   24641532 total,  24641532 free
Timestamp of repository gentoo: Mon, 09 Nov 2020 11:15:01 +0000
Head commit of repository gentoo: 4afefb0f28d53782a3144365120e9c3706e3911a
Head commit of repository zscheile: 4673f81e1f0e7d04b4a5d8d2f1dcb1b28b9c59bd

sh bash 5.0_p18
ld GNU ld (Gentoo 2.34 p6) 2.34.0
ccache version 3.7.11 [enabled]
app-shells/bash:          5.0_p18::gentoo
dev-java/java-config:     2.3.1::gentoo
dev-lang/perl:            5.30.3::gentoo
dev-lang/python:          2.7.18-r4::gentoo, 3.7.9::gentoo, 3.8.5::gentoo
dev-util/ccache:          3.7.11::gentoo
dev-util/cmake:           3.17.4-r1::gentoo
sys-apps/baselayout:      2.7::gentoo
sys-apps/openrc:          0.42.1::gentoo
sys-apps/sandbox:         2.18::gentoo
sys-devel/autoconf:       2.13-r1::gentoo, 2.69-r5::gentoo
sys-devel/automake:       1.16.2::gentoo
sys-devel/binutils:       2.34-r2::gentoo
sys-devel/gcc:            9.3.0-r1::gentoo
sys-devel/gcc-config:     2.3.2::gentoo
sys-devel/libtool:        2.4.6-r6::gentoo
sys-devel/make:           4.2.1-r4::gentoo
sys-kernel/linux-headers: 5.4-r1::gentoo (virtual/os-headers)
sys-libs/glibc:           2.31-r6::gentoo
Repositories:

gentoo
    location: /var/db/repos/gentoo
    sync-type: rsync
    sync-uri: rsync://rsync.de.gentoo.org/gentoo-portage
    priority: -1000
    sync-rsync-verify-jobs: 1
    sync-rsync-verify-metamanifest: yes
    sync-rsync-extra-opts: 
    sync-rsync-verify-max-age: 24

zscheile
    location: /var/db/repos/zscheile
    sync-type: git
    sync-uri: https://github.com/zserik/portage-zscheile.git
    masters: gentoo

crossdev
    location: /var/db/repos/x-crossdev
    masters: gentoo
    priority: 10

fusion809
    location: /var/lib/layman/fusion809
    sync-type: laymansync
    sync-uri: https://github.com/fusion809/fusion809-overlay.git
    masters: gentoo
    priority: 50

holgersson-overlay
    location: /var/lib/layman/holgersson-overlay
    sync-type: laymansync
    sync-uri: https://git.holgersson.xyz/foss/holgersson-overlay
    masters: gentoo
    priority: 50

mv
    location: /var/lib/layman/mv
    sync-type: laymansync
    sync-uri: https://anongit.gentoo.org/git/user/mv.git
    masters: gentoo
    priority: 50

rust
    location: /var/lib/layman/rust
    sync-type: laymansync
    sync-uri: https://github.com/gentoo/gentoo-rust.git
    masters: gentoo
    priority: 50

science
    location: /var/lib/layman/science
    sync-type: laymansync
    sync-uri: https://anongit.gentoo.org/git/proj/sci.git
    masters: gentoo
    priority: 50

ssnb
    location: /var/lib/layman/ssnb
    sync-type: laymansync
    sync-uri: https://anongit.gentoo.org/git/repo/user/ssnb.git
    masters: gentoo
    priority: 50

ACCEPT_KEYWORDS="amd64"
ACCEPT_LICENSE="@FREE"
CBUILD="x86_64-pc-linux-gnu"
CFLAGS="-O2 -pipe -march=bdver2"
CHOST="x86_64-pc-linux-gnu"
CONFIG_PROTECT="/etc /etc/grs/systems.conf /usr/lib64/libreoffice/program/sofficerc /usr/share/gnupg/qualified.txt"
CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/dconf /etc/env.d /etc/fonts/fonts.conf /etc/gconf /etc/gentoo-release /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo /etc/texmf/language.dat.d /etc/texmf/language.def.d /etc/texmf/updmap.d /etc/texmf/web2c"
CXXFLAGS="-O2 -pipe -march=bdver2"
DISTDIR="/var/cache/distfiles"
ENV_UNSET="CARGO_HOME DBUS_SESSION_BUS_ADDRESS DISPLAY GOBIN GOPATH PERL5LIB PERL5OPT PERLPREFIX PERL_CORE PERL_MB_OPT PERL_MM_OPT XAUTHORITY XDG_CACHE_HOME XDG_CONFIG_HOME XDG_DATA_HOME XDG_RUNTIME_DIR"
FCFLAGS="-O2 -pipe -march=bdver2"
FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs ccache config-protect-if-modified distlocks ebuild-locks fixlafiles ipc-sandbox merge-sync multilib-strict network-sandbox news parallel-fetch pid-sandbox preserve-libs protect-owned qa-unresolved-soname-deps sandbox sfperms strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr"
FFLAGS="-O2 -pipe -march=bdver2"
GENTOO_MIRRORS="http://ftp.fau.de/gentoo"
LANG="de_DE.utf8"
LDFLAGS="-Wl,-O1 -Wl,--as-needed"
MAKEOPTS="-j4"
PKGDIR="/var/cache/binpkgs"
PORTAGE_CONFIGROOT="/"
PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --omit-dir-times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages --exclude=/.git"
PORTAGE_TMPDIR="/tmp"
USE="X acl afs alsa amd64 berkdb bindist bzip2 caps cli crypt cups dri elogind fortran gdbm iconv ipv6 jpeg kerberos libglvnd libinput libtirpc linguas_de mp3 multilib ncurses nls nptl ogg openmp pam pcre pgo policykit pulseaudio readline seccomp sound split-usr ssl system-harfbuzz system-icu system-jpeg system-sqlite tcpd theora threads unicode vdpau vorbis xattr zlib" ABI_X86="64" ADA_TARGET="gnat_2018" ALSA_CARDS="ali5451 als4000 atiixp atiixp-modem bt87x ca0106 cmipci emu10k1x ens1370 ens1371 es1938 es1968 fm801 hda-intel intel8x0 intel8x0m maestro3 trident usb-audio via82xx via82xx-modem ymfpci" APACHE2_MODULES="authn_core authz_core socache_shmcb unixd actions alias auth_basic authn_alias authn_anon authn_dbm authn_default authn_file authz_dbm authz_default authz_groupfile authz_host authz_owner authz_user autoindex cache cgi cgid dav dav_fs dav_lock deflate dir disk_cache env expires ext_filter file_cache filter headers include info log_config logio mem_cache mime mime_magic negotiation rewrite setenvif speling status unique_id userdir usertrack vhost_alias" CALLIGRA_FEATURES="karbon sheets words" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" CPU_FLAGS_X86="3dnowprefetch aes avx f16c fma3 fma4 mmx mmxext pclmul popcnt sse sse2 sse3 sse4_1 sse4_2 sse4a ssse3 xop" ELIBC="glibc" GPSD_PROTOCOLS="ashtech aivdm earthmate evermore fv18 garmin garmintxt gpsclock greis isync itrax mtk3301 nmea ntrip navcom oceanserver oldstyle oncore rtcm104v2 rtcm104v3 sirf skytraq superstar2 timing tsip tripmate tnt ublox ubx" GRUB_PLATFORMS="pc" INPUT_DEVICES="libinput" KERNEL="linux" L10N="de" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" LLVM_TARGETS="AMDGPU ARM Mips PowerPC X86" LUA_SINGLE_TARGET="lua5-1" LUA_TARGETS="lua5-1" OFFICE_IMPLEMENTATION="libreoffice" PHP_TARGETS="php7-2 php7-3 php7-4" POSTGRES_TARGETS="postgres10 postgres11" PYTHON_SINGLE_TARGET="python3_7" PYTHON_TARGETS="python2_7 python3_7 python3_8" QEMU_USER_TARGETS="arm x86_64" RUBY_TARGETS="ruby25" USERLAND="GNU" VIDEO_CARDS="amdgpu radeon radeonsi vesa r600" XTABLES_ADDONS="quota2 psd pknock lscan length2 ipv4options ipset ipp2p iface geoip fuzzy condition tee tarpit sysrq steal rawnat logmark ipmark dhcpmac delude chaos account"
Unset:  CC, CPPFLAGS, CTARGET, CXX, EMERGE_DEFAULT_OPTS, INSTALL_MASK, LC_ALL, LINGUAS, PORTAGE_BINHOST, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS
Comment 1 Larry the Git Cow gentoo-dev 2020-11-10 01:04:41 UTC
The bug has been closed via the following commit(s):

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

commit a4c213ab1b5420acfb0adce3b36b7f02a72f003d
Author:     Sam James <sam@gentoo.org>
AuthorDate: 2020-11-10 01:03:59 +0000
Commit:     Sam James <sam@gentoo.org>
CommitDate: 2020-11-10 01:03:59 +0000

    dev-ml/camlp5: mark 7.11 incompat. w/ newer ocaml
    
    Closes: https://bugs.gentoo.org/753713
    Package-Manager: Portage-3.0.8, Repoman-3.0.2
    Signed-off-by: Sam James <sam@gentoo.org>

 dev-ml/camlp5/{camlp5-7.11.ebuild => camlp5-7.11-r1.ebuild} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Additionally, it has been referenced in the following commit(s):

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

commit 65c415d6c73fbe6c93e79e5843d8f3f01ea7dccd
Author:     Sam James <sam@gentoo.org>
AuthorDate: 2020-11-10 01:04:32 +0000
Commit:     Sam James <sam@gentoo.org>
CommitDate: 2020-11-10 01:04:32 +0000

    dev-ml/camlp5: bump to 7.13
    
    This is the first version with ~proper OCaml 4.11.0
    support.
    
    Bug: https://bugs.gentoo.org/753713
    Package-Manager: Portage-3.0.8, Repoman-3.0.2
    Signed-off-by: Sam James <sam@gentoo.org>

 dev-ml/camlp5/Manifest           |  1 +
 dev-ml/camlp5/camlp5-7.13.ebuild | 55 ++++++++++++++++++++++++++++++++++++++++
 2 files changed, 56 insertions(+)