Commit 2a07a14e authored by Grégoire Henry's avatar Grégoire Henry

Makefile: no need to pin local packages

parent 56209e76
......@@ -5,8 +5,6 @@ src_dir="$(dirname "$script_dir")"
. "$script_dir"/version.sh
. "$script_dir"/opam-pin.sh
opams=$(find "$src_dir/vendors" "$src_dir/src" -name \*.opam -print)
opam depext $packages
opam install $packages --deps-only --with-test
opam install $opams --deps-only --with-test
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment