hphp/hack/opam_setup.sh

   1 #!/bin/sh
   2 set -euf
   3 OCAML_PREFIX=$(dirname "$1")
   4 SRC=$2
   5 export PATH="$OCAML_PREFIX:$PATH"
   6 export OPAMROOT="$SRC/_build/.opam"
   7 mkdir -p "$OPAMROOT"
   8 export OPAMYES="1"
   9 MINI_TARBALL="$SRC/facebook/opam-mini-repository.tar.gz"
  10 MINI_REPO="$SRC/_build/opam-mini-repository"
  11
  12 if [ -f "$MINI_TARBALL" ]
  13 then
  14         rm -rf "$MINI_REPO" ||:
  15         tar xzf "$MINI_TARBALL" -C "$SRC/_build"
  16         opam init offline_clone "$MINI_REPO" --no-setup
  17 else
  18         opam init --no-setup
  19 fi
  20
  21 eval "$(opam config env)"
  22 opam install core_kernel.v0.11.0 ppx_deriving.4.2 visitors.20170828