Используете ли вы команду ocamlfind, предоставляемую вашей установкой GODI? Я предполагаю, что вы используете тот, который предоставлен Debian.
Чтобы увидеть, какой из них вы используете, запустите which ocamlfind
. Если он возвращает /usr/bin/ocamlfind
, то вы используете Debian. Чтобы использовать GODI, вам нужно настроить переменную окружения PATH
; для этого положите:
export PATH=/path/to/godi/bin:$PATH
например ваш ~/.bashrc
.
Кстати, батареи и ocamlgraph доступны в виде пакета Debian; вы можете попробовать их в первую очередь.