Skip to content

Commit

Permalink
fix mirage example
Browse files Browse the repository at this point in the history
  • Loading branch information
hannesm committed Oct 1, 2024
1 parent 9bad6d8 commit 84cfdd2
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions .test-mirage.sh
Original file line number Diff line number Diff line change
Expand Up @@ -5,12 +5,11 @@ set -ex
opam install --confirm-level=unsafe-yes "mirage>4"
# to satisfy hardcoded version constraints in mirage, we need to be < 0.12.0
# and "dune subst" doesn't work on these PR checkouts
version='version: "0.11.99~dev"'
version='version: "1.99.0~dev"'
echo $version >> mirage-crypto-rng-mirage.opam
echo $version >> mirage-crypto-rng.opam
echo $version >> mirage-crypto.opam
echo $version >> mirage-crypto-pk.opam
opam pin add -yn mirage-random.3.99 --dev
(mirage configure -t unix -f mirage/config.ml && gmake depend && dune build --root . mirage/dist/ && mirage/dist/crypto-test) || exit 1
(mirage configure -t hvt -f mirage/config.ml && gmake depend && dune build --root . mirage/dist/) || exit 1
if [ $(uname -m) = "amd64" ] || [ $(uname -m) = "x86_64" ]; then
Expand Down

0 comments on commit 84cfdd2

Please sign in to comment.