Bytecode only build fail with error 127
ID0002473: This issue was created automatically from Mantis Issue 2473. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002473 | Frama-C | Kernel > Makefile | public | 2019-08-23 | 2019-08-29 |
| Reporter | madroach | Assigned To | bobot | Resolution | no change required |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | amd64 bytecode only | OS | OpenBSD | OS Version | -current |
| Product Version | Frama-C 19-Potassium | Target Version | - | Fixed in Version | - |
Description :
Frama-C build fine with native code compilers available, but fails to build bytecode-only with the following error. I suspect the relevant clue is the _DEP_REDO suffix ?
Generating src/plugins/callgraph/.Makefile.plugin.generated Generating src/plugins/metrics/.Makefile.plugin.generated gmake[1]: Entering directory '/usr/obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0' Ocamldep src/plugins/metrics/.depend gmake[1]: *** [src/plugins/metrics/.Makefile.plugin.generated:901: src/plugins/metrics/Metrics_DEP_REDO] Error 127 gmake[1]: Leaving directory '/usr/obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0' Ocamlc src/plugins/aorai/bool3.cmo gmake: *** [share/Makefile.generic:78: src/plugins/aorai/bool3.cmo] Error 127
Steps To Reproduce :
Install OCaml without native-code compilers, install dependencies, try to build Frama-C.