diff --git a/ocaml-general/install_ocaml_5.1_packages.sh b/ocaml-general/install_ocaml_5.1_packages.sh index b0ed73b..5884b38 100755 --- a/ocaml-general/install_ocaml_5.1_packages.sh +++ b/ocaml-general/install_ocaml_5.1_packages.sh @@ -41,11 +41,11 @@ pins=( dune-site 3.10.0 ) +echo "${pins[@]}" | xargs -n 2 opam pin -n add + opam install --yes "${packages[@]}" \ && opam clean -y --logs --repo-cache --download-cache --switch-cleanup -echo "${pins[@]}" | xargs -n 2 opam pin -n add - echo -n "exec: " printf "%s\n" "${packages[@]}" | cut -d'.' -f1 | xargs echo opam show -f package printf "%s\n" "${packages[@]}" | cut -d'.' -f1 | xargs opam show -f package