Félix <[email protected]> writes: > Un seul pb: les libraries config_file étaient intallées directement > dans le répertoire ocaml donc > je les ai déplacées à la main pour que le configure de demexp les trouve.
Hmm, bizarre, chez moi ils sont dans « /usr/local/lib/ocaml/3.10.2/config_file/ ». Que donne grep INSTALLDIR master.Makefile dans le répertoire de compilation de config_file ? Amicalement, d. -- GPG/PGP key: A3AD7A2A David MENTRE <[email protected]> 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A _______________________________________________ Demexp-fr mailing list [email protected] https://lists.demexp.org/mailman/listinfo/demexp-fr
