2021-01-27 11:41 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000189Frama-CKernelpublic2014-02-12 16:57
Reporterlukaszc 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
Product VersionFrama-C Beryllium-20090601-beta1 
Target VersionFixed in VersionFrama-C Beryllium-20090901 
Summary0000189: the configure script does not work properly with libocamlgraph-ocaml-dev 1.1-1
DescriptionWhen configuring with libocamlgraph-ocaml-dev 1.0 everything works fine, i.e. a makefile configured to use the attached to the sources library (0.9.9) is generated.

However, when libocamlgraph-ocaml-dev 1.1-1 (from debian sid (unstable)) is used the configure script uses this library not the internal one. Then make ends with errors.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0000266

virgile (developer)

Normally, ocamlgraph v1.1 is compatible with frama-c Beryllium Beta (on the contrary to previous versions), this is why it is preferred over a local installation. However, it might be the case that some optional part of ocamlgraph
needed by Frama-C are not included in the debian package.
Could you provide a log of the compilation?

~0000269

lukaszc (reporter)

Unfortunately I do not have it and am not able generate it as I downgraded to version 1.0 of the library.

~0000284

Jonathan-Christofer Demay (reporter)

I too fail to compile Beryllium with a local ocamlgraph. I'm working on gentoo but I checked debian sid, this is the same error.

I will upload a build log and the list of files installed by the ocamlgraph package.

~0000375

Jonathan-Christofer Demay (reporter)

To compile with a local ocamlgraph, the makefile has to be patched this way:
diff -Naur frama-c-Beryllium-20090601-beta1-orig/Makefile.in frama-c-Beryllium-20090601-beta1-ptch/Makefile.in
--- frama-c-Beryllium-20090601-beta1-orig/Makefile.in 2009-06-23 11:24:39.000000000 +0000
+++ frama-c-Beryllium-20090601-beta1-ptch/Makefile.in 2009-09-04 15:32:40.000000000 +0000
@@ -358,10 +358,12 @@
 GRAPH_GUICMX= $(GRAPH_GUICMO:.cmo=.cmx)
 GRAPH_GUIO= $(GRAPH_GUICMO:.cmo=.o)
 HAS_VIEWGRAPH=yes
+ifneq ("$(OCAMLGRAPH_LOCAL)","")
 BYTE_GUI_LIBS+= $(GRAPH_GUICMO)
 OPT_GUI_LIBS+= $(GRAPH_GUICMX)
+endif
 endif
 endif
 
 endif # whether ocamlgraph is local

~0000376

mehdi (reporter)

Last edited: 2009-09-05 20:53

The Debian package compiles fine with ocamlgraph 1.1 provided the patch I've applied which I submitted in the issue 0000225. The two issues look similar.

Anyway, I think that this issue is fixed in the latest stable release.

~0000378

signoles (manager)

This issue is fixed in Beryllium. Note that Frama-C Beryllium now requires the latest release of ocamlgraph, that is 1.2.
+Notes

-Issue History
Date Modified Username Field Change
2009-07-15 11:10 lukaszc New Issue
2009-07-16 18:40 virgile Note Added: 0000266
2009-07-16 18:40 virgile Assigned To => virgile
2009-07-16 18:40 virgile Status new => feedback
2009-07-16 18:49 lukaszc Note Added: 0000269
2009-07-20 19:21 Jonathan-Christofer Demay Note Added: 0000284
2009-07-20 19:23 Jonathan-Christofer Demay File Added: build.log
2009-07-20 19:26 Jonathan-Christofer Demay File Added: ocamlgraph.list
2009-09-05 16:27 Jonathan-Christofer Demay Note Added: 0000375
2009-09-05 20:16 mehdi Note Added: 0000376
2009-09-05 20:53 mehdi Note Edited: 0000376
2009-09-08 13:11 signoles Status feedback => assigned
2009-09-08 13:11 signoles Assigned To virgile => signoles
2009-09-08 13:12 signoles Note Added: 0000378
2009-09-08 13:12 signoles Status assigned => closed
2009-09-08 13:12 signoles Resolution open => fixed
2009-09-08 13:12 signoles Fixed in Version => Frama-C Beryllium
2013-12-19 01:14 svn Source_changeset_attached => framac master f2ff4d96
2014-02-12 16:57 monate Source_changeset_attached => framac stable/neon f2ff4d96
+Issue History