this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Ivan Gotovchits <ivg@ieee.org>"
3homepage: "http://llvm.org"
4authors: "The LLVM Team"
5bug-reports: "https://llvm.org/bugs/"
6license: "BSD"
7build: [
8 ["ocaml" "find-llvm.ml"]
9]
10depends: [
11 "ocaml"
12 "base-unix"
13 "conf-which" {build}
14]
15depexts: [
16
17 # debian
18 ["llvm-6.0-dev"] {os-family = "debian" & os-distribution != "ubuntu"}
19
20 # ubuntu
21 ["llvm-3.8-dev"] {os-distribution = "ubuntu" & os-version = "14.04"} #trusty
22 ["llvm-6.0-dev"] {os-distribution = "ubuntu" & os-version = "16.04"} #xenial
23 ["llvm-6.0-dev"] {os-distribution = "ubuntu" & os-version = "18.04"} #bionic
24 ["llvm-6.0-dev"] {os-distribution = "ubuntu" & os-version = "18.10"}
25
26 # fedora
27 ["llvm-devel" "llvm-static"] {os-distribution = "fedora"}
28
29 # macos
30 ["llvm-6.0"] {os = "macos" & os-distribution = "macports"}
31 ["llvm@6"] {os = "macos" & os-distribution = "homebrew"}
32
33 ["llvm-dev" "llvm-static"] {os-distribution = "alpine"}
34
35 ["llvm-devel"] {os-distribution = "opensuse-leap"}
36
37 ["llvm-devel" "llvm-static"] {os-distribution = "centos"}
38
39
40]
41
42substs: [ "find-llvm.ml" ]
43flags: [ conf ]
44
45synopsis: "Checks that supported version of LLVM is installed"
46description: """
47Supported LLVM versions are: 3.4 3.8 4.0 5.0 6.0 7.0 8.0 9.0
48
49A preferred llvm-config can be choosen by setting opam config variable:
50$: opam config set llvm-config your-llvm-config
51OR by setting LLVM_CONFIG environment variable.
52"""
53extra-source "find-llvm.ml.in" {
54 src:
55 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-bap-llvm/find-llvm.ml.in.1.5"
56 checksum: [
57 "sha256=9c256181ea7dc73fa91a8f5429444e9ce5356eddd2718f2b54dd4e7a31e32561"
58 "md5=ad9ca2b7b40463ab1b0136958aa00085"
59 ]
60}