Skip to content

Commit

Permalink
mirage test: temporarily pin mirage-random to a version mirage likes
Browse files Browse the repository at this point in the history
  • Loading branch information
hannesm committed Jun 9, 2024
1 parent 38a0afc commit 2183839
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .test-mirage.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 2183839

Please sign in to comment.