2021-01-27 11:41 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000189Frama-CKernelpublic2014-02-12 16:57
Assigned Tosignoles 
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




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?


lukaszc (reporter)

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


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.


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 @@
+ifneq ("$(OCAMLGRAPH_LOCAL)","")
 endif # whether ocamlgraph is local


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.


signoles (manager)

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

-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