cp: cannot stat `ocamlgraph/dgraph/dgraph.cmi': No such file or directory
ID0000409: This issue was created automatically from Mantis Issue 409. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000409 | 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 :
frama-c-Beryllium-20090902-why-2.21
Running make gives the following error:
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
Additional Information :
dgraph.cmi does not exist in ocamlgraph/dgraph dgraph.cmi does not exist anywhere in ocamlgraph.tar.gz
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information