[...] OCAMLC ide/coqide.mli OCAMLC ide/coqide.ml OCAMLC -a -o ide/ide.cma COQMKTOP -o bin/coqide.byte File "/var/tmp/portage/sci-mathematics/coq-8.3_p1/temp/coqmain68ab9e.ml", line 1, characters 0-1: Error: Error on dynamically loaded library: /usr/lib64/ocaml/stublibs/dlllablgtk2.so: libglitz-glx.so.1: cannot open shared object file: No such file or directory make[1]: *** [bin/coqide.byte] Error 2 make[1]: Leaving directory `/var/tmp/portage/sci-mathematics/coq-8.3_p1/work/coq-8.3pl1' make: *** [world] Error 2 emake failed * ERROR: sci-mathematics/coq-8.3_p1 failed: * make failed * * Call stack: * ebuild.sh, line 56: Called src_compile * environment, line 2367: Called die * The specific snippet of code: * emake STRIP="true" -j1 || die "make failed" * * If you need support, post the output of 'emerge --info =sci-mathematics/coq-8.3_p1', * the complete build log and the output of 'emerge -pqv =sci-mathematics/coq-8.3_p1'. * The complete build log is located at '/var/tmp/portage/sci-mathematics/coq-8.3_p1/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/coq-8.3_p1/temp/environment'. * S: '/var/tmp/portage/sci-mathematics/coq-8.3_p1/work/coq-8.3pl1' >>> Failed to emerge sci-mathematics/coq-8.3_p1, Log file: >>> '/var/tmp/portage/sci-mathematics/coq-8.3_p1/temp/build.log' * Messages for package sci-mathematics/coq-8.3_p1: * ERROR: sci-mathematics/coq-8.3_p1 failed: * make failed * * Call stack: * ebuild.sh, line 56: Called src_compile * environment, line 2367: Called die * The specific snippet of code: * emake STRIP="true" -j1 || die "make failed" * * If you need support, post the output of 'emerge --info =sci-mathematics/coq-8.3_p1', * the complete build log and the output of 'emerge -pqv =sci-mathematics/coq-8.3_p1'. * The complete build log is located at '/var/tmp/portage/sci-mathematics/coq-8.3_p1/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/coq-8.3_p1/temp/environment'. * S: '/var/tmp/portage/sci-mathematics/coq-8.3_p1/work/coq-8.3pl1' * GNU info directory index is up-to-date.
# LC_ALL=C emerge --info =sci-mathematics/coq-8.3_p1 Portage 2.1.9.25 (default/linux/amd64/10.0/desktop, gcc-4.4.4, glibc-2.11.2-r3, 2.6.36-gentoo-r5 x86_64) ================================================================= System Settings ================================================================= System uname: Linux-2.6.36-gentoo-r5-x86_64-Intel-R-_Core-TM-2_CPU_T5500_@_1.66GHz-with-gentoo-1.12.14 Timestamp of tree: Wed, 23 Feb 2011 12:45:01 +0000 app-shells/bash: 4.1_p9 dev-java/java-config: 2.1.11-r3 dev-lang/python: 2.6.6-r1, 3.1.2-r4 dev-util/cmake: 2.8.1-r2 sys-apps/baselayout: 1.12.14-r1 sys-apps/sandbox: 2.4 sys-devel/autoconf: 2.13::<unknown repository>, 2.65-r1 sys-devel/automake: 1.9.6-r3, 1.10.3, 1.11.1 sys-devel/binutils: 2.20.1-r1 sys-devel/gcc: 4.3.4, 4.4.4-r2 sys-devel/gcc-config: 1.4.1 sys-devel/libtool: 2.2.10 sys-devel/make: 3.81-r2 virtual/os-headers: 2.6.36.1 (sys-kernel/linux-headers) ACCEPT_KEYWORDS="amd64" ACCEPT_LICENSE="* -@EULA" CBUILD="x86_64-pc-linux-gnu" CFLAGS="-O2 -pipe" CHOST="x86_64-pc-linux-gnu" CONFIG_PROTECT="/etc /usr/share/config /usr/share/gnupg/qualified.txt /var/lib/hsqldb" CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/env.d /etc/env.d/java/ /etc/eselect/postgresql /etc/fonts/fonts.c nf /etc/gconf /etc/php/apache2-php5.3/ext-active/ /etc/php/cgi-php5.3/ext-active/ /etc/php/cli-php5.3/ext-active/ /et /revdep-rebuild /etc/sandbox.d /etc/splash /etc/terminfo /etc/texmf/language.dat.d /etc/texmf/language.def.d /etc/tex f/updmap.d /etc/texmf/web2c" CXXFLAGS="-O2 -pipe" DISTDIR="/usr/portage/distfiles" FEATURES="assume-digests binpkg-logs distlocks fixlafiles fixpackages news parallel-fetch protect-owned sandbox sfperms strict unknown-features-warn unmerge-logs unmerge-orphans userfetch" GENTOO_MIRRORS="http://mirror.ovh.net/gentoo-distfiles/ " LANG="fr_FR.UTF-8" LC_ALL="C" LDFLAGS="-Wl,-O1 -Wl,--as-needed" LINGUAS="en fr de nl" PKGDIR="/usr/portage/packages" PORTAGE_CONFIGROOT="/" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --compress --force --whole-file --delete --stats --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages" PORTAGE_TMPDIR="/var/tmp" PORTDIR="/usr/portage" SYNC="rsync://rsync.europe.gentoo.org/gentoo-portage" USE="X Xaw3d a52 aac aalib accessibility acl acpi aim alsa amd64 ao apache2 arts audiofile avahi bash-completion bcmath berkdb blas bluetooth branding bzip2 cairo calendar cdda cddb cdparanoia cdr cli consolekit cracklib crypt css ctype cups curl cxx dbus dbx dga directfb doc dri dts dvd dvdr dvdread eds emacs emboss encode esd evo exif expat fam fbcon ffmpeg fftw firefox flac fontconfig foomaticdb fortran ftp gcj gd gdbm gdu geoip ggi gif gimp gmp gnome gnutls gpm gsl gstreamer gtk hal hddtemp iconv icq icu idn imagemagick imap imlib innodb ipv6 jabber jack javascript jbig jingle jpeg jpeg2k kde kerberos kolab krb4 ladspa lame lash latex lcms ldap libcaca libnotify libsamplerate libwww lirc lm_sensors lzo mad maildir matroska mbox mhash mikmod mime mmx mng modplug modules motif mozilla mp3 mp4 mpeg mplayer msn mudflap multilib musepack musicbrainz mysql mysqli nas ncurses nls nntp nptl nptlonly nsplugin odbc ogg openal opengl openmp osc oscar pam pango pcmcia pcre pda pdf perl php plotutils png policykit portaudio posix postgres ppds pppd pulseaudio python qt3 qt3support qt4 quicktime raw readline recode rss samba sasl scanner sdl session sharedext sharedmem shorten simplexml sndfile sockets sox speex spell spl sqlite sqlite3 sse sse2 ssl startup-notification subversion svg symlink sysfs syslog sysvipc szip taglib tcl tcpd theora threads tidy tiff timidity tk truetype udev unicode usb vhosts vorbis wavpack wifi wmf wxwindows x264 xcb xcomposite xft xine xml xorg xosd xpm xprint xscreensaver xsl xulrunner xv xvid yahoo zlib" 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" ALSA_PCM_PLUGINS="adpcm alaw asym copy dmix dshare dsnoop empty extplug file hooks iec958 ioplug ladspa lfloat linear meter mmap_emul mulaw multi null plug rate route share shm softvol" APACHE2_MODULES="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" CAMERAS="ptp2" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" 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 ubx" INPUT_DEVICES="keyboard mouse evdev" KERNEL="linux" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LINGUAS="en fr de nl" PHP_TARGETS="php5-3" RUBY_TARGETS="ruby18" USERLAND="GNU" VIDEO_CARDS="nvidia" 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: CPPFLAGS, CTARGET, EMERGE_DEFAULT_OPTS, FFLAGS, INSTALL_MASK, MAKEOPTS, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, PORTDIR_OVERLAY
# LC_ALL=C emerge -pqv =sci-mathematics/coq-8.3_p1 [ebuild N ] sci-mathematics/coq-8.3_p1 USE="doc gtk ocamlopt -debug"
/usr/lib64/ocaml/stublibs/dlllablgtk2.so: libglitz-glx.so.1: cannot open shared object file: No such file or directory You probably want to run revdep-rebuild after unmerging media-libs/glitz (if it's still installed).
