Commit 5eb3dce7 authored by Kate's avatar Kate Committed by Frédéric Recoules
Browse files
parent b7474140
......@@ -53,7 +53,7 @@ homepage: "https://binsec.github.io"
bug-reports: "mailto:binsec@saxifrage.saclay.cea.fr"
depends: [
"dune" {>= "2.8"}
"ocaml" {>= "4.08" & < "4.14"}
"ocaml" {>= "4.08"}
"menhir" {build & >= "20181113"}
"ocamlgraph" {>= "1.8.5"}
"zarith" {>= "1.4"}
......@@ -63,9 +63,14 @@ depends: [
"odoc" {with-doc}
]
depopts: [
"llvm" {>= "6.0.0" & < "13.0.0"}
"llvm"
"unisim_archisec"
"bitwuzla" {>= "1.0.1"}
"bitwuzla"
]
conflicts: [
"llvm" {< "6.0.0"}
"llvm" {>= "13.0.0"}
"bitwuzla" {< "1.0.1"}
]
build: [
["dune" "subst"] {dev}
......@@ -82,4 +87,4 @@ build: [
]
]
dev-repo: "git+https://github.com/binsec/binsec.git"
available: [ arch = "x86_64" | arch = "ppc64" | arch = "arm64" | arch = "sparc64" ]
\ No newline at end of file
available: [ arch = "x86_64" | arch = "ppc64" | arch = "arm64" | arch = "sparc64" ]
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment