Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Planning hierarchy
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 208
    • Issues 208
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #1260

Closed
Open
Created Mar 16, 2011 by mantis-gitlab-migration@mantis-gitlab-migration

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

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking