Frama-C Bug Tracking System - Frama-C
View Issue Details
0001278Frama-CKernel > Makefilepublic2012-09-26 17:322016-06-21 15:39
Anne 
bobot 
normaltweakhave not tried
assignedopen 
Frama-C Oxygen-20120901 
 
0001278: Path for 'make install-doc-code' for external plug-in
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.
No tags attached.
Issue History
2012-09-26 17:32AnneNew Issue
2012-09-26 17:32AnneStatusnew => assigned
2012-09-26 17:32AnneAssigned To => signoles
2012-10-01 17:07svnCheckin
2012-10-01 17:07signolesStatusassigned => resolved
2012-10-01 17:07signolesResolutionopen => fixed
2013-04-19 11:05signolesFixed in Version => Frama-C Fluorine
2013-04-19 11:05signolesStatusresolved => closed
2013-05-06 13:43svnCheckin
2013-05-06 13:44signolesStatusclosed => resolved
2013-05-06 13:44signolesFixed in VersionFrama-C Fluorine =>
2013-05-06 15:25svnCheckin
2013-05-23 17:07signolesFixed in Version => Frama-C Fluorine-20130501
2013-05-23 17:07signolesStatusresolved => closed
2013-05-28 15:53AnneNote Added: 0003916
2013-05-28 15:53AnneStatusclosed => feedback
2013-05-28 15:53AnneResolutionfixed => reopened
2013-09-27 16:56svnCheckin
2013-09-27 16:57signolesStatusfeedback => confirmed
2013-09-27 16:57signolesResolutionreopened => open
2013-09-27 16:57signolesFixed in VersionFrama-C Fluorine-20130501 =>
2016-06-21 15:39signolesAssigned Tosignoles => bobot
2016-06-21 15:39signolesStatusconfirmed => assigned

Notes
(0003916)
Anne   
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....