Skip to content
This repository has been archived by the owner on Nov 27, 2020. It is now read-only.

install without opam #3

Open
treinen opened this issue Mar 6, 2018 · 1 comment
Open

install without opam #3

treinen opened this issue Mar 6, 2018 · 1 comment

Comments

@treinen
Copy link

treinen commented Mar 6, 2018

Hello, a wishlist request: could you provide an install target (maybe with a different name if necessary) which does not rely on opam? Installing opam on a package building daemon just for the sake of installing ppx-derivers seems an overkill (and would require network access during the build process). -Ralf.

@ghost
Copy link

ghost commented Mar 6, 2018

Note that it's only the opam-installer tool that's needed, not all of opam.

@bobot has been looking at having jbuilder install the files directly without using an external tool.

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

No branches or pull requests

1 participant