Bug 698558 – sci-mathematics/psmt2-frontend-0.2 - ocaml: Error: Files .../work/psmt2-frontend-0.2/src/smtlib_syntax.cmo and .../work/psmt2-frontend-0.2/src/smtlib_ty.cmo make inconsistent assumptions over interface Smtlib_ty

• Product: Gentoo Linux
• Status: RESOLVED TEST-REQUEST

[Description Jonathan Lovelace 2019-10-25 22:51:24 UTC]

Created attachment 593966 [details]
sci-mathematics:psmt2-frontend-0.2:20191025-223911.log

=sci-mathematics/psmt2-frontend-0.2 fails to build with the error (paths shortened for clarity) "Files ${S}/src/smtlib_syntax.cmo and ${S}/src/smtlib_ty.cmo make inconsistent assumptions over interface Smtlib_ty"

emerge --info:
Portage 2.3.76 (python 2.7.16-final-0, default/linux/amd64/17.0/hardened, gcc-8.2.0, glibc-2.29-r2, 4.19.66-gentoo x86_64)
=================================================================
                         System Settings
=================================================================
System uname: Linux-4.19.66-gentoo-x86_64-Intel-R-_Core-TM-2_Duo_CPU_P8600_@_2.40GHz-with-gentoo-2.6
KiB Mem:     7903748 total,   1303732 free
KiB Swap:   17824756 total,  15315184 free
Timestamp of repository gentoo: Fri, 25 Oct 2019 00:45:01 +0000
Head commit of repository eclipse: 80b6b0802f9f65864a7064d7e0812154720423f4

Head commit of repository lovelace: abf25888fe8fcd10cb0c0b7d3a987af7e72965c5

Head commit of repository steam-overlay: e21303b3d12a2925ea02ab40978fec14b896fb85

sh bash 4.4_p23-r1
ld GNU ld (Gentoo 2.32 p2) 2.32.0
distcc 3.3.3 x86_64-pc-linux-gnu [disabled]
app-shells/bash:          4.4_p23-r1::gentoo
dev-java/java-config:     2.2.0-r4::gentoo
dev-lang/perl:            5.28.2-r1::gentoo
dev-lang/python:          2.7.16::gentoo, 3.6.5::gentoo
dev-util/cmake:           3.14.6::gentoo
dev-util/pkgconfig:       0.29.2::gentoo
sys-apps/baselayout:      2.6-r1::gentoo
sys-apps/openrc:          0.41.2::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.15.1-r2::gentoo, 1.16.1-r1::gentoo
sys-devel/binutils:       2.32-r1::gentoo
sys-devel/gcc:            8.2.0-r6::gentoo
sys-devel/gcc-config:     2.0::gentoo
sys-devel/libtool:        2.4.6-r3::gentoo
sys-devel/make:           4.2.1-r4::gentoo
sys-kernel/linux-headers: 4.19::gentoo (virtual/os-headers)
sys-libs/glibc:           2.29-r2::gentoo
Repositories:

gentoo
    location: /usr/portage
    sync-type: webrsync
    sync-uri: tar+http://lug.mtu.edu/gentoo/snapshots/portage-latest.tar.xz
    priority: -1000
    sync-webrsync-verify-signature: true

eclipse
    location: /var/lib/layman/eclipse-overlay
    sync-type: git
    sync-uri: git://github.com/gentoo/eclipse-overlay.git
    masters: gentoo

localoverlay
    location: /usr/local/portage
    masters: gentoo lovelace dlang
    priority: 0

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

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

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

Installed sets: @archivers, @backup-options, @class, @devel, @dicts, @doc-conv, @docs, @emulation, @fonts, @kernels, @laptop, @looked-interesting, @maintenance, @ocr, @office, @sp-devel
ACCEPT_KEYWORDS="amd64"
ACCEPT_LICENSE="@FREE"
CBUILD="x86_64-pc-linux-gnu"
CFLAGS="-O2 -pipe -march=native -mtune=generic -fno-unwind-tables -fno-asynchronous-unwind-tables -fomit-frame-pointer"
CHOST="x86_64-pc-linux-gnu"
CONFIG_PROTECT="/etc /usr/lib64/libreoffice/program/sofficerc /usr/share/config /usr/share/gnupg/qualified.txt /var/lib/hsqldb"
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=native -mtune=generic -fno-unwind-tables -fno-asynchronous-unwind-tables -fomit-frame-pointer"
DISTDIR="/usr/portage/distfiles"
EMERGE_DEFAULT_OPTS="--with-bdeps y --binpkg-respect-use=n --autounmask-keep-masks --misspell-suggestions n --verbose-conflicts --complete-graph"
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 -march=native -mtune=generic -fno-unwind-tables -fno-asynchronous-unwind-tables -fomit-frame-pointer"
FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs candy collision-protect config-protect-if-modified distlocks ebuild-locks fakeroot fixlafiles ipc-sandbox merge-sync multilib-strict network-sandbox news parallel-fetch parallel-install pid-sandbox preserve-libs protect-owned sandbox sfperms strict strict-keepdir test unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr"
FFLAGS="-O2 -pipe -march=native -mtune=generic -fno-unwind-tables -fno-asynchronous-unwind-tables -fomit-frame-pointer"
GENTOO_MIRRORS="https://mirrors.lug.mtu.edu/gentoo/ http://www.gtlib.gatech.edu/pub/gentoo http://distfiles.gentoo.org"
LANG="en_US.UTF-8"
LC_ALL="en_US.UTF-8"
LDFLAGS="-Wl,-O1 -Wl,--as-needed"
LINGUAS="en en_US"
MAKEOPTS="-j3 -l4"
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="acpi alsa amd64 bash-completion bzip2 cddb crypt cxx dri gnat_2017 hardened iconv ipv6 java java5 java6 jpeg libnotify libsecret libtirpc lm-sensors mmx mmxext multilib ncurses nls nptl ogg openmp pam pcre pic pie png readline seccomp split-usr sse sse2 sse3 sse4_1 sse4_2 ssl ssp ssse3 startup-notification test theora truetype unicode vorbis xattr xcomposite xdg xft xtpax xvmc 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="sheets words plan kexi braindump flow" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" CPU_FLAGS_X86="mmx mmxext sse sse2 sse3 sse4_1 ssse3" 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" INPUT_DEVICES="evdev libinput wacom" KERNEL="linux" L10N="en en_US en-US" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="pdfimport" NETBEANS_MODULES="harness ide java nb javafx profile" OFFICE_IMPLEMENTATION="libreoffice" PHP_TARGETS="php7-2" POSTGRES_TARGETS="postgres10 postgres11" PYTHON_SINGLE_TARGET="python3_6" PYTHON_TARGETS="python2_7 python3_6" RUBY_TARGETS="ruby24 ruby25" USERLAND="GNU" VIDEO_CARDS="nvidia nouveau nv vesa fbdev modesetting" 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, PORTAGE_BINHOST, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS

=================================================================
                        Package Settings
=================================================================

dev-ml/menhir-20181006::gentoo was built with the following:
USE="ocamlopt -examples" ABI_X86="(64)"


dev-lang/ocaml-4.04.2-r1::gentoo was built with the following:
USE="ncurses ocamlopt -X -emacs -flambda -latex -xemacs" ABI_X86="(64)"
CFLAGS="-O2 -pipe -march=native -mtune=generic -fno-unwind-tables -fno-asynchronous-unwind-tables"
CXXFLAGS="-O2 -pipe -march=native -mtune=generic -fno-unwind-tables -fno-asynchronous-unwind-tables"
FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs candy collision-protect config-protect-if-modified distlocks ebuild-locks fakeroot fixlafiles ipc-sandbox merge-sync multilib-strict network-sandbox news parallel-fetch parallel-install pid-sandbox preserve-libs protect-owned sandbox sfperms strict strict-keepdir test unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync webrsync-gpg xattr"

[Comment 1 Tupone Alfredo 2019-10-28 20:10:28 UTC]

I am not able to reproduce.

I did something that I like you to test, but I'm not sure about the fix.