Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002473Frama-CKernel > Makefilepublic2019-08-23 22:122019-08-29 08:15
Assigned Tobobot 
StatusclosedResolutionno change required 
Platformamd64 bytecode onlyOSOpenBSDOS Version-current
Product VersionFrama-C 19-Potassium 
Target VersionFixed in Version 
Summary0002473: Bytecode only build fail with error 127
DescriptionFrama-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 ReproduceInstall OCaml without native-code compilers, install dependencies, try to build Frama-C.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
virgile (developer)
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.
madroach (reporter)
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.
virgile (developer)
2019-08-29 08:15

OK, thanks for the update.

- Issue History
Date Modified Username Field Change
2019-08-23 22:12 madroach New Issue
2019-08-23 22:12 madroach Status new => assigned
2019-08-23 22:12 madroach Assigned To => bobot
2019-08-26 10:06 virgile Note Added: 0006854
2019-08-29 00:43 madroach Note Added: 0006859
2019-08-29 08:15 virgile Note Added: 0006861
2019-08-29 08:15 virgile Status assigned => closed
2019-08-29 08:15 virgile Resolution open => no change required

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker