Dynamic plugin doc
ID0000754: This issue was created automatically from Mantis Issue 754. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000754 | Frama-C | Kernel > Makefile | public | 2011-03-16 | 2014-02-12 |
| Reporter | Anne | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | Frama-C Nitrogen-20111001 | Fixed in Version | Frama-C Nitrogen-20111001 |
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...