Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ocamldep should be able to compute dependencies of *.mllib files #4931

Closed
vicuna opened this issue Nov 30, 2009 · 2 comments
Closed

ocamldep should be able to compute dependencies of *.mllib files #4931

vicuna opened this issue Nov 30, 2009 · 2 comments

Comments

@vicuna
Copy link

vicuna commented Nov 30, 2009

Original bug ID: 4931
Reporter: @glondu
Status: acknowledged (set by @damiendoligez on 2009-12-08T16:30:55Z)
Resolution: open
Priority: normal
Severity: feature
Version: 3.11.1
Category: tools (ocaml{lex,yacc,dep,debug,...})

Bug 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

@vicuna vicuna added the tools label Mar 14, 2019
@ejgallego
Copy link

Not sure if this is still useful for others, in Coq we are close to using Dune and this is not needed anymore.

@nojb
Copy link
Contributor

nojb commented Mar 15, 2019

No other activity for close to 10 years, I think this can be closed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants