| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000189 | Frama-C | Kernel | public | 2009-07-15 11:10 | 2014-02-12 16:57 | ||||
| Reporter | lukaszc | ||||||||
| Assigned To | signoles | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | closed | Resolution | fixed | ||||||
| Product Version | Frama-C Beryllium-20090601-beta1 | ||||||||
| Target Version | Fixed in Version | Frama-C Beryllium-20090901 | |||||||
| Summary | 0000189: the configure script does not work properly with libocamlgraph-ocaml-dev 1.1-1 | ||||||||
| Description | When 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. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
virgile (developer) 2009-07-16 18:40 |
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) 2009-07-16 18:49 |
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) 2009-07-20 19:21 |
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) 2009-09-05 16:27 |
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 |
|
mehdi (reporter) 2009-09-05 20:16 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) 2009-09-08 13:12 |
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 |