Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 708872 - <dev-ml/ocamlbuild-0.14.0 - Error: This expression has type int but an expression was expected of type ...
Summary: <dev-ml/ocamlbuild-0.14.0 - Error: This expression has type int but an expres...
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-02-09 19:13 UTC by Simone Scanzoni
Modified: 2021-02-04 12:48 UTC (History)
4 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 Simone Scanzoni 2020-02-09 19:13:07 UTC
Whenever I tried to build ocamlbuild-0.10.1 or ocamlbuild-0.11 the build failed

Reproducible: Always

Steps to Reproduce:
1. emerge '<ocamlbuild-0.14'

Actual Results:  
File "src/solver.ml", line 43, characters 31-32:
43 |   if is_logging 4 then dprintf 4 "==%a> %a" pp_repeat (depth, "==") Resource.print target;
                                    ^
Error: This expression has type int but an expression was expected of type
         ('a -> 'b -> 'c -> 'd -> 'e -> 'f, Format.formatter, unit,
          Format.formatter -> unit)
         format4 =
           ('a -> 'b -> 'c -> 'd -> 'e -> 'f, Format.formatter, unit, 
            unit, unit, Format.formatter -> unit)
           CamlinternalFormatBasics.format6
make: *** [Makefile:412: src/solver.cmo] Error 2



I tried with MAKEOPTS="-j1" because I saw similar problems solved in this way, but without success.

Version =dev-ml/ocamlbuild-0.14.0 builds.

# emerge --info
Portage 2.3.84 (python 3.6.9-final-0, default/linux/amd64/17.1/desktop, gcc-9.2.0, glibc-2.29-r7, 4.19.97-gentoo x86_64)
=================================================================
System uname: Linux-4.19.97-gentoo-x86_64-AMD_Phenom-tm-_II_X4_965_Processor-with-gentoo-2.6
KiB Mem:     8163684 total,    235368 free
KiB Swap:   37560308 total,  36823540 free
Timestamp of repository gentoo: Sun, 09 Feb 2020 15:30:01 +0000
Head commit of repository gentoo: a56a4a09802c2285d09f2b504f3d8be0d3caa801
Timestamp of repository chaoslab: Fri, 07 Feb 2020 18:06:58 +0000
Head commit of repository chaoslab: 469def5cc73ef71b3ed499e34ce3161bae194c24

Timestamp of repository gamerlay: Sat, 08 Feb 2020 12:06:06 +0000
Head commit of repository gamerlay: 4652ef4875e2c8fc46cbfd0c8bbb8cd3a0263fa9

Timestamp of repository jorgicio: Sun, 09 Feb 2020 15:06:05 +0000
Head commit of repository jorgicio: f4b97f098347026bf99893da0b06ecbc2894b352

Timestamp of repository linxon: Fri, 07 Feb 2020 18:06:54 +0000
Head commit of repository linxon: 45294ad6094f654b7e3f898f7b56b01af9d9dda6

Timestamp of repository roslin: Fri, 07 Feb 2020 18:06:37 +0000
Head commit of repository roslin: 90ecda9b153bec8ef2b21ab128d3d68454f788dd

Timestamp of repository ssnb: Fri, 07 Feb 2020 18:06:48 +0000
Head commit of repository ssnb: 98ccf59e0a2b59535e4185c3d57c2ddfaaccd94b

Timestamp of repository steam-overlay: Sun, 26 Jan 2020 23:17:33 +0000
Head commit of repository steam-overlay: 09937bfa194c56751cd66c1b9ab78623226e4192

sh bash 4.4_p23-r1
ld GNU ld (Gentoo 2.32 p3) 2.32.0
app-shells/bash:          4.4_p23-r1::gentoo
dev-java/java-config:     2.2.0-r4::gentoo
dev-lang/perl:            5.30.1::gentoo
dev-lang/python:          2.7.17::gentoo, 3.6.9::gentoo, 3.7.5-r1::gentoo
dev-util/cmake:           3.16.3::gentoo
dev-util/pkgconfig:       0.29.2::gentoo
sys-apps/baselayout:      2.6-r1::gentoo
sys-apps/openrc:          0.42.1::gentoo
sys-apps/sandbox:         2.13::gentoo
sys-devel/autoconf:       2.13-r1::gentoo, 2.69-r4::gentoo
sys-devel/automake:       1.11.6-r3::gentoo, 1.16.1-r1::gentoo
sys-devel/binutils:       2.32-r2::gentoo
sys-devel/gcc:            8.3.0-r1::gentoo, 9.2.0-r2::gentoo
sys-devel/gcc-config:     2.1::gentoo
sys-devel/libtool:        2.4.6-r6::gentoo
sys-devel/make:           4.2.1-r4::gentoo
sys-kernel/linux-headers: 5.5::gentoo (virtual/os-headers)
sys-libs/glibc:           2.29-r7::gentoo
Repositories:

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

chaoslab
    location: /var/db/repos/chaoslab
    sync-type: git
    sync-uri: https://github.com/gentoo-mirror/chaoslab.git
    masters: gentoo

gamerlay
    location: /var/db/repos/gamerlay
    sync-type: git
    sync-uri: https://github.com/gentoo-mirror/gamerlay.git
    masters: gentoo

jorgicio
    location: /var/db/repos/jorgicio
    sync-type: git
    sync-uri: https://github.com/gentoo-mirror/jorgicio.git
    masters: gentoo

linxon
    location: /var/db/repos/linxon
    sync-type: git
    sync-uri: https://github.com/gentoo-mirror/linxon.git
    masters: gentoo

roslin
    location: /var/db/repos/roslin
    sync-type: git
    sync-uri: https://github.com/gentoo-mirror/roslin.git
    masters: gentoo

ssnb
    location: /var/db/repos/ssnb
    sync-type: git
    sync-uri: https://github.com/gentoo-mirror/ssnb.git
    masters: gentoo

steam-overlay
    location: /var/db/repos/steam-overlay
    sync-type: git
    sync-uri: https://github.com/gentoo-mirror/steam-overlay.git
    masters: gentoo

nonno
    location: /home/nonno/src/overlays/nonno
    masters: gentoo
    priority: 100

local-crossdev
    location: /usr/local/portage-crossdev
    masters: gentoo
    priority: 9999

Installed sets: @gog-dosbox
ACCEPT_KEYWORDS="amd64"
ACCEPT_LICENSE="*"
CBUILD="x86_64-pc-linux-gnu"
CFLAGS="-march=native -O2 -mfpmath=sse -pipe"
CHOST="x86_64-pc-linux-gnu"
CONFIG_PROTECT="/etc /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/php/apache2-php7.3/ext-active/ /etc/php/cgi-php7.3/ext-active/ /etc/php/cli-php7.3/ext-active/ /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="-march=native -O2 -mfpmath=sse -pipe"
DISTDIR="/usr/portage/distfiles"
ENV_UNSET="DBUS_SESSION_BUS_ADDRESS DISPLAY GOBIN 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"
FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs cgroup 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 sandbox sfperms sign strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr"
FFLAGS="-O2 -pipe"
GENTOO_MIRRORS="http://mirror.eu.oneandone.net/linux/distributions/gentoo/gentoo/ ftp://ftp-stud.hs-esslingen.de/pub/Mirrors/gentoo/ ftp://mirrors.soeasyto.com/distfiles.gentoo.org/ ftp://gentoo.mirror.web4u.cz/"
LANG="it_IT.UTF-8"
LDFLAGS="-Wl,-O1 -Wl,--as-needed"
LINGUAS="it en"
MAKEOPTS="-j5"
PKGDIR="/usr/portage/packages"
PORTAGE_CONFIGROOT="/"
PORTAGE_RSYNC_OPTS="-6 --recursive  --links  --safe-links  --perms  --times --compress  --force  --whole-file  --delete   --stats --timeout=180 --exclude='/distfiles' --exclude='/local' --exclude='/packages'"
PORTAGE_TMPDIR="/var/tmp"
USE="3dnow R S3TC X a52 aac aacplus acl acpi additions aio alsa amd64 amr archive automount bash-completion bdf bittorrent blas bluetooth branding btrfs bullet bzip2 cairo caps cdda cdio cdr cgroups cleartype_hinting cli cloudprint consolekit cuda cups curl cxx dbus device-mapper dillo djvu dri dts dvb dvd dvdr dvi emboss encode epspdf escreen exif expat extensions external-fuse faac fasttrack fat fdformat ffmpeg fftw flac flambda fontconfig fontforge fortran fpm ftp gc gd gdbm gegl gif gimp glib gnuplot gnutella gnutls gold gpm gsl gstreamer gtk gtk2 gtk3 gzip-el harfbuzz hpn hwaccel ical iconv icu idn imagemagick imap inkjar inotify int-quality iproute2 ipv6 ithreads java javafx javascript joystick jpeg lapack latex layers lcms libidn2 liblockfile libmpd libnotify libsamplerate libtirpc libxml2 libyaml llvm lm_sensors lto lua lvm lyx lzma lzo mad matroska mbrola mdadm mercurial metric midi minizip mmap mng mod modern-top modplug mp3 mp4 mpeg mplayer msn multilib musicbrainz ncat network nftables nlpsolver nls nntp nptl nsplugin ntfs ntp nvenc ocr ogg opencl opengl openimageio openmp opus pam pango pch pcre pdf pdfimport pgo pipelight plotutils png policykit portage postproc ppds pulseaudio qr quicktime readline rle rpc rtmp seccomp secure-delete slp smime smp sms sndfile socks5 sound spell split-usr ssl startup-notification stream subtitles svc svg sync-plugin-portage system-harfbuzz system-libvpx system-sqlite t1lib taglib tcpd theora threads threadsafe thunar tinfo tls-heartbeat tordns totem truetype udev udisks unicode upower usb uvm v4l v4l2 vchroot vdpau vector-icons vim vim-syntax vkd3d vorbis vpx vulkan wayland-compositor webgl webp websockets webstart widevine wmf wxwidgets x264 x265 xattr xcb xcomposite xcsecurity xetex xfce xft xkb xls xml xrandr xv xvid xwayland zenmap zlib zstd zvbi" ABI_X86="32 64" ADA_TARGET="gnat_2018" ALSA_CARDS="emu10k1" 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="3dnow 3dnowext mmx mmxext popcnt sse sse2 sse3 sse4a" CURL_SSL="gnutls" ELIBC="glibc" ENLIGHTENMENT_MODULES="appmenu backlight battery bluez4 clock conf conf-applications conf-bindings conf-dialogs conf-display conf-interaction conf-intl conf-menus conf-paths conf-performance conf-randr conf-shelves conf-theme conf-window-manipulation conf-window-remembers connman contact cpufreq everything fileman fileman-opinfo gadman ibar ibox lokker mixer msgbus music-control notification pager pager16 quickaccess shot start syscon systray tasks teamwork temperature tiling winlist wizard xkbswitch" 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="evdev roccat_savu wacom joystick" KERNEL="linux" L10N="it" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" LIRC_DEVICES="pctv" OFFICE_IMPLEMENTATION="libreoffice" PHP_TARGETS="php7-3" POSTGRES_TARGETS="postgres10 postgres11" PYTHON_SINGLE_TARGET="python3_6" PYTHON_TARGETS="python2_7 python3_6" QEMU_SOFTMMU_TARGETS="i386 x86_64 arm" QEMU_USER_TARGETS="arm" ROCCAT_DEVICES="savu" RUBY_TARGETS="ruby24" SANE_BACKENDS="epkowa epson2" STEAMGAMES="bioshock_infinite defenders_quest dirt_rally dwarfs hammerwatch ironclad_tactics journey_down painkiller portal shadow_mordor shatter source_engine tf2 trine2 unwritten_tales" USERLAND="GNU" VIDEO_CARDS="nvidia" XFCE_PLUGINS="clock logout menu trash" 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, PORTAGE_BINHOST, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS
Comment 1 Marat Radchenko 2020-02-09 19:45:37 UTC
Also hit this, I suspect it is caused by recent stabilization of dev-lang/ocaml-4.09.
Comment 2 Marat Radchenko 2020-02-09 19:48:05 UTC
See #708696.
Comment 3 Jonas Stein gentoo-dev 2020-02-09 20:59:42 UTC
Thank you for the report. Please recompile and 
*attach* the logfiles and 
paste the emerge info as described on
https://wiki.gentoo.org/wiki/Attach_the_logs_to_the_bug_ticket
We need to have all information at hand before ticket assignment, so that the maintainer can look after it in one session with minimal number of callbacks.
Please reopen this ticket (Status:unconfirmed) afterwards.
Comment 4 Larry the Git Cow gentoo-dev 2020-02-09 21:13:29 UTC
The bug has been referenced in the following commit(s):

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

commit c96cea487e4791a2e61c210a2ec036d2649377ba
Author:     Miroslav Šulc <fordfrog@gentoo.org>
AuthorDate: 2020-02-09 21:12:59 +0000
Commit:     Miroslav Šulc <fordfrog@gentoo.org>
CommitDate: 2020-02-09 21:13:20 +0000

    dev-ml/ocamlbuild: 0.10.1 and 0.11.0 don't compile with ocaml-4.09
    
    Bug: https://bugs.gentoo.org/708872
    Bug: https://bugs.gentoo.org/708696
    Package-Manager: Portage-2.3.88, Repoman-2.3.20
    Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>

 dev-ml/ocamlbuild/ocamlbuild-0.10.1.ebuild | 5 +++--
 dev-ml/ocamlbuild/ocamlbuild-0.11.0.ebuild | 5 +++--
 2 files changed, 6 insertions(+), 4 deletions(-)
Comment 5 Tupone Alfredo gentoo-dev 2021-02-04 12:48:23 UTC
Was fixed