Skip to content

Commit

Permalink
Avoid copying extraneous files in opam-devel example
Browse files Browse the repository at this point in the history
  • Loading branch information
maroneze authored and rjbou committed Oct 29, 2019
1 parent b1a3c79 commit 20f4cac
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion opam-devel.opam
Expand Up @@ -28,7 +28,7 @@ depends: [
]
post-messages: [
"The development version of opam has been successfully compiled into %{lib}%/%{name}%. You should not run it from there, please install the binaries to your PATH, e.g. with
sudo cp %{lib}%/%{name}%/* /usr/local/bin
sudo cp %{lib}%/%{name}%/opam /usr/local/bin

If you just want to give it a try without altering your current installation, you could use instead:
alias opam2=\"OPAMROOT=~/.opam2 %{lib}%/%{name}%/opam\""
Expand Down

0 comments on commit 20f4cac

Please sign in to comment.