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

PKG foo should allow locate when source is available #235

Closed
gsg opened this issue Jul 28, 2014 · 1 comment
Closed

PKG foo should allow locate when source is available #235

gsg opened this issue Jul 28, 2014 · 1 comment
Milestone

Comments

@gsg
Copy link
Contributor

gsg commented Jul 28, 2014

At the moment, jumping to the definition of a package-provided identifier involves tracking down the location of the build directory and including it in .merlin by hand. It would be a nice if this job was handled by software.

@trefis
Copy link
Contributor

trefis commented Oct 10, 2014

This is now working on master.
However, I didn't do some clever hacks to add the build dirs of opam to the path (which was the "solution" on #234 ), I just expect the needed files to be distributed alongside the cmi/x/...
Indeed packagers can instruct opam to keep/distribute the cmt[i] and source files (look at the packages of Danial Bunzli), if they don't locate won't work.

@avsm avsm unassigned trefis Dec 16, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants