diff --git a/packages/conf-bap-llvm/conf-bap-llvm.1.5/opam b/packages/conf-bap-llvm/conf-bap-llvm.1.5/opam index 6f73779bf4d..a1ad28f33c8 100644 --- a/packages/conf-bap-llvm/conf-bap-llvm.1.5/opam +++ b/packages/conf-bap-llvm/conf-bap-llvm.1.5/opam @@ -16,7 +16,7 @@ depends: [ depexts: [ # debian - ["llvm-4.0-dev"] {os-family = "debian" & os-distribution != "ubuntu"} + ["llvm-6.0-dev"] {os-family = "debian" & os-distribution != "ubuntu"} # ubuntu ["llvm-3.8-dev"] {os-distribution = "ubuntu" & os-version = "14.04"} #trusty @@ -32,6 +32,12 @@ depexts: [ ["llvm@6"] {os = "macos" & os-distribution = "homebrew"} ["llvm-dev" "llvm-static"] {os-distribution = "alpine"} + + ["llvm-devel"] {os-distribution = "opensuse-leap"} + + ["llvm-devel" "llvm-static"] {os-distribution = "centos"} + + ] substs: [ "find-llvm.ml" ]