I was attempting to install the BTCompiler https://github.com/CARVE-ROBMOSYS/BTCompiler on docker.
Unfortunately, I ran into an issue.
After having cloned the repo, installed Ocaml, and installed Coq, when attempting to use the make command I got the following error.
File "./spec_extr.v", line 7, characters 29-34:
Error:
The term ""010"" has type "string" while it is expected to have type
"Ascii.ascii".
make[1]: *** [Makefile:764: spec_extr.vo] Error 1
make: *** [Makefile:387: all] Error 2
Do you have any ideas on how to handle this?
Thank you in advance for any time spent on this question, and apologies for bothering you.
I was attempting to install the BTCompiler https://github.com/CARVE-ROBMOSYS/BTCompiler on docker.
Unfortunately, I ran into an issue.
After having cloned the repo, installed Ocaml, and installed Coq, when attempting to use the make command I got the following error.
File "./spec_extr.v", line 7, characters 29-34:
Error:
The term ""010"" has type "string" while it is expected to have type
"Ascii.ascii".
make[1]: *** [Makefile:764: spec_extr.vo] Error 1
make: *** [Makefile:387: all] Error 2
Do you have any ideas on how to handle this?
Thank you in advance for any time spent on this question, and apologies for bothering you.