Dgraph.DGraphModel.read_dot
ID0000431: This issue was created automatically from Mantis Issue 431. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000431 | Frama-C | Kernel | public | 2010-03-19 | 2010-04-13 |
| Reporter | sboldo | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | Frama-C Boron-20100401 |
Description :
Hello,
I try to compile the latest svn version (8087) but I can't. I have the following message:
File "src/gui/property_navigator.ml", line 50, characters 18-45: Error: Unbound value Dgraph.DGraphModel.read_dot make: *** [src/gui/property_navigator.cmo] Error 2
What my .configure gives is as attached file. Probably a Makefile problem...
Regards,
Sylvie Boldo