commit ca2a8f429f738a84cc21d2683267aa86a7e8c38d · anil.recoil.org/opam-repository

+1 -1

packages/clangml-transforms/clangml-transforms.0.24/opam

···

       16
       16
        
       depends: [

     

       17
       17
        
         "ocaml"

     

       18
       18
        
         "dune" {>= "1.10"}

     

       19
       19
       -
         "clangml" {>= "4.0.1"}

     

       19
       19
       +
         "clangml" {>= "4.0.1" & < "4.1.0"}

     

       20
       20
        
         "visitors" {>= "20190711"}

     

       21
       21
        
         "dolog" {>= "4.0.0"}

     

       22
       22
        
       ]

+35

packages/clangml-transforms/clangml-transforms.0.25/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Code transformers for clangml"

     

       3
       3
       +
       maintainer: ["Thierry Martinez <thierry.martinez@inria.fr>"]

     

       4
       4
       +
       authors: ["Thierry Martinez <thierry.martinez@inria.fr>"]

     

       5
       5
       +
       license: "BSD-2-Clause"

     

       6
       6
       +
       homepage: "https://gitlab.inria.fr/memcad/clangml-transforms"

     

       7
       7
       +
       doc: "https://gitlab.inria.fr/memcad/clangml-transforms"

     

       8
       8
       +
       bug-reports: "https://gitlab.inria.fr/memcad/clangml-transforms/issues"

     

       9
       9
       +
       depends: [

     

       10
       10
       +
         "ocaml" {>= "4.03.0" & < "4.12.0"}

     

       11
       11
       +
         "dune" {>= "1.11.0"}

     

       12
       12
       +
         "clangml" {>= "4.1.0"}

     

       13
       13
       +
         "dolog" {>= "4.0.0"}

     

       14
       14
       +
         "traverse" {>= "0.2.0"}

     

       15
       15
       +
         "refl" {>= "0.1.0"}

     

       16
       16
       +
       ]

     

       17
       17
       +
       build: [

     

       18
       18
       +
         ["dune" "subst"] {pinned}

     

       19
       19
       +
         [

     

       20
       20
       +
           "dune"

     

       21
       21
       +
           "build"

     

       22
       22
       +
           "-p"

     

       23
       23
       +
           name

     

       24
       24
       +
           "-j"

     

       25
       25
       +
           jobs

     

       26
       26
       +
           "@install"

     

       27
       27
       +
           "@runtest" {with-test}

     

       28
       28
       +
           "@doc" {with-doc}

     

       29
       29
       +
         ]

     

       30
       30
       +
       ]

     

       31
       31
       +
       dev-repo: "git+https://gitlab.inria.fr/memcad/clangml-transforms"

     

       32
       32
       +
       url {

     

       33
       33
       +
         src: "https://gitlab.inria.fr/memcad/clangml-transforms/-/archive/v0.25/clangml-transforms-v0.25.tar.gz"

     

       34
       34
       +
         checksum: "sha512=7432844f7be84ce89299d8611fe6379b1174eb24723dc9e8805ba75f2b700475f281cef13c7b8a40f54776e57200a288fcde1210c77686c0f693df665f535414"

     

       35
       35
       +
       }

+10 -3

packages/clangml/clangml.4.0.1/opam

···

       11
       11
        
       clangml provides bindings to call the Clang API from OCaml.

     

       12
       12
        
       """

     

       13
       13
        
       depends: [

     

       14
       14
       -
         "conf-libclang"

     

       14
       14
       +
         "conf-libclang" { < "10" }

     

       15
       15
        
         "conf-ncurses"

     

       16
       16
        
         "conf-zlib"

     

       17
       17
        
         "dune" {>= "1.10.0"}

     

       18
       18
        
         "ppxlib" {>= "0.9.0"}

     

       19
       19
        
         "stdcompat" {>= "10"}

     

       20
       20
        
         "override" {>= "0.1.0"}

     

       21
       21
       +
         "ppx_deriving" {>= "4.3"}

     

       21
       22
        
         "ocaml" {>= "4.04.0"}

     

       22
       23
        
         "ocamlfind" {build & >= "1.8.0"}

     

       23
       24
        
         "ocamlcodoc" {with-test}

     

       24
       24
       -
         "pattern" {with-test}

     

       25
       25
       +
         "pattern" {with-test & >= "0.1.0" & < "0.2.0"}

     

       25
       26
        
       ]

     

       27
       27
       +
       # $equivalent_version is used by clangml.4.0.1, which does not recognize

     

       28
       28
       +
       # Clang/LLVM 9.0.1, but there is no change in API between Clang 9.0.0 and

     

       29
       29
       +
       # Clang 9.0.1.

     

       26
       30
        
       build: [

     

       27
       27
       -
         ["./configure" "--prefix=%{prefix}%" "--with-llvm-config=%{conf-libclang:config}%"]

     

       31
       31
       +
         ["./configure" "--prefix=%{prefix}%"

     

       32
       32
       +
           "--with-llvm-config=%{conf-libclang:config}%"

     

       33
       33
       +
           "--with-llvm-version=%{conf-libclang:equivalent_version}%"

     

       34
       34
       +
             {conf-libclang:equivalent_version != ""}]

     

       28
       35
        
         ["dune" "build" "-p" name "-j" jobs]]

     

       29
       36
        
       run-test: [["dune" "runtest"  "-p" name "-j" jobs]]

     

       30
       37
        
       url {

+35

packages/clangml/clangml.4.1.0/opam

···

       1
       1
       +
       # This file is generated by dune, edit dune-project instead

     

       2
       2
       +
       opam-version: "2.0"

     

       3
       3
       +
       synopsis: "OCaml bindings for Clang API"

     

       4
       4
       +
       description: """

     

       5
       5
       +
       clangml provides bindings to call the Clang API from OCaml.

     

       6
       6
       +
       """

     

       7
       7
       +
       maintainer: ["Thierry Martinez <thierry.martinez@inria.fr>"]

     

       8
       8
       +
       authors: ["Thierry Martinez <thierry.martinez@inria.fr>"]

     

       9
       9
       +
       license: "BSD-2-Clause"

     

       10
       10
       +
       homepage: "https://memcad.gitlabpages.inria.fr/clangml/"

     

       11
       11
       +
       doc: "https://memcad.gitlabpages.inria.fr/clangml/doc/clangml/index.html"

     

       12
       12
       +
       bug-reports: "https://gitlab.inria.fr/memcad/clangml/issues"

     

       13
       13
       +
       depends: [

     

       14
       14
       +
         "conf-libclang"

     

       15
       15
       +
         "conf-ncurses"

     

       16
       16
       +
         "conf-zlib"

     

       17
       17
       +
         "dune" {>= "1.11.0"}

     

       18
       18
       +
         "stdcompat" {>= "13"}

     

       19
       19
       +
         "ocaml" {>= "4.03.0" & < "4.12.0"}

     

       20
       20
       +
         "ocamlfind" {build & >= "1.8.0"}

     

       21
       21
       +
         "ocamlcodoc" {with-test & >= "1.0.1"}

     

       22
       22
       +
         "pattern" {with-test & >= "0.2.0"}

     

       23
       23
       +
         "metapp" {>= "0.1.0"}

     

       24
       24
       +
         "metaquot" {>= "0.1.0"}

     

       25
       25
       +
         "refl" {>= "0.1.0"}

     

       26
       26
       +
       ]

     

       27
       27
       +
       dev-repo: "git+https://gitlab.inria.fr/memcad/clangml"

     

       28
       28
       +
       build: [

     

       29
       29
       +
         ["./configure" "--prefix=%{prefix}%" "--with-llvm-config=%{conf-libclang:config}%"]

     

       30
       30
       +
         ["dune" "build" "-p" name "-j" jobs]]

     

       31
       31
       +
       run-test: [["dune" "runtest" "-p" name "-j" jobs]]

     

       32
       32
       +
       url {

     

       33
       33
       +
         src: "https://gitlab.inria.fr/memcad/clangml/-/archive/v4.1.0/clangml-v4.1.0.tar.gz"

     

       34
       34
       +
         checksum: "sha512=18120b67e803f26ce1538afac0c2b11b240e02775ec63fae2dc3b5e1d9296058409faab809105ce596ad0f4a0726d2670b421558ab59fa38956143e1637971ed"

     

       35
       35
       +
       }

+10

packages/conf-libclang/conf-libclang.1.0.0/files/configure.sh

···

       74
       74
        
           ( clean_tempdir; echo "Error: cannot execute libclang test."; exit 1 )

     

       75
       75
        
       clean_tempdir

     

       76
       76
        
       

     

       77
       77
       +
       # $equivalent_version is used by clangml.4.0.1, which does not recognize

     

       78
       78
       +
       # Clang/LLVM 9.0.1, but there is no change in API between Clang 9.0.0 and

     

       79
       79
       +
       # Clang 9.0.1.

     

       80
       80
       +
       if [ "$llvm_version" = 9.0.1 ]; then

     

       81
       81
       +
           equivalent_version=9.0.0

     

       82
       82
       +
       else

     

       83
       83
       +
           equivalent_version=

     

       84
       84
       +
       fi

     

       85
       85
       +
       

     

       77
       86
        
       echo "config: \"$llvm_config\"" >> conf-libclang.config

     

       78
       87
        
       echo "version: \"$llvm_version\"" >> conf-libclang.config

     

       88
       88
       +
       echo "equivalent_version: \"$equivalent_version\"" >> conf-libclang.config

+7 -6

packages/conf-libclang/conf-libclang.1.0.0/opam

···

       8
       8
        
         ["bash" "-ex" "configure.sh" version]

     

       9
       9
        
       ]

     

       10
       10
        
       depexts: [

     

       11
       11
       -
         ["llvm"] {os-distribution = "homebrew" & os = "macos"}

     

       12
       12
       -
         ["llvm"] {os-distribution = "macports" & os = "macos"}

     

       11
       11
       +
         ["llvm@8"] {os-distribution = "homebrew" & os = "macos"}

     

       12
       12
       +
         ["llvm@8"] {os-distribution = "macports" & os = "macos"}

     

       13
       13
        
         ["libclang-dev" "llvm-dev"] {os-family = "debian"}

     

       14
       14
        
         ["clang-dev" "llvm-dev" "clang-static"] {os-distribution = "alpine"}

     

       15
       15
       -
         ["clang-devel" "llvm-static" "zlib-devel"] {os-distribution = "centos"}

     

       15
       15
       +
         ["clang-devel" "llvm-devel" "llvm-static" "zlib-devel"]

     

       16
       16
       +
           {os-distribution = "centos"}

     

       16
       17
        
         ["clang-devel" "llvm-devel" "zlib-devel" "redhat-rpm-config"]

     

       17
       18
        
           {os-distribution = "fedora"}

     

       18
       19
        
         ["llvm-clang-devel"] {os-family = "suse"}

     

       19
       19
       -
         ["devel/clang" "devel/llvm"] {os = "freebsd"}

     

       20
       20
       +
       #  ["devel/clang" "devel/llvm"] {os = "freebsd"}

     

       20
       21
        
         ["sys-devel/clang"] {os-distribution = "gentoo"}

     

       21
       22
        
       ]

     

       22
       23
        
       extra-files: [[

     

       23
       23
       -
         "configure.sh" "sha512=7bff64d4185ddd97597d096d26d255a59b1a68fb96776823cc4fe161ccaf24ff50d30c39f7880fdff2f10b7a9c75c967280085bda5e2aba27433159c6b33ceeb"

     

       24
       24
       +
         "configure.sh" "sha512=5ab8e6adac378413740efc3fb02eee8409a643f64bff32a3fb2e50853132fee2ed6a32bb46ce86fe79c5e416a90d14858635e08d5e6f3a7d1924ae98009bb217"

     

       24
       25
        
       ]]

     

       25
       25
       -
       synopsis: "Virtual package relying on the installation of llvm and clang libraries (any version)"

     

       26
       26
       +
       synopsis: "Virtual package relying on the installation of llvm and clang libraries (version <10)"

     

       26
       27
        
       flags: conf

+78

packages/conf-libclang/conf-libclang.10/files/configure.sh

···

       1
       1
       +
       #!/bin/bash -ex

     

       2
       2
       +
       

     

       3
       3
       +
       find_llvm_config () {

     

       4
       4
       +
           # Locate llvm-config (taken from conf-llvm's configure.sh file)

     

       5
       5
       +
       

     

       6
       6
       +
           shopt -s nullglob

     

       7
       7
       +
           for version in 10 9 8 7 6 5 4 3; do

     

       8
       8
       +
               if hash brew 2>/dev/null; then

     

       9
       9
       +
                  brew_llvm_config="$(brew --cellar)"/llvm*/${version}*/bin/llvm-config

     

       10
       10
       +
               fi

     

       11
       11
       +
               for llvm_config in \

     

       12
       12
       +
                   llvm-config-${version} llvm-config-${version}.0 \

     

       13
       13
       +
                   llvm-config${version}0 llvm-config-mp-$version \

     

       14
       14
       +
                   llvm-config-mp-${version}.0 $brew_llvm_config \

     

       15
       15
       +
                   /usr/lib64/llvm/${version}/bin/llvm-config \

     

       16
       16
       +
                   /usr/lib/llvm/${version}/bin/llvm-config \

     

       17
       17
       +
                   llvm-config; do

     

       18
       18
       +
                   llvm_version="`$llvm_config --version`" || continue

     

       19
       19
       +
                   return

     

       20
       20
       +
               done

     

       21
       21
       +
           done

     

       22
       22
       +
       

     

       23
       23
       +
           echo "Error: LLVM is not installed."

     

       24
       24
       +
           exit 1

     

       25
       25
       +
       }

     

       26
       26
       +
       

     

       27
       27
       +
       find_llvm_config

     

       28
       28
       +
       

     

       29
       29
       +
       LLVM_CFLAGS="`\"$llvm_config\" --cflags`"

     

       30
       30
       +
       LLVM_LDFLAGS="`\"$llvm_config\" --ldflags`"

     

       31
       31
       +
       LLVM_LIBDIR="`\"$llvm_config\" --libdir`"

     

       32
       32
       +
       

     

       33
       33
       +
       # These filters enable compilation with gcc.

     

       34
       34
       +
       # Filter -Wstring-conversion for OpenSUSE

     

       35
       35
       +
       LLVM_CFLAGS="`echo $LLVM_CFLAGS | sed s/-Wstring-conversion\\ //`"

     

       36
       36
       +
       

     

       37
       37
       +
       # Filter -Werror=unguarded-availability-new and -Wcovered-switch-default

     

       38
       38
       +
       # (which appear with LLVM 7)

     

       39
       39
       +
       LLVM_CFLAGS="`echo $LLVM_CFLAGS | sed s/-Werror=unguarded-availability-new\\ //`"

     

       40
       40
       +
       LLVM_CFLAGS="`echo $LLVM_CFLAGS | sed s/-Wcovered-switch-default\\ //`"

     

       41
       41
       +
       

     

       42
       42
       +
       # Filter "-Wdelete-non-virtual-dtor" (warning only)

     

       43
       43
       +
       LLVM_CFLAGS="`echo $LLVM_CFLAGS | sed s/-Wdelete-non-virtual-dtor\\ //`"

     

       44
       44
       +
       

     

       45
       45
       +
       tempdir="`mktemp -d`"

     

       46
       46
       +
       

     

       47
       47
       +
       clean_tempdir () {

     

       48
       48
       +
           rm -f "$tempdir/test_libclang.c" "$tempdir/test_libclang.o" \

     

       49
       49
       +
              "$tempdir/test_libclang"

     

       50
       50
       +
           rmdir "$tempdir"

     

       51
       51
       +
       }

     

       52
       52
       +
       

     

       53
       53
       +
       cat >"$tempdir/test_libclang.c" <<EOF

     

       54
       54
       +
       #include <clang-c/Index.h>

     

       55
       55
       +
       #include <stdlib.h>

     

       56
       56
       +
       

     

       57
       57
       +
       int

     

       58
       58
       +
       main(int argc, char *argv[])

     

       59
       59
       +
       {

     

       60
       60
       +
         CXIndex idx = clang_createIndex(1, 1);

     

       61
       61
       +
         clang_disposeIndex(idx);

     

       62
       62
       +
         return EXIT_SUCCESS;

     

       63
       63
       +
       }

     

       64
       64
       +
       EOF

     

       65
       65
       +
       CC=cc

     

       66
       66
       +
       "$CC" -o "$tempdir/test_libclang.o" -c $LLVM_CFLAGS \

     

       67
       67
       +
           "$tempdir/test_libclang.c" || \

     

       68
       68
       +
           ( clean_tempdir; echo "Error: cannot compile libclang test."; exit 1 )

     

       69
       69
       +
       "$CC" -o "$tempdir/test_libclang" \

     

       70
       70
       +
           $LLVM_LDFLAGS "$tempdir/test_libclang.o" \

     

       71
       71
       +
           "-lclang" "-Wl,-rpath,$LLVM_LIBDIR" || \

     

       72
       72
       +
           ( clean_tempdir; echo "Error: cannot link libclang test."; exit 1 )

     

       73
       73
       +
       "$tempdir/test_libclang" || \

     

       74
       74
       +
           ( clean_tempdir; echo "Error: cannot execute libclang test."; exit 1 )

     

       75
       75
       +
       clean_tempdir

     

       76
       76
       +
       

     

       77
       77
       +
       echo "config: \"$llvm_config\"" >> conf-libclang.config

     

       78
       78
       +
       echo "version: \"$llvm_version\"" >> conf-libclang.config

+27

packages/conf-libclang/conf-libclang.10/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer: "Thierry Martinez <martinez@nsup.org>"

     

       3
       3
       +
       authors: "The LLVM team"

     

       4
       4
       +
       homepage: "http://llvm.org"

     

       5
       5
       +
       bug-reports: "https://llvm.org/bugs/"

     

       6
       6
       +
       license: "MIT"

     

       7
       7
       +
       build: [

     

       8
       8
       +
         ["bash" "-ex" "configure.sh" version]

     

       9
       9
       +
       ]

     

       10
       10
       +
       depexts: [

     

       11
       11
       +
         ["llvm"] {os-distribution = "homebrew" & os = "macos"}

     

       12
       12
       +
         ["llvm"] {os-distribution = "macports" & os = "macos"}

     

       13
       13
       +
         ["libclang-dev" "llvm-dev"] {os-family = "debian"}

     

       14
       14
       +
         ["clang-dev" "llvm-dev" "clang-static"] {os-distribution = "alpine"}

     

       15
       15
       +
         ["clang-devel" "llvm-devel" "llvm-static" "zlib-devel"]

     

       16
       16
       +
           {os-distribution = "centos"}

     

       17
       17
       +
         ["clang-devel" "llvm-devel" "zlib-devel" "redhat-rpm-config"]

     

       18
       18
       +
           {os-distribution = "fedora"}

     

       19
       19
       +
         ["llvm-clang-devel"] {os-family = "suse"}

     

       20
       20
       +
       #  ["devel/clang" "devel/llvm"] {os = "freebsd"}

     

       21
       21
       +
         ["sys-devel/clang"] {os-distribution = "gentoo"}

     

       22
       22
       +
       ]

     

       23
       23
       +
       extra-files: [[

     

       24
       24
       +
         "configure.sh" "sha512=3cb05a41bed0441d44c6e73561741e85e2ddd23d8df1c645d45048a911d62bf3d82d726e9fc8a279ee28f9a0cc73612558dec5f223291646be73c391f21823d4"

     

       25
       25
       +
       ]]

     

       26
       26
       +
       synopsis: "Virtual package relying on the installation of llvm and clang libraries (any version)"

     

       27
       27
       +
       flags: conf

+33

packages/pattern/pattern.0.2.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       build: [

     

       3
       3
       +
         ["dune" "subst"] {pinned}

     

       4
       4
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       5
       5
       +
         ["dune" "runtest" "-p" name "-j" jobs] {with-test}

     

       6
       6
       +
         ["dune" "build" "-p" name "@doc"] {with-doc}

     

       7
       7
       +
       ]

     

       8
       8
       +
       maintainer: ["Thierry Martinez <thierry.martinez@inria.fr>"]

     

       9
       9
       +
       authors: ["Thierry Martinez <thierry.martinez@inria.fr>"]

     

       10
       10
       +
       bug-reports: "https://github.com/thierry-martinez/pattern"

     

       11
       11
       +
       homepage: "https://github.com/thierry-martinez/pattern"

     

       12
       12
       +
       doc: "https://github.com/thierry-martinez/pattern"

     

       13
       13
       +
       license: "BSD-2-Clause"

     

       14
       14
       +
       dev-repo: "git+https://github.com/thierry-martinez/pattern.git"

     

       15
       15
       +
       synopsis: "Run-time patterns that explain match failures"

     

       16
       16
       +
       description: """

     

       17
       17
       +
       pattern is a PPX extension that generates functions from patterns

     

       18
       18
       +
       that explain match failures by returning the common context and

     

       19
       19
       +
       the list of differences between a pattern and a value.

     

       20
       20
       +
       """

     

       21
       21
       +
       depends: [

     

       22
       22
       +
         "ocaml" {>= "4.03.0" & < "4.12.0"}

     

       23
       23
       +
         "dune" {>= "1.10.0"}

     

       24
       24
       +
         "metapp" {>= "0.1.0"}

     

       25
       25
       +
         "metaquot" {>= "0.1.0"}

     

       26
       26
       +
         "refl" {>= "0.1.0"}

     

       27
       27
       +
         "ocaml-migrate-parsetree" {>= "1.5.0"}

     

       28
       28
       +
         "stdcompat" {>= "10"}

     

       29
       29
       +
       ]

     

       30
       30
       +
       url {

     

       31
       31
       +
         src: "https://github.com/thierry-martinez/pattern/archive/v0.2.0.tar.gz"

     

       32
       32
       +
         checksum: "sha512=70c02987409883b83e241c940a1391e90238a856826ca985bd50b64a2966a22057d64b8188445632b3c85610f0ed9c0e5622244f81e95cf3aafdc29bc46e32b3"

     

       33
       33
       +
       }