From 218383978ada00fb64d07d62727cd7ef4935b55c Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sun, 9 Jun 2024 13:44:45 +0200 Subject: [PATCH] mirage test: temporarily pin mirage-random to a version mirage likes --- .test-mirage.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/.test-mirage.sh b/.test-mirage.sh index c4b6652a..50ec33cc 100755 --- a/.test-mirage.sh +++ b/.test-mirage.sh @@ -10,6 +10,7 @@ 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