Frama-C Bug Tracking System - Frama-C
View Issue Details
0002473Frama-CKernel > Makefilepublic2019-08-23 22:122019-08-29 08:15
madroach 
bobot 
normalminoralways
closedno change required 
amd64 bytecode onlyOpenBSD-current
Frama-C 19-Potassium 
 
0002473: Bytecode only build fail with error 127
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
Install OCaml without native-code compilers, install dependencies, try to build Frama-C.
No tags attached.
Issue History
2019-08-23 22:12madroachNew Issue
2019-08-23 22:12madroachStatusnew => assigned
2019-08-23 22:12madroachAssigned To => bobot
2019-08-26 10:06virgileNote Added: 0006854
2019-08-29 00:43madroachNote Added: 0006859
2019-08-29 08:15virgileNote Added: 0006861
2019-08-29 08:15virgileStatusassigned => closed
2019-08-29 08:15virgileResolutionopen => no change required

Notes
(0006854)
virgile   
2019-08-26 10:06   
Can you compile with verbose mode activated (VERBOSEMAKE=yes make) and provide the logs? ocamldep is not supposed to trigger a compilation, be it in bytecode or native.
(0006859)
madroach   
2019-08-29 00:43   
Thanks for the hint abount VERBOSEMAKE=yes. Now I could track down the problem, which actually was a misconfiguration of ocamlfind. Please close this issue. Sorry for the noise.
(0006861)
virgile   
2019-08-29 08:15   
OK, thanks for the update.