Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004931OCamltools (ocaml{lex,yacc,dep,debug,...})public2009-11-30 14:082016-12-07 17:02
Assigned To 
PrioritynormalSeverityfeatureReproducibilityhave not tried
PlatformOSOS Version
Product Version3.11.1 
Target VersionFixed in Version 
Summary0004931: ocamldep should be able to compute dependencies of *.mllib files

*.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 lib.mllib
glondu@aspirine:/tmp/foo/z$ cat lib.mllib
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.


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
2016-12-07 17:02 shinwell Category OCaml general => OCaml tools (ocaml{lex,yacc,dep,debug})
2017-02-23 16:45 doligez Category OCaml tools (ocaml{lex,yacc,dep,debug}) => tools (ocaml{lex,yacc,dep,debug,...})

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker