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

Add "-makefile" option to ocamldep #7590

Closed
vicuna opened this issue Jul 21, 2017 · 5 comments
Closed

Add "-makefile" option to ocamldep #7590

vicuna opened this issue Jul 21, 2017 · 5 comments

Comments

@vicuna
Copy link

vicuna commented Jul 21, 2017

Original bug ID: 7590
Reporter: @elfring
Status: acknowledged (set by @xavierleroy on 2017-09-30T16:15:01Z)
Resolution: open
Priority: normal
Severity: feature
Version: 4.03.0
Category: tools (ocaml{lex,yacc,dep,debug,...})

Bug description

(Original summary was: Name for the current export variant of the dependency generator for OCaml)

A specific amount of data is exported by the tool “ocamldep” so far.

  • I suggest to give this data selection a name.
  • Please add a configuration option (like a corresponding command line parameter) so that this data combination can be explicitly selected in case that this software will be extended a bit more.
@vicuna
Copy link
Author

vicuna commented Jul 21, 2017

Comment author: @dra27

Sorry, I literally have no idea what you'd like changed?

@vicuna
Copy link
Author

vicuna commented Jul 21, 2017

Comment author: @elfring

Do you get further ideas from a clarification request on the topic “Development status of the dependency generator for OCaml”?
https://sympa.inria.fr/sympa/arc/caml-list/2017-07/msg00077.html

@vicuna
Copy link
Author

vicuna commented Jul 21, 2017

Comment author: @Octachron

A command line option (maybe "-makefile"?) corresponding to ocamldep default output could indeed make sense, since ocamldep has indeed three different output modes: default, "-sort" and "-modules".

@vicuna
Copy link
Author

vicuna commented Sep 30, 2017

Comment author: @xavierleroy

Anyone who cares about this is welcome to submit a Github pull request.

@github-actions
Copy link

github-actions bot commented May 7, 2020

This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.

@github-actions github-actions bot added the Stale label May 7, 2020
@github-actions github-actions bot closed this as completed Jun 8, 2020
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

2 participants