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 - 2018 MantisBT Team
Powered by Mantis Bugtracker