opam-coq-init

#!/bin/bash

set -e

curl -L https://github.com/ocaml/opam/releases/download/${OPAM_VERSION}/opam-${OPAM_VERSION}-x86_64-linux >/usr/local/bin/opam
chmod +x /usr/local/bin/opam

if [ ${OPAM_VARIANT} = "plain" ]; then EXTRA_FLAGS=--disable-sandboxing; fi

opam init --root=$OPAM_ROOT_DIR --compiler=$COMPILER -n -y $EXTRA_FLAGS
eval $(opam env --root=$OPAM_ROOT_DIR --set-root)
opam config list
opam install -y camlp5 ocamlfind $EXTRA_OPAM
opam list
mkdir -p ${HOME}/opam-cache
tar czf $OPAM_ROOT_CACHE $OPAM_ROOT_DIR