Проблемы с установкой компилятора CompCert C в Ubuntu

Question

Я устанавливаю компилятор CompCert C, как указано здесь: https://compcert.org/man/manual002.html .

Однако я застрял на этапе, когда я «Запускаю сценарий настройки с соответствующими параметрами: ./configure [option…] target»

Вывод консоли:

      ~/compcert/CompCert-3.8$ ./configure -use-external-MenhirLib x86_64-linux
Testing assembler support for CFI directives... yes
Testing linker support for '-no-pie' / '-nopie' option... yes, '-no-pie'
Testing Coq... version 8.11.0 -- good!
Testing OCaml... version 4.08.1 -- good!
Testing OCaml native-code compiler...yes
Testing OCaml .opt compilers... yes
Testing Menhir... version 20200123 -- good!
Error: cannot determine the location of the Menhir API library.
This can be due to an incorrect Menhir package.
Consider using the OPAM package for Menhir.
Testing GNU make... version 4.2.1 (command 'make') -- good!
One or several required tools are missing or too old.  Aborting.

Я использую Ubuntu 20.04 LTS.

Answer 1

Похоже, у вас неправильная версия файла menhirLib . Смотрите эти строки в configureскрипт в системе сборки, который приводит к этой ошибке. Я думаю, проблема в том, что вы установили другую версию, возможно, используя свой менеджер пакетов.

Я предлагаю вам выполнить следующие команды, чтобы установить последнюю версию menhirLib из opam:

      opam update
opam install menhir menhirLib

Это должно помочь.