File "src/lib/eliom_shared.eliom", line 680, characters 42-44: : Warning. The type of an injected value contains a type variable that could be wrongly inferred (to be fixed in Eliom). File "src/lib/client/eliom_shared.ml", line 1: Error: The implementation src/lib/client/eliom_shared.ml does not match the interface src/lib/client/eliom_shared.cmi: ... In module ReactiveData.RList: $ cat emerge-info.txt ----------------------------------------------------------------- This is an unstable amd64 chroot image (named amd64-hardened-unstable_20161121-134050) at a hardened host acting as a tinderbox. ----------------------------------------------------------------- USE flags ... ... in make.conf: USE=" pax_kernel xtpax -cdinstall -oci8 -bindist ssp bzip2 cdb cgi -contrib cups fluidsynth fpm gnome-keyring -graphtft gtk3 help infinality lapack -melt mng multimedia ncurses opengl osc pam pcre16 php pkcs11 qt5 rendering ruby server source sourceview sqlite3 system-ffmpeg system-libvpx system-sqlite -traceroute -udisks uml usb usbredir vdpau vlc vpx -xkb" ... in /etc/portage/package.use/*: mail-mta/ssmtp mta ssl net-misc/wget ssl app-editors/xemacs -nopie dev-db/sqlite secure-delete dev-lang/python sqlite dev-qt/qtsql sqlite mail-client/thunderbird -pulseaudio system-icu media-libs/libvpx postproc media-libs/libpng apng media-video/ffmpeg sdl net-dns/libidn -mono sys-libs/ntdb python sys-libs/tdb python sys-libs/tevent python x11-libs/cairo X x11-libs/libxcb xkb www-client/firefox -pulseaudio system-icu app-crypt/mit-krb5 -pkinit sys-libs/zlib minizip x11-base/xorg-server glamor -minimal app-crypt/pinentry -qt4 app-editors/emacs -dbus -gtk -gtk3 -ssl -svg app-text/docbook-xsl-stylesheets -ruby app-text/xmlto -latex dev-libs/boehm-gc threads dev-libs/libpcre pcre16 dev-lang/python threads dev-qt/qtgui egl eglfs dev-util/cmake -qt4 -qt5 dev-vcs/git -gtk -perl gnome-base/librsvg -tools media-libs/mesa -vaapi -video_cards_radeonsi -video_cards_radeon net-nds/openldap -sasl sys-apps/kmod tools sys-libs/ncurses -gpm x11-libs/gtk+ -cups net-misc/openssh ssl sys-apps/busybox -pam dev-lang/mono minimal net-libs/libproxy -webkit x11-libs/gdk-pixbuf X net-misc/iputils -caps -filecaps >=app-crypt/gcr-3.20.0 gtk >=x11-libs/gdk-pixbuf-2.36.0 X >=x11-libs/gtk+-3.22.3 X >=x11-libs/libxkbcommon-0.6.1 X entries in /etc/portage/package.unmask/*: ~sys-apps/sandbox-2.11 ----------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-5.4.0 * [2] x86_64-pc-linux-gnu-5.4.0-hardenednopie [3] x86_64-pc-linux-gnu-5.4.0-hardenednopiessp [4] x86_64-pc-linux-gnu-5.4.0-hardenednossp [5] x86_64-pc-linux-gnu-5.4.0-vanilla llvm-config --version: 3.9.0 Available Java Virtual Machines: [1] icedtea-bin-7 system-vm [2] icedtea-bin-8 Available Python interpreters, in order of preference: [1] python3.4 [2] python3.5 (fallback) [3] python2.7 (fallback) Available Ruby profiles: [1] ruby20 (with Rubygems) [2] ruby21 (with Rubygems) * java-config: The following VMs are available for generation-2: *) IcedTea JDK 7.2.6.8 [icedtea-bin-7] 2) IcedTea JDK 3.2.0 [icedtea-bin-8] ----------------------------------------------------------------- Portage 2.3.2 (python 3.4.5-final-0, hardened/linux/amd64, gcc-5.4.0, glibc-2.23-r3, 4.8.10-hardened x86_64) ================================================================= System Settings ================================================================= System uname: Linux-4.8.10-hardened-x86_64-Intel-R-_Core-TM-_i7-3930K_CPU_@_3.20GHz-with-gentoo-2.3 KiB Mem: 65285560 total, 3640708 free KiB Swap: 67108860 total, 67100300 free Timestamp of repository gentoo: Mon, 28 Nov 2016 16:58:30 +0000 sh bash 4.4_p5-r1 ld GNU ld (Gentoo 2.27 p1.0) 2.27 app-shells/bash: 4.4_p5-r1::gentoo dev-java/java-config: 2.2.0-r3::gentoo dev-lang/perl: 5.24.1_rc4::gentoo dev-lang/python: 2.7.12::gentoo, 3.4.5::gentoo, 3.5.2::gentoo dev-util/cmake: 3.7.0::gentoo sys-apps/baselayout: 2.3::gentoo sys-apps/openrc: 0.22.4::gentoo sys-apps/sandbox: 2.11-r3::gentoo sys-devel/autoconf: 2.13::gentoo, 2.69-r2::gentoo sys-devel/automake: 1.10.3-r2::gentoo, 1.11.6-r2::gentoo, 1.13.4-r1::gentoo, 1.14.1-r1::gentoo, 1.15-r2::gentoo sys-devel/binutils: 2.27::gentoo sys-devel/gcc: 5.4.0::gentoo sys-devel/gcc-config: 1.8-r1::gentoo sys-devel/libtool: 2.4.6-r2::gentoo sys-devel/make: 4.2.1::gentoo sys-kernel/linux-headers: 4.8::gentoo (virtual/os-headers) sys-libs/glibc: 2.23-r3::gentoo Repositories: gentoo location: /usr/portage sync-type: rsync sync-uri: rsync://rsync.gentoo.org/gentoo-portage priority: 1 tinderbox location: /tmp/tb/data/portage masters: gentoo priority: 2 local location: /usr/local/portage masters: gentoo priority: 3 ACCEPT_KEYWORDS="amd64 ~amd64" ACCEPT_LICENSE="*" CBUILD="x86_64-pc-linux-gnu" CFLAGS="-march=native -O2 -pipe" CHOST="x86_64-pc-linux-gnu" CONFIG_PROTECT="/etc /etc/stunnel/stunnel.conf /usr/lib64/tomoyo/conf /usr/share/config /usr/share/gnupg/qualified.txt /usr/share/maven-bin-3.3/conf /var/lib/hsqldb /var/yp/Makefile" 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.0/ext-active/ /etc/php/cgi-php7.0/ext-active/ /etc/php/cli-php7.0/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 -pipe" DISTDIR="/var/tmp/distfiles" EMERGE_DEFAULT_OPTS="--verbose --verbose-conflicts --color=n --nospinner --tree --quiet-build" FCFLAGS="-O2 -pipe" FEATURES="assume-digests binpkg-logs config-protect-if-modified distlocks ebuild-locks fixlafiles ipc-sandbox merge-sync network-sandbox parallel-fetch preserve-libs protect-owned sandbox sfperms strict test-fail-continue unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr" FFLAGS="-O2 -pipe" GENTOO_MIRRORS="http://ftp.uni-erlangen.de/pub/mirrors/gentoo rsync://mirror.netcologne.de/gentoo/ ftp://sunsite.informatik.rwth-aachen.de/pub/Linux/gor.bytemark.co.uk/gentoo/ rsync://ftp.snt.utwente.nl/gentoo" LANG="en_US.utf8" LDFLAGS="-Wl,-O1 -Wl,--as-needed" MAKEOPTS="-j1" PKGDIR="/usr/portage/packages" 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="/var/tmp" USE="acl amd64 berkdb bzip2 cdb cgi cli cracklib crypt cups cxx dri fluidsynth fpm gdbm gnome-keyring gtk3 hardened help iconv infinality ipv6 justify lapack mmx mmxext mng modules multilib multimedia ncurses nls nptl opengl openmp osc pam pax_kernel pcre pcre16 php pie pkcs11 qt5 readline rendering ruby seccomp server session source sourceview sqlite3 sse sse2 ssl ssp system-ffmpeg system-libvpx system-sqlite tcpd uml unicode urandom usb usbredir vdpau vlc vpx xattr xtpax zlib" ABI_X86="32 64" 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="kexi words flow plan sheets stage tables krita karbon braindump author" CAMERAS="ptp2" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" CPU_FLAGS_X86="aes avx mmx mmxext popcnt sse sse2 sse3 sse4_1 sse4_2 ssse3" ELIBC="glibc" GPSD_PROTOCOLS="ashtech aivdm earthmate evermore fv18 garmin garmintxt gpsclock itrax mtk3301 nmea ntrip navcom oceanserver oldstyle oncore rtcm104v2 rtcm104v3 sirf superstar2 timing tsip tripmate tnt ublox ubx" INPUT_DEVICES="keyboard mouse evdev" KERNEL="linux" L10N="nr sw" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" OFFICE_IMPLEMENTATION="libreoffice" PHP_TARGETS="php5-6" PYTHON_SINGLE_TARGET="python2_7" PYTHON_TARGETS="python2_7 python3_4" RUBY_TARGETS="ruby20 ruby21" USERLAND="GNU" VIDEO_CARDS="amdgpu fbdev intel nouveau radeon radeonsi vesa dummy v4l" 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, INSTALL_MASK, LC_ALL, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, USE_PYTHON ================================================================= Package Settings ================================================================= dev-ml/eliom-5.0.0-r2::gentoo was built with the following: USE="ocamlopt ppx -doc" ABI_X86="64"
Created attachment 454614 [details] dev-ml:eliom-5.0.0-r2:20161128-182050.log
Created attachment 454616 [details] emerge-history.txt
Created attachment 454618 [details] environment
commit 3259962977f7ec30f0803a904e748ce67f2638ab Author: Alexis Ballier <aballier@gentoo.org> Date: Mon Nov 28 22:17:07 2016 +0100 dev-ml/eliom: fix build with reactivedata 0.2.1 and ocsigenserver 2.8; bug #601102
