Compile error in ../Caml.mk:53: smtlib/smtlib_parser.mli

[naihsin]

Hi, there
I'm trying to install UAFuzz,
and then i occur some problems,
when i try the installation from github step by step,
then i try to input the command ./script/builds.sh uafuzz
the problem happen...
My environment is on Ubuntu 20.04 x86-64.
Here is the output error

Configuration summary
---------------------
ocamlc: ocamlc.opt 4.05.0
ocamlopt: ocamlopt.opt 4.05.0
ocamldep: ocamldep 4.05.0
ocamllex: ocamllex
menhir: menhir
ocamldoc: ocamldoc 4.05.0
target: opt
headache: no
PIQI piqi/common.piqi
PIQI piqi/instruction.piqi
PIQI piqi/libcall.piqi
PIQI piqi/syscall.piqi
PIQI piqi/dba.piqi
PIQI piqi/trace.piqi
PIQI piqi/analysis_config.piqi
PIQI piqi/config.piqi
PIQI piqi/message.piqi
PIQIML piqi/[common_piqi.ml](http://common_piqi.ml/)
PIQIML piqi/[instruction_piqi.ml](http://instruction_piqi.ml/)
PIQIML piqi/[libcall_piqi.ml](http://libcall_piqi.ml/)
PIQIML piqi/[syscall_piqi.ml](http://syscall_piqi.ml/)
PIQIML piqi/[dba_piqi.ml](http://dba_piqi.ml/)
PIQIML piqi/[trace_piqi.ml](http://trace_piqi.ml/)
PIQIML piqi/[analysis_config_piqi.ml](http://analysis_config_piqi.ml/)
PIQIML piqi/[config_piqi.ml](http://config_piqi.ml/)
PIQIML piqi/[message_piqi.ml](http://message_piqi.ml/)
MENHIR  smtlib/smtlib_parser.mli
Error: the code back-end requires the type of every nonterminal symbol to be
known. Please specify the type of every symbol via %type declarations, or
enable type inference (look up --infer in the manual).
Type inference is automatically enabled when Menhir is used via Dune,
provided the dune-project file says (using menhir 2.0) or later.
The types of the following nonterminal symbols are unknown:
attribute
attribute_value
fun_def
fun_nonrec_def
fun_rec_def
identifier
index
info_flag
list(delimited(LPAREN,command,RPAREN))
list(sexpr)
list(sort)
list(sorted_var)
nonempty_list(attribute)
nonempty_list(fun_rec_def)
nonempty_list(index)
nonempty_list(sort)
nonempty_list(sorted_var)
nonempty_list(symbol)
nonempty_list(term)
nonempty_list(var_binding)
option(NUMERAL)
option(poly_parameters)
poly_parameters
qual_identifier
sexpr
smt_option
sort
sorted_var
spec_constant
symbol
term
var_binding
make: *** [../Caml.mk:53: smtlib/smtlib_parser.mli] Error 1

I have no idea about this.
Could you help me to figure out this,
I appreciate your help very much.

[strongcourage]

Dear @naihsin ,
Sorry for the late reply. Which version of Ocaml and Menhir are you using? I've used Ubuntu 16.04 64-bit for testing, so I'm not sure it will work as expected in different environments.

Please make sure that you can successfully compile Binsec first.
Cheers.

[stwjt]

Hi, I fix it by using opam install menhir.20211128.