share/Makefile.kernel: No such file or directory
ID0000408: This issue was created automatically from Mantis Issue 408. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0000408 | Frama-C | Kernel > Makefile | public | 2010-02-16 | 2010-02-18 |
Reporter | javert42 | Assigned To | signoles | Resolution | no change required |
Priority | normal | Severity | block | Reproducibility | always |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Beryllium-20090902 | Target Version | - | Fixed in Version | - |
Description :
running 'make' gives the following errors: share/Makefile.dynamic:55: share/Makefile.kernel: No such file or directory Makefile:1853: .depend: No such file or directory Copying to lib/dgraph.cmi cp: cannot stat `ocamlgraph/dgraph/dgraph.cmi': No such file or directory make: *** [lib/dgraph.cmi] Error 1