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 ?