Anonymous Login Frama-C issues should now be submitted on Frama-C's GitLab
2021-03-06 03:38 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000754Frama-CKernel > Makefilepublic2014-02-12 16:59
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityhave not tried
Product Version 
Target VersionFrama-C Nitrogen-20111001Fixed in VersionFrama-C Nitrogen-20111001 
Summary0000754: Dynamic plugin doc
DescriptionThe 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...
TagsNo tags attached.
Attached Files




Anne (reporter)

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...)


Anne (reporter)

Last edited: 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...


signoles (manager)

If you are satisfied with your local workaround, it will be probably done at the same time than task #742.


Anne (reporter)

Ok for me. Thanks.


signoles (manager)

Virgile is looking forward the issue.


Anne (reporter)

[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 ?


virgile (developer)

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.

-Issue History
Date Modified Username Field Change
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: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
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
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
2013-12-19 01:12 Source_changeset_attached => framac master 47167b1a
2014-02-12 16:54 Source_changeset_attached => framac stable/neon 47167b1a
2014-02-12 16:59 Note Added: 0004820
2014-02-12 16:59 Status closed => resolved
+Issue History