ligo/scripts/install_vendors_deps.sh
Suzanne Dupéron 2cbc8bbf0c Revert "Revert "Merge branch 'feature/adt-generator-poly-3' into 'dev'""
This reverts commit 8b83e375bd189b3c32629a34e1ab2db787478656.
2020-04-13 19:23:12 +02:00

8 lines
182 B
Bash
Executable File

#!/bin/sh
set -e
set -x
# Install local dependencies
opam install -y --deps-only --with-test ./ligo.opam $(find vendors -name \*.opam)
opam install -y $(find vendors -name \*.opam)