Я пытаюсь установить пакет Z3 (https://github.com/Z3Prover/z3.git)
Я выполнил следующие команды
./configure
cd build
make
make install
Установка прошла успешно. Однако, когда я бегу
Ocamlfind list
Компонент z3 не указан. Поэтому, когда я пытаюсь построить свой проект, который использует z3, он терпит неудачу с ошибкой
ocamlfind: пакет `Z3 'не найден.
Я сделал следующие обходные пути,
а) добавил путь z3.exe к пути
б) Я выполнил следующую команду python, но получил сообщение об ошибке, в котором говорится, что он не может найти путь ocamlopt.exe.
python scripts/mk_make.py --python.
Пожалуйста, укажите направление. Я новичок в Ocaml и Linux