2018-06-27 14:58:06 +04:00
|
|
|
#! /bin/sh
|
|
|
|
|
|
|
|
|
|
script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")"
|
|
|
|
|
src_dir="$(dirname "$script_dir")"
|
|
|
|
|
|
|
|
|
|
. "$script_dir"/version.sh
|
|
|
|
|
|
2018-07-24 20:11:18 +04:00
|
|
|
opams=$(find "$src_dir/vendors" "$src_dir/src" -name \*.opam -print)
|
2018-06-27 14:58:06 +04:00
|
|
|
|
2018-07-24 20:11:18 +04:00
|
|
|
opam install $opams --deps-only --with-test
|
