Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004931OCamlOCaml generalpublic2009-11-30 14:082009-12-08 17:30
Reporterglondu 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityhave not tried
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version3.11.1 
Target VersionFixed in Version 
Summary0004931: ocamldep should be able to compute dependencies of *.mllib files
DescriptionHello,

*.mllib files turn out to be useful even in Makefiles. The Coq (Makefile-based) build system has been simplified using them and currently, coqdep is able to compute dependencies for such files. For example:

glondu@aspirine:/tmp/foo/z$ ls
a.ml b.ml lib.mllib
glondu@aspirine:/tmp/foo/z$ cat lib.mllib
A
B
glondu@aspirine:/tmp/foo/z$ coqdep -I . -c lib.mllib
lib.cma: a.cmo b.cmo
lib.cmxa: a.cmx b.cmx

Then, one can use an implicit rule to build %.cma out of %.mllib...

It would be nice to have this feature directly in ocamldep.


Cheers,

--
St├ęphane
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2009-11-30 14:08 glondu New Issue
2009-12-08 17:30 doligez Status new => acknowledged


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker