Skip to content

Commit

Permalink
comment out bench/miou in dune to avoid CI build failures
Browse files Browse the repository at this point in the history
since (package mirage-crypto-rng-miou-unix) is not supported without
(public_names ..) in dune, there's no easy alternative.

Marking it (optional) still results in failures with OCaml-CI
  • Loading branch information
hannesm committed Jun 9, 2024
1 parent 857e777 commit f750706
Showing 1 changed file with 6 additions and 4 deletions.
10 changes: 6 additions & 4 deletions bench/dune
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,9 @@
(libraries mirage-crypto mirage-crypto-rng mirage-crypto-rng.unix
mirage-crypto-pk mirage-crypto-ec))

(executables
(names miou)
(modules miou)
(libraries mirage-crypto-rng-miou-unix))
; marking as "(optional)" leads to OCaml-CI failures
; marking with "(package mirage-crypto-rng-miou-unix)" only has an effect with a "public_name"
;(executables
; (names miou)
; (modules miou)
; (libraries mirage-crypto-rng-miou-unix))

0 comments on commit f750706

Please sign in to comment.