Frama-C Bug Tracking System - Frama-C
View Issue Details
0000211Frama-CKernelpublic2009-08-04 11:512014-02-12 16:56
Frama-C GIT, precise the release id 
Frama-C Beryllium-20090901 
0000211: "make doc" error
I would like to use the doc, but when making: make doc I obtain the error: make: *** Pas de règle pour fabriquer la cible « bin/viewer.byte », nécessaire pour « doc ». Arrêt. I also try: make doc-kernel But with no more result: Ocamldoc Kernel Documentation Error while loading file doc/code/docgen.cmo: doc/code/docgen.cmo: No such file or directory make: *** [doc-kernel] Erreur 1 Finally I cannot manually compile doc/code/, since I don't have Odoc_module. Is this module present only in Ocaml 3.11 ? I have Ocaml version 3.10.2. Thx, Nicolas
No tags attached.
Issue History
2009-08-04 11:51nstoulsNew Issue
2009-08-04 12:55signolesStatusnew => assigned
2009-08-04 12:55signolesAssigned To => signoles
2009-08-04 13:01svnCheckin
2009-08-04 13:01svnStatusassigned => resolved
2009-08-04 13:01svnResolutionopen => fixed
2009-08-04 13:04signolesNote Added: 0000330
2009-08-04 13:26nstoulsNote Added: 0000331
2009-08-04 13:26nstoulsStatusresolved => feedback
2009-08-04 13:26nstoulsResolutionfixed => reopened
2009-08-04 14:15svnCheckin
2009-08-04 14:15svnStatusfeedback => resolved
2009-08-04 14:15svnResolutionreopened => fixed
2009-08-26 11:25signolesFixed in Version => Frama-C Beryllium
2009-09-02 10:54signolesStatusresolved => closed

2009-08-04 13:04   
* "make doc" should now work even if the GUI is not enable * "make doc-kernel" assumes that all the documentation stuff is already up-to-date (all the cmo already compiled and so on) * how do you compile doc/code/ "make doc/code/" should work (even with ocaml 3.10.2)
2009-08-04 13:26   
Thanks for your help :) Now "make doc/code/" works well and "make doc" starts. However, there is another error (due to gui ?). Here is the trace: $ make doc Ocamlc doc/code/docgen.cmo Ocamldoc Kernel Documentation Generating doc/code/occurrence/Occurrence.txt Ocamldoc doc/code/occurrence/ File "src/occurrence/", line 24, characters 0-18: Unbound module Pretty_source 1 error(s) encountered make[1]: *** [doc/code/occurrence/] Erreur 1 make: *** [doc] Erreur 2 my configuration is with static link of Jessie and aorai, but without lablgtk2.12. Thx, Nicolas.