From b5b01093cba5905cb9d832af508af53a46bbae54 Mon Sep 17 00:00:00 2001 From: Oleg Date: Sun, 17 Nov 2019 13:29:57 -0500 Subject: [PATCH] updates depext field for conf-bap-llvm adds opensuse and centos OS, update llvm-version for debian --- packages/conf-bap-llvm/conf-bap-llvm.1.5/opam | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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" ]