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.

Sign up for GitHub

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

Jump to bottom

[wish] coq_makefile flag -findlib-package dep #15660

Open
gares opened this issue Feb 10, 2022 · 0 comments
Open

[wish] coq_makefile flag -findlib-package dep #15660

gares opened this issue Feb 10, 2022 · 0 comments
Labels
good first issue Beginners welcome to submit a pull request. part: coq_makefile The coq_makefile binary for generating makefiles.

Comments

@gares
Copy link
Member

gares commented Feb 10, 2022 •
edited

Currently -generate-meta-for-package foo only works if foo has no external dependency.
If it has one needs to CAMLPKGS+= -package dep1 -package dep2 in Makefile.local and also write the META.foo file by hand with a line like requires = "coq-core.plugins.ltac dep1 dep2.

It would be nice to have coqProject_file.ml accept an option like -findlib-package dep1 and in response to that one have
CoqMakefile.in consider that package in the initial value of CAMLPKGS and also coq_makefile.ml generate a correct requires line.
@gares gares added the good first issue Beginners welcome to submit a pull request. label Feb 10, 2022
@Alizter Alizter added the part: coq_makefile The coq_makefile binary for generating makefiles. label Feb 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue Beginners welcome to submit a pull request. part: coq_makefile The coq_makefile binary for generating makefiles.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@gares @Alizter