ligo/scripts/install_build_deps.raw.sh

13 lines
233 B
Bash
Raw Normal View History

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
. "$script_dir"/opam-pin.sh
opam depext $packages
opam install $packages --deps-only --with-test