0004931: ocamldep should be able to compute dependencies of *.mllib files

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004931

OCaml

OCaml general

public

2009-11-30 14:08

2009-12-08 17:30

Reporter

glondu

Assigned To

Priority

normal

Severity

feature

Reproducibility

have not tried

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

3.11.1

Target Version

Fixed in Version

Summary

0004931: ocamldep should be able to compute dependencies of *.mllib files

Description

Hello,

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

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

Relationships

Notes
There are no notes attached to this issue.