Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000431Frama-CKernelpublic2010-03-19 16:242010-04-13 15:33
Reportersboldo 
Assigned Tosignoles 
PrioritynormalSeveritycrashReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in VersionFrama-C Boron-20100401 
Summary0000431: Dgraph.DGraphModel.read_dot
DescriptionHello, 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
TagsNo tags attached.
Attached Files? file icon toto [^] (4,889 bytes) 2010-03-19 16:24 [Show Content]

- Relationships

-  Notes
(0000734)
signoles (manager)
2010-03-23 15:14

Hello Sylvie, The result of your configure looks quite good :). Try to do 'make rebuild'. If any error occurs, please give me the output of this command.
(0000735)
sboldo (reporter)
2010-03-24 09:51

An error did occur, but not the same ^^ Ocamlc src/kernel/boot.cmo make[1]: *** No rule to make target `src/buckx/mybigarray.o', needed by `bin/toplevel.byte'. Stop. make: *** [rebuild] Error 2 BTW, am I supposed to update Frama-C or absolutely not ? Regards, Sylvie
(0000736)
signoles (manager)
2010-03-24 09:59

Reproduced. This error is a true Makefile bug. Will investigate as soon as possible...
(0000737)
signoles (manager)
2010-03-24 10:10

Workaround: just type 'make' works. Don't know what is the issue with "make rebuild". BTW update Frama-C if you want. The current svn version is not known as broken.
(0000738)
signoles (manager)
2010-03-24 11:11

svn release r8130 fixes this issue. Could you please confirm that your problem is solved?
(0000740)
sboldo (reporter)
2010-03-24 11:29

'make' gives the same error about Dgraph.DGraphModel.read_dot 'make rebuild' also gives the same error :-/ Sylvie
(0000741)
signoles (manager)
2010-03-24 13:29

Found the difference between our configurations. You haven't lablgnomecanvas on your system. Since a quite recent change, the Frama-C GUI (not gwhy though) now requires lablgnomecanvas. That was not checked by configure nor documented. This is now fixed. Please do: $ svn up $ rm -rf autom4te.cache $ autoconf $ ./configure $ make Are you able to compile now? If you want to compile the Frama-C GUI, please install lablgnomecanvas (for Ubuntu: sudo apt-get install liblablgtk2-gnome-ocaml-dev).
(0000743)
sboldo (reporter)
2010-03-24 15:34

It works now. Thanks a lot! Sylvie
(0000744)
signoles (manager)
2010-03-24 16:25

Fixed in svn release 8131.

- Issue History
Date Modified Username Field Change
2010-03-19 16:24 sboldo New Issue
2010-03-19 16:24 sboldo File Added: toto
2010-03-23 15:03 signoles Status new => assigned
2010-03-23 15:03 signoles Assigned To => signoles
2010-03-23 15:14 signoles Note Added: 0000734
2010-03-23 15:14 signoles Status assigned => feedback
2010-03-24 09:51 sboldo Note Added: 0000735
2010-03-24 09:59 signoles Note Added: 0000736
2010-03-24 09:59 signoles Status feedback => confirmed
2010-03-24 10:10 signoles Note Added: 0000737
2010-03-24 11:11 signoles Note Added: 0000738
2010-03-24 11:11 signoles Status confirmed => feedback
2010-03-24 11:15 sboldo Note Added: 0000739
2010-03-24 11:16 sboldo Note Deleted: 0000739
2010-03-24 11:29 sboldo Note Added: 0000740
2010-03-24 13:29 signoles Note Added: 0000741
2010-03-24 15:34 sboldo Note Added: 0000743
2010-03-24 16:25 signoles Note Added: 0000744
2010-03-24 16:25 signoles Status feedback => resolved
2010-03-24 16:25 signoles Fixed in Version => Frama-C svn, precise the release id
2010-03-24 16:25 signoles Resolution open => fixed
2010-04-13 15:30 signoles Status resolved => new
2010-04-13 15:31 signoles Status new => closed
2010-04-13 15:33 signoles Fixed in Version Frama-C svn, precise the release id => Frama-C Boron


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker