Anonymous | Login | Signup for a new account | 2019-12-10 20:59 CET | ![]() |
Main | My View | View Issues | Change Log | Roadmap | Repositories |
View Issue Details [ Jump to Notes ] [ Related Changesets ] | [ Issue History ] [ Print ] | ||||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
0001278 | Frama-C | Kernel > Makefile | public | 2012-09-26 17:32 | 2016-06-21 15:39 | ||||||||
Reporter | Anne | ||||||||||||
Assigned To | bobot | ||||||||||||
Priority | normal | Severity | tweak | Reproducibility | have not tried | ||||||||
Status | assigned | Resolution | open | ||||||||||
Platform | OS | OS Version | |||||||||||
Product Version | Frama-C Oxygen-20120901 | ||||||||||||
Target Version | Fixed in Version | ||||||||||||
Summary | 0001278: Path for 'make install-doc-code' for external plug-in | ||||||||||||
Description | When I do `make install-doc-code` for my XXX plug-in, it installs the documentation in `/usr/local/share/frama-c/doc/XXX` instead of `/usr/local/share/frama-c/doc/code/XXX` like the other plug-ins. So the links to Frama-C documentation are broken. | ||||||||||||
Tags | No tags attached. | ||||||||||||
Attached Files | |||||||||||||
![]() |
|
(0003916) Anne (reporter) 2013-05-28 15:53 |
It is worse in the new Fluorine version (20130501) since I couldn't even do [make doc] any more without having the message : > Frama-C kernel was not installed with code documentation support. > Cannot compile API documentation. To install it, > run 'make doc install-doc-code' in Frama-C's main directory but I already did it of course... I found a quick fix at line 79 of share/Makefile.dynamic : < if test ! -e $(DOC_DIR)/kernel-doc.ocamldoc; then \ > if test ! -e $(DOC_DIR)/code/kernel-doc.ocamldoc; then \ so now I can make my doc, but the links to Frama-C documentation are still broken. It is not very important, and I have no time to investigate now, but I'll try to make a very simple example as soon as I have a moment in order to fix that better.... |
![]() |
|||
Date Modified | Username | Field | Change |
2012-09-26 17:32 | Anne | New Issue | |
2012-09-26 17:32 | Anne | Status | new => assigned |
2012-09-26 17:32 | Anne | Assigned To | => signoles |
2012-10-01 17:07 | svn | Checkin | |
2012-10-01 17:07 | signoles | Status | assigned => resolved |
2012-10-01 17:07 | signoles | Resolution | open => fixed |
2013-04-19 11:05 | signoles | Fixed in Version | => Frama-C Fluorine |
2013-04-19 11:05 | signoles | Status | resolved => closed |
2013-05-06 13:43 | svn | Checkin | |
2013-05-06 13:44 | signoles | Status | closed => resolved |
2013-05-06 13:44 | signoles | Fixed in Version | Frama-C Fluorine => |
2013-05-06 15:25 | svn | Checkin | |
2013-05-23 17:07 | signoles | Fixed in Version | => Frama-C Fluorine-20130501 |
2013-05-23 17:07 | signoles | Status | resolved => closed |
2013-05-28 15:53 | Anne | Note Added: 0003916 | |
2013-05-28 15:53 | Anne | Status | closed => feedback |
2013-05-28 15:53 | Anne | Resolution | fixed => reopened |
2013-09-27 16:56 | svn | Checkin | |
2013-09-27 16:57 | signoles | Status | feedback => confirmed |
2013-09-27 16:57 | signoles | Resolution | reopened => open |
2013-09-27 16:57 | signoles | Fixed in Version | Frama-C Fluorine-20130501 => |
2016-06-21 15:39 | signoles | Assigned To | signoles => bobot |
2016-06-21 15:39 | signoles | Status | confirmed => assigned |
Copyright © 2000 - 2019 MantisBT Team |