Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 585580

Summary: dev-ml/deriving-ocsigen-0.3c : Error: Syntax error
Product: Gentoo Linux Reporter: Toralf Förster <toralf>
Component: Current packagesAssignee: Gentoo Team for the ML programming language family <ml>
Status: RESOLVED OBSOLETE    
Severity: normal    
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Attachments: dev-ml:deriving-ocsigen-0.3c:20160611-005517.log
emerge-history.txt
environment

Description Toralf Förster gentoo-dev 2016-06-11 09:15:15 UTC
ocamlfind ocamldep -package camlp4 classes/show_class.ml > classes/.show_class.ml.deps
File "classes/show_class.ml", line 46, characters 6-8:
Error: Syntax error
make[1]: *** [Makefile:159: classes/.show_class.ml.deps] Error 2
make[1]: Leaving directory '/var/tmp/portage/dev-ml/deriving-ocsigen-0.3c/work/deriving-ocsigen-0.3c/syntax'
make: *** [Makefile:4: all] Error 2


$ cat emerge-info.txt
  -----------------------------------------------------------------

  This is an unstable amd64 chroot image (named amd64-plasma-unstable_20160606-203805) at a hardened host acting as a tinderbox.

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

  make.conf: USE="sse2 pax_kernel xtpax -cdinstall -oci8 -bindist avx cdb cdda cgi designer dot egl -evdev extraengine ffmpeg -fontconfig gles2 gnomecanvas gnutls -gtk2 help ipv6 ithreads kerberos logrotate mikmod mng mod -mp4 mpeg3 mta ncurses nss ogg openexr png qml sddm snmp source ssh ssh-askpass ssse3 -svg swscale -system-jpeg system-libs system-libvpx threads tls truetype uml v4l2 vaapi -vala webgl webstart wma -xetex -xmp xz"

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

Portage 2.3.0_rc1 (python 3.4.4-final-0, default/linux/amd64/13.0/desktop/plasma, gcc-5.3.0, glibc-2.23-r2, 4.5.7-hardened x86_64)
=================================================================
System uname: Linux-4.5.7-hardened-x86_64-Intel-R-_Core-TM-_i7-3770_CPU_@_3.40GHz-with-gentoo-2.2
KiB Mem:    16157888 total,   1753356 free
KiB Swap:   16777212 total,  16730468 free
Timestamp of repository gentoo: Fri, 10 Jun 2016 20:42:09 +0000
sh bash 4.3_p42-r2
ld GNU ld (Gentoo 2.25.1 p1.1) 2.25.1
app-shells/bash:          4.3_p42-r2::gentoo
dev-java/java-config:     2.2.0-r3::gentoo
dev-lang/perl:            5.24.0-r1::gentoo
dev-lang/python:          2.7.11-r2::gentoo, 3.4.4::gentoo, 3.5.1-r3::gentoo
dev-util/cmake:           3.5.2-r1::gentoo
dev-util/pkgconfig:       0.29.1::gentoo
sys-apps/baselayout:      2.2::gentoo
sys-apps/openrc:          0.21::gentoo
sys-apps/sandbox:         2.10-r2::gentoo
sys-devel/autoconf:       2.13::gentoo, 2.69-r2::gentoo
sys-devel/automake:       1.11.6-r2::gentoo, 1.13.4-r1::gentoo, 1.14.1-r1::gentoo, 1.15-r2::gentoo
sys-devel/binutils:       2.25.1-r1::gentoo
sys-devel/gcc:            5.3.0::gentoo
sys-devel/gcc-config:     1.8-r1::gentoo
sys-devel/libtool:        2.4.6-r2::gentoo
sys-devel/make:           4.2-r2::gentoo
sys-kernel/linux-headers: 4.6::gentoo (virtual/os-headers)
sys-libs/glibc:           2.23-r2::gentoo
Repositories:

gentoo
    location: /usr/portage
    sync-type: rsync
    sync-uri: rsync://rsync.gentoo.org/gentoo-portage
    priority: 1

local
    location: /usr/local/portage
    masters: gentoo
    priority: 2

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 /usr/lib64/fax /usr/share/config /usr/share/easy-rsa /usr/share/gnupg/qualified.txt /var/lib/hsqldb /var/spool/fax/etc /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/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-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="X a52 aac acl acpi alsa amd64 avx berkdb bluetooth branding bzip2 cairo cdb cdda cdr cgi cli consolekit cracklib crypt cups cxx dbus declarative designer dot dri dts dvd dvdr egl emboss encode exif extraengine fam ffmpeg firefox flac fortran gdbm gif glamor gles2 gnomecanvas gnutls gpm gtk help iconv ipv6 ithreads jpeg kde kerberos kipi lcms ldap libnotify logrotate mad mikmod mmx mmxext mng mod modules mp3 mpeg mpeg3 mta multilib ncurses nls nptl nss ogg openexr opengl openmp pam pango pax_kernel pcre pdf phonon plasma png policykit ppds qml qt3support qt4 qt5 readline sddm sdl seccomp semantic-desktop session snmp source spell sse sse2 ssh ssh-askpass ssl ssse3 startup-notification swscale system-libs system-libvpx tcpd threads tiff tls truetype udev udisks uml unicode upower usb v4l2 vaapi vorbis webgl webstart widgets wma wxwidgets x264 xattr xcb xcomposite xinerama xml xscreensaver xtpax xv xvid xz zlib" ABI_X86="64" ALSA_CARDS="hda-intel" 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="evdev synaptics" KERNEL="linux" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" OFFICE_IMPLEMENTATION="libreoffice" PHP_TARGETS="php5-5" PYTHON_SINGLE_TARGET="python2_7" PYTHON_TARGETS="python2_7 python3_4" RUBY_TARGETS="ruby20 ruby21" USERLAND="GNU" VIDEO_CARDS="intel i965" 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
Comment 1 Toralf Förster gentoo-dev 2016-06-11 09:15:17 UTC
Created attachment 437134 [details]
dev-ml:deriving-ocsigen-0.3c:20160611-005517.log
Comment 2 Toralf Förster gentoo-dev 2016-06-11 09:15:20 UTC
Created attachment 437136 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2016-06-11 09:15:23 UTC
Created attachment 437138 [details]
environment
Comment 4 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2016-07-24 11:31:58 UTC
commit 7b64536d217519a42208fd9b930b518dca399a5b
Author:     Michał Górny <mgorny@gentoo.org>
AuthorDate: Sun Jul 24 13:27:33 2016
Commit:     Michał Górny <mgorny@gentoo.org>
CommitDate: Sun Jul 24 13:30:57 2016

    dev-ml/deriving-ocsigen: Remove last-rited pkg, #586906