Я пытаюсь установить z3 (https://github.com/Z3Prover/z3)
Я выполнил следующую команду.
> python ./scripts/mk_make.py --ml --prefix=D:/winz3 -g
Я получаю это исключение.
* Файл "./scripts/mk_make.py", строка 18, в
Файл mk_bindings (API_files) "/ cygdrive / e / OCamal Programming / Installer / Янв 2019 / Z3 / z3-master / scripts / mk_util.py", строка
3280, в mk_bindings
check_ml () Файл "/ cygdrive / e / OCamal Programming / Installer / Jan 2019 / Z3 / z3-master / scripts / mk_util.py", строка 480, в файле check_ml
поднять MKException ('Не удалось протестировать компилятор ocamlopt. Задайте переменную среды OCAMLOPT с путем к собственному Ocaml)
компилятор. Обратите внимание, что ocamlopt может потребоваться Flexlink, чтобы быть в вашем
путь. ')
mk_exception.MKException: 'Не удалось протестировать компилятор ocamlopt.
Установите переменную окружения OCAMLOPT с путем к нативному Ocaml
компилятор. Обратите внимание, что ocamlopt может потребоваться Flexlink, чтобы быть в вашем
путь. *
Я добавил переменную среды, а также путь к flexdll (C: \ Program Files (x86) \ flexdl \ flexlink.exe)
Пожалуйста, предложите, что еще я могу попробовать.