>>> Configuring source in /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5 ... The project was not configured: run "waf configure" first! CCFLAGS="-O2 -pipe" LINKFLAGS="-Wl,-O1 -Wl,--as-needed" "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/waf" --prefix=/usr configure Setting top to : /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5 Setting out to : /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build Checking for program javac : /opt/icedtea-bin-7.2.4.7/bin/javac Checking for program java : /opt/icedtea-bin-7.2.4.7/bin/java Checking for program jar : /opt/icedtea-bin-7.2.4.7/bin/jar Checking for program javadoc : /opt/icedtea-bin-7.2.4.7/bin/javadoc Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++ Checking for program javac : ['/opt/icedtea-bin-7.2.4.7/bin/javac'] Checking for program java : ['/opt/icedtea-bin-7.2.4.7/bin/java'] Checking for program jar : ['/opt/icedtea-bin-7.2.4.7/bin/jar'] Checking for program javadoc : ['/opt/icedtea-bin-7.2.4.7/bin/javadoc'] Checking for header jni.h : yes Checking for 'gcc' (c compiler) : x86_64-pc-linux-gnu-gcc Checking for program javac : ['/opt/icedtea-bin-7.2.4.7/bin/javac'] Checking for program java : ['/opt/icedtea-bin-7.2.4.7/bin/java'] Checking for program jar : ['/opt/icedtea-bin-7.2.4.7/bin/jar'] Checking for program javadoc : ['/opt/icedtea-bin-7.2.4.7/bin/javadoc'] Checking for header jni.h : yes Traceback (most recent call last): File "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/.waf3-1.7.6-aeca75c39c28caac64540ecaf32d4f82/waflib/Scripting.py", line 97, in waf_entry_point run_commands() File "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/.waf3-1.7.6-aeca75c39c28caac64540ecaf32d4f82/waflib/Scripting.py", line 153, in run_commands ctx=run_command(cmd_name) File "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/.waf3-1.7.6-aeca75c39c28caac64540ecaf32d4f82/waflib/Scripting.py", line 146, in run_command ctx.execute() File "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/.waf3-1.7.6-aeca75c39c28caac64540ecaf32d4f82/waflib/Configure.py", line 128, in execute super(ConfigurationContext,self).execute() File "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/.waf3-1.7.6-aeca75c39c28caac64540ecaf32d4f82/waflib/Context.py", line 87, in execute self.recurse([os.path.dirname(g_module.root_path)]) File "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/.waf3-1.7.6-aeca75c39c28caac64540ecaf32d4f82/waflib/Context.py", line 128, in recurse user_function(self) File "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/wscript", line 14, in configure conf.recurse('src lib') File "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/.waf3-1.7.6-aeca75c39c28caac64540ecaf32d4f82/waflib/Context.py", line 128, in recurse user_function(self) File "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/wscript", line 23, in configure conf.recurse(solver) File "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/.waf3-1.7.6-aeca75c39c28caac64540ecaf32d4f82/waflib/Context.py", line 128, in recurse user_function(self) File "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/lingeling-276/wscript", line 29, in configure flags = reduce(lambda x, y: x + " " + y, conf.env.CFLAGS + [ '-D'+flag for flag in conf.env.DEFINES ]) NameError: global name 'reduce' is not defined * ERROR: sci-mathematics/kodkod-1.5.2::gentoo failed (configure phase): * configure failed Portage 2.2.10 (default/linux/amd64/13.0/desktop/kde, gcc-4.8.3, glibc-2.19-r1, 3.15.0-gentoo x86_64) ================================================================= System uname: Linux-3.15.0-gentoo-x86_64-AMD_Phenom-tm-_II_X4_965_Processor-with-gentoo-2.2 KiB Mem: 7919000 total, 551720 free KiB Swap: 25165812 total, 24997888 free Timestamp of tree: Unknown ld GNU ld (Gentoo 2.24 p1.4) 2.24 app-shells/bash: 4.2_p47 dev-java/java-config: 2.2.0 dev-lang/python: 2.7.6-r1, 3.2.5-r4, 3.3.5, 3.4.0 dev-util/cmake: 2.8.12.2-r1 dev-util/pkgconfig: 0.28-r1 sys-apps/baselayout: 2.2 sys-apps/openrc: 0.12.4 sys-apps/sandbox: 2.6-r1 sys-devel/autoconf: 2.69 sys-devel/automake: 1.14.1 sys-devel/binutils: 2.24-r3 sys-devel/gcc: 4.8.3 sys-devel/gcc-config: 1.8 sys-devel/libtool: 2.4.2-r1 sys-devel/make: 4.0-r1 sys-kernel/linux-headers: 3.15 (virtual/os-headers) sys-libs/glibc: 2.19-r1 Repositories: gentoo ACCEPT_KEYWORDS="amd64 ~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 /usr/share/themes/oxygen-gtk/gtk-2.0 /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" DISTDIR="/usr/portage/distfiles" EMERGE_DEFAULT_OPTS="-j2" FCFLAGS="-O2 -pipe" FEATURES="assume-digests binpkg-logs buildpkg config-protect-if-modified distlocks ebuild-locks fixlafiles merge-sync parallel-fetch preserve-libs protect-owned sandbox sfperms split-log strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync" FFLAGS="-O2 -pipe" GENTOO_MIRRORS="http://mirrors.163.com/gentoo/ ftp://ftp.kaist.ac.kr/gentoo/ http://ftp.kaist.ac.kr/pub/gentoo/ http://gentoo.mirrors.hoobly.com/ http://gentoo.mirrors.easynews.com/linux/gentoo/" LANG="en_US.utf8" LDFLAGS="-Wl,-O1 -Wl,--as-needed" MAKEOPTS="-j4" 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" PORTAGE_TMPDIR="/var/tmp" PORTDIR="/usr/portage" PORTDIR_OVERLAY="" USE="X a52 aac acl acpi alsa amd64 berkdb bluetooth branding bzip2 cairo cdda cdr cli consolekit cracklib crypt cups cxx dbus declarative dri dts dvd dvdr emboss encode exif fam ffmpeg firefox flac fortran gbm gd gdbm gif glade gpm gtk iconv icu ipv6 java jpeg kde kipi lapack lcms ldap libkms libnotify mad mmx mng modules mp3 mp4 mpeg multilib ncurses nls nptl objc ogg opengl openmp pam pango pcre pdf phonon plasma png policykit ppds python qt3support qt4 readline sdl semantic-desktop session spell sqlite sse sse2 ssl startup-notification svg tcpd threads tiff truetype udev udisks unicode upower usb vorbis wxwidgets x264 xa xcb xcomposite xinerama xml xscreensaver xv xvfb xvid zlib" ABI_X86="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" 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" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" OFFICE_IMPLEMENTATION="libreoffice" PHP_TARGETS="php5-3 php5-4" PYTHON_SINGLE_TARGET="python2_7" PYTHON_TARGETS="python2_7 python3_2 pypy python3_3 python3_4" RUBY_TARGETS="ruby19 ruby20" USERLAND="GNU" VIDEO_CARDS="fbdev glint intel mach64 mga nouveau nv r128 radeon savage sis tdfx trident vesa via vmware 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: CPPFLAGS, CTARGET, INSTALL_MASK, LC_ALL, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, SYNC, USE_PYTHON
I have tried to fix it by upgrading the waf version used in kodkod with this commit: Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify the classpath to javadoc. Use the javadoc -Xdoclint:none option for java 1.8 and later versions. The error "NameError: global name 'reduce' is not defined" appears to be some sort of Python error, so I am hoping the upgrade to waf has fixed it. But its hard for me to know as I could not reproduce this error.
It works for me so I assume it is fixed, please re-open if it still occurs.