Skip to content

Commit

Permalink
alt-ergo build requires native compiler
Browse files Browse the repository at this point in the history
  • Loading branch information
raphael-proust committed May 15, 2024
1 parent 0dc68a8 commit 81202c6
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions packages/alt-ergo/alt-ergo.2.4.2/opam
Original file line number Diff line number Diff line change
Expand Up @@ -33,6 +33,9 @@ build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
]
conflicts: [
"ocaml-option-bytecode-only"
]
url {
src: "https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz"
checksum: [
Expand Down

0 comments on commit 81202c6

Please sign in to comment.