upstream: https://github.com/mirage/mirage-crypto
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

at main 17 lines 820 B view raw
1#!/bin/sh 2 3set -ex 4 5opam install --confirm-level=unsafe-yes "mirage>4" 6# to satisfy hardcoded version constraints in mirage, we need to be < 0.12.0 7# and "dune subst" doesn't work on these PR checkouts 8version='version: "2.99.0~dev"' 9echo $version >> mirage-crypto-rng-mirage.opam 10echo $version >> mirage-crypto-rng.opam 11echo $version >> mirage-crypto.opam 12echo $version >> mirage-crypto-pk.opam 13(mirage configure -t unix -f mirage/config.ml && gmake depend && dune build --root . mirage/dist/ && mirage/dist/crypto-test) || exit 1 14(mirage configure -t hvt -f mirage/config.ml && gmake depend && dune build --root . mirage/dist/) || exit 1 15if [ $(uname -m) = "amd64" ] || [ $(uname -m) = "x86_64" ]; then 16 (mirage configure -t xen -f mirage/config.ml && gmake depend && dune build --root . mirage/dist/) || exit 1 17fi