FaCiLe will soon be a new USE flag optional dependency of kde-base/kalzium and kde-base/kdeedu. Compiles in about 13 seconds for me (including successfully running its tests). If you want to run more tests, please remove --disable-ocamlsolver (or do it correctly if you feel like being an eager beaver ;) ) from either kde-base/kalzium or kde-base/kdeedu (locally only, of course), thus introducing an automagic dep on facile and see if Kalzium's equation solver ("Tools" menu) can be started, enter "aH2O + bCO2 -> cH2CO3", hit "Apply" and marvel at the wonders of chemistry (expected result: "1 H2O + 1 CO2 -> 1 H2CO3" (in nicer notation)) which will remain a mystery for me forever. ;-)
~alpha/~ia64 done
1. Emerges on SPARC. 2. No collisions. 3. Test phase ok. 4. Works - tested with the files inside the examples directory. Please note: $ ocamlc -I +facile facile.cma jobshop.ml File "jobshop.ml", line 14, characters 11-26: Unbound module Scheduling.Task $ ocamlc -I +facile facile.cma scheduling.ml File "scheduling.ml", line 253, characters 8-21: Warning Y: unused variable another_first. File "scheduling.ml", line 25, characters 16-36: Unbound value Fcl_misc.gen_int_fun Portage 2.1.3.9 (default-linux/sparc/sparc64/2007.0/server, gcc-4.1.2, glibc-2.5-r4, 2.6.22-gentoo-r5 sparc64) ================================================================= System uname: 2.6.22-gentoo-r5 sparc64 sun4u Timestamp of tree: Sat, 15 Sep 2007 18:20:01 +0000 ccache version 2.4 [enabled] app-shells/bash: 3.2_p17 dev-lang/python: 2.4.4-r4 dev-python/pycrypto: 2.0.1-r6 dev-util/ccache: 2.4-r7 sys-apps/baselayout: 1.12.9-r2 sys-apps/sandbox: 1.2.17 sys-devel/autoconf: 2.13, 2.61-r1 sys-devel/automake: 1.9.6-r2, 1.10 sys-devel/binutils: 2.17 sys-devel/gcc-config: 1.3.16 sys-devel/libtool: 1.5.24 virtual/os-headers: 2.6.21 ACCEPT_KEYWORDS="sparc" CBUILD="sparc-unknown-linux-gnu" CFLAGS="-O2 -mcpu=ultrasparc -pipe" CHOST="sparc-unknown-linux-gnu" CONFIG_PROTECT="/etc" CONFIG_PROTECT_MASK="/etc/env.d /etc/gconf /etc/init.d /etc/pam.d /etc/revdep-rebuild /etc/terminfo /etc/udev/rules.d" CXXFLAGS="-O2 -mcpu=ultrasparc -pipe" DISTDIR="/usr/portage/distfiles" EMERGE_DEFAULT_OPTS="-k" FEATURES="ccache collision-protect distlocks metadata-transfer parallel-fetch sandbox sfperms strict test unmerge-orphans userfetch userpriv usersandbox" GENTOO_MIRRORS="ftp://mirrors1.netvisao.pt/gentoo http://darkstar.ist.utl.pt/pub/gentoo http://distfiles.gentoo.org http://www.ibiblio.org/pub/Linux/distributions/gentoo" MAKEOPTS="-j3" PKGDIR="/usr/portage/packages" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --compress --force --whole-file --delete --delete-after --stats --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages --filter=H_**/files/digest-*" PORTAGE_TMPDIR="/var/tmp" PORTDIR="/usr/portage" SYNC="rsync://rsync.europe.gentoo.org/gentoo-portage" USE="acl apache2 bash-completion bitmap-fonts bzip2 cli cracklib crypt cups dri fortran gdbm iconv ipv6 isdnlog mailwrapper midi mudflap ncurses nptl nptlonly offensive openmp pam pcre perl postgres ppds pppd python readline reflection session snmp sparc spl ssl tcpd test truetype truetype-fonts type1-fonts xml xorg zlib" ALSA_PCM_PLUGINS="adpcm alaw asym copy dmix dshare dsnoop empty extplug file hooks iec958 ioplug ladspa lfloat linear meter mulaw multi null plug rate route share shm softvol" ELIBC="glibc" INPUT_DEVICES="keyboard mouse evdev" KERNEL="linux" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" USERLAND="GNU" VIDEO_CARDS="dummy fbdev glint mach64 mga r128 radeon sunbw2 suncg14 suncg3 suncg6 sunffb sunleo tdfx v4l voodoo" Unset: CTARGET, INSTALL_MASK, LANG, LC_ALL, LDFLAGS, LINGUAS, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, PORTDIR_OVERLAY
~ppc'd
~sparc done, thanks Tiago
added ~ppc64
Fix building on non GNU platforms and keyword ~x86-fbsd, #192065. I've emailed the patch upstream.
This is fixed. Closing.
