|Anonymous | Login | Signup for a new account||2018-12-14 00:54 CET|
|Main | My View | View Issues | Change Log | Roadmap | Repositories|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0000754||Frama-C||Kernel > Makefile||public||2011-03-16 10:16||2014-02-12 16:59|
|Priority||normal||Severity||minor||Reproducibility||have not tried|
|Target Version||Frama-C Nitrogen-20111001||Fixed in Version||Frama-C Nitrogen-20111001|
|Summary||0000754: Dynamic plugin doc|
|Description||The command : make xxx_DOC (where xxx is a dynamic plugin name) fails with the message :|
Pas de règle pour fabriquer la cible « /kernel-doc.ocamldoc »
This is because $(DOC_DIR) is not defined, which seems normal (I far as I know, the compilation of dynamic plugin refers to the installed files, not to the source repository).
The easiest fix would probably be that a plugin internal documentation doesn't depend on the kernel documentation...
|Tags||No tags attached.|
Another (maybe easier) way of fixing the problem would be to put the file [doc/code/kernel-doc.ocamldoc] (and probably [doc/code/style.css]) in the distribution (in [share/frama-c/] for instance). But there still would be a problem because of the frama-c specific ocamldoc generator...
I don't know if it is related, but I have seen that there is a file [Makefile.dynamic_config.external] which I guess is for external plugins, but I didn't understand how it is used (and even if it is the case...)
edited on: 2011-03-16 17:01
I have done a little workaround in [genassigns] plugin Makefile: it is quiet ugly (it has to define FRAMAC_HOME), but might be useful to wait for a better solution...
|If you are satisfied with your local workaround, it will be probably done at the same time than task #742.|
|Ok for me. Thanks.|
|Virgile is looking forward the issue.|
[genassigns]$ make doc
Frama-C kernel was not installed with code documentation support. Cannot compile API documentation.
make: *** [plugin-doc/Genassigns] Erreur 1
I didn't find any configure option to have the code documentation support...
What do I have to do ?
You have to generate and install kernel doc:
make doc install-doc-code
in Frama-C source dir
Next commit will document that.
|Fix committed to stable/neon branch.|
|2011-03-16 10:16||Anne||New Issue|
|2011-03-16 10:16||Anne||Status||new => assigned|
|2011-03-16 10:16||Anne||Assigned To||=> signoles|
|2011-03-16 12:00||signoles||Status||assigned => acknowledged|
|2011-03-16 13:39||Anne||Note Added: 0001602|
|2011-03-16 17:00||Anne||Note Added: 0001603|
|2011-03-16 17:01||Anne||Note Edited: 0001603|
|2011-03-17 10:37||signoles||Relationship added||related to 0000742|
|2011-03-17 10:38||signoles||Note Added: 0001606|
|2011-03-17 10:46||Anne||Note Added: 0001607|
|2011-03-24 15:05||signoles||Target Version||=> Frama-C Nitrogen-20110901|
|2011-03-24 15:06||signoles||Status||acknowledged => assigned|
|2011-03-24 15:06||signoles||Assigned To||signoles => virgile|
|2011-03-24 15:06||signoles||Note Added: 0001629|
|2011-03-24 15:08||virgile||Status||assigned => acknowledged|
|2011-03-25 13:49||svn||Status||acknowledged => resolved|
|2011-03-25 13:49||svn||Resolution||open => fixed|
|2011-03-25 14:20||Anne||Note Added: 0001639|
|2011-03-25 14:20||Anne||Status||resolved => feedback|
|2011-03-25 14:20||Anne||Resolution||fixed => reopened|
|2011-03-25 16:01||virgile||Note Added: 0001641|
|2011-03-25 16:02||svn||Status||feedback => resolved|
|2011-03-25 16:02||svn||Resolution||reopened => fixed|
|2011-10-10 14:13||signoles||Fixed in Version||=> Frama-C Nitrogen-20111001|
|2011-10-10 14:14||signoles||Status||resolved => closed|
|2014-02-12 16:59||Note Added: 0004820|
|2014-02-12 16:59||Status||closed => resolved|
|Copyright © 2000 - 2018 MantisBT Team|