e56fba9a57
Instead of calling opam-installer, manually parse .install files and copy the files. Signed-off-by: Jeremie Dimino <jeremie@dimino.org> |
||
---|---|---|
.. | ||
boot | ||
cmdliner | ||
opam-file-format/src | ||
re | ||
update-cmdliner.sh | ||
update-opam-file-format.sh | ||
update-re.sh | ||
update-usexp.sh |