Euh???
https://build.lrde.org/?tree=vaucanson-icc&host=caracas
configure FAILED
Running action configure
pwd: /work/olivier/build_farm/build/vaucanson-icc
++ mkdir -p _build
++ cd _build
++ /work/olivier/build_farm/build/vaucanson-icc/timelimit 21600
/work/olivier/build_farm/build/vaucanson-icc/configure
--prefix=/work/olivier/build_farm/prefix/vaucanson-icc
/work/olivier/build_farm/build/vaucanson-icc/timelimit: error while loading shared
libraries: libimf.so: cannot open shared object file: No such file or directory
Nia ?