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-3-Clause"
7build: [
8 ["ocaml" "find-llvm.ml"]
9]
10depends: [
11 "ocaml"
12 "base-unix"
13 "conf-which" {build}
14]
15depexts: [
16
17 # debian
18 ["llvm-4.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
34substs: [ "find-llvm.ml" ]
35flags: [ conf ]
36
37synopsis: "Checks that supported version of LLVM is installed"
38description: """
39Supported LLVM versions are: 3.4 3.8 4.0 5.0 6.0 7.0 8.0
40
41A preferred llvm-config can be choosen by setting opam config variable:
42$: opam config set llvm-config your-llvm-config
43OR by setting LLVM_CONFIG environment variable.
44"""
45extra-source "find-llvm.ml.in" {
46 src:
47 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-bap-llvm/find-llvm.ml.in.1.4"
48 checksum: [
49 "sha256=8a22a2e19b930d77087bdd76f83c90fa51a04ef18c36dd8fd03c6b9d5ab16314"
50 "md5=d14024f7bde8666d02e9a995e77c433e"
51 ]
52}