commit 5f47df80428d92b745befd53232dfc9d0293e357 · anil.recoil.org/opam-repository

+1 -1

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

···

       9
        
       depends: [

     

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

     

       11
        
         "dune" {>= "1.11.0"}

     

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

     

       13
        
         "dolog" {>= "4.0.0"}

     

       14
        
         "traverse" {>= "0.2.0"}

     

       15
        
         "refl" {>= "0.1.0"}

···

       9
        
       depends: [

     

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

     

       11
        
         "dune" {>= "1.11.0"}

     

       12
       +
         "clangml" {>= "4.1.0" & < "4.2.0"}

     

       13
        
         "dolog" {>= "4.0.0"}

     

       14
        
         "traverse" {>= "0.2.0"}

     

       15
        
         "refl" {>= "0.1.0"}

+36

packages/clangml-transforms/clangml-transforms.0.26/opam

···

       1
       +
       opam-version: "2.0"

     

       2
       +
       synopsis: "Code transformers for clangml"

     

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

     

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

     

       5
       +
       license: "BSD-2-Clause"

     

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

     

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

     

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

     

       9
       +
       depends: [

     

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

     

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

     

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

     

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

     

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

     

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

     

       16
       +
         "odoc" {with-doc & >= "1.5.1"}

     

       17
       +
       ]

     

       18
       +
       build: [

     

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

     

       20
       +
         [

     

       21
       +
           "dune"

     

       22
       +
           "build"

     

       23
       +
           "-p"

     

       24
       +
           name

     

       25
       +
           "-j"

     

       26
       +
           jobs

     

       27
       +
           "@install"

     

       28
       +
           "@runtest" {with-test}

     

       29
       +
           "@doc" {with-doc}

     

       30
       +
         ]

     

       31
       +
       ]

     

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

     

       33
       +
       url {

     

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

     

       35
       +
         checksum: "sha512=857529df94db8c07e55b3919ef3e8a3fa4b297faedb9811d181d3f8554392898fc56985dfcd86726b1925d4ba7846158a907a5e18133cd597de639c780be615e"

     

       36
       +
       }

+36

packages/clangml/clangml.4.2.0/opam

···

       1
       +
       opam-version: "2.0"

     

       2
       +
       synopsis: "OCaml bindings for Clang API"

     

       3
       +
       description: """

     

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

     

       5
       +
       """

     

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

     

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

     

       8
       +
       license: "BSD-2-Clause"

     

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

     

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

     

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

     

       12
       +
       depends: [

     

       13
       +
         "conf-libclang"

     

       14
       +
         "conf-ncurses"

     

       15
       +
         "conf-zlib"

     

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

     

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

     

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

     

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

     

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

     

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

     

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

     

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

     

       24
       +
         "refl" {>= "0.2.0"}

     

       25
       +
         "odoc" {with-doc & >= "1.5.1"}

     

       26
       +
       ]

     

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

     

       28
       +
       build: [

     

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

     

       30
       +
         ["dune" "build" "-p" name "-j" jobs "@install"

     

       31
       +
           "@runtest" {with-test}

     

       32
       +
           "@doc" {with-doc}]]

     

       33
       +
       url {

     

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

     

       35
       +
         checksum: "sha512=67957797a1d97072c001056f60f831c1cb4942435f07fc36e3dad6696c6a2dd3fdb5ba1d7ffc50a54b1dda31b2c13d117ec9fa80ca43cfd3ea2856a5110ba9f9"

     

       36
       +
       }

+2 -1

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

···

       10
        
               fi

     

       11
        
               for llvm_config in \

     

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

     

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

     

       0
        
       
     

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

     

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

     

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

···

       10
        
               fi

     

       11
        
               for llvm_config in \

     

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

     

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

     

       14
       +
                   llvm-config-mp-$version \

     

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

     

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

     

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

+2 -2

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

···

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

     

       18
        
           {os-distribution = "fedora"}

     

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

     

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

     

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

     

       22
        
       ]

     

       23
        
       extra-files: [[

     

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

     

       25
        
       ]]

     

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

     

       27
        
       flags: conf

···

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

     

       18
        
           {os-distribution = "fedora"}

     

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

     

       20
       +
         ["devel/llvm10"] {os = "freebsd"}

     

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

     

       22
        
       ]

     

       23
        
       extra-files: [[

     

       24
       +
         "configure.sh" "sha512=8c95b2f06ce5bc161fd68ff8f8ddc0b9b7ea1a318732b79e4131d0adf9222662dd95a60becf28ef5db83fecf1081266a6ccf128864c019571948a232ba18fe82"

     

       25
        
       ]]

     

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

     

       27
        
       flags: conf

+40

packages/refl/refl.0.2.1/opam

···

       1
       +
       opam-version: "2.0"

     

       2
       +
       synopsis: "PPX deriver for reflection"

     

       3
       +
       description: """

     

       4
       +
       PPX deriver for reflection

     

       5
       +
       """

     

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

     

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

     

       8
       +
       license: "BSD-2-Clause"

     

       9
       +
       homepage: "https://github.com/thierry-martinez/refl"

     

       10
       +
       doc: "https://github.com/thierry-martinez/refl"

     

       11
       +
       bug-reports: "https://github.com/thierry-martinez/refl"

     

       12
       +
       depends: [

     

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

     

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

     

       15
       +
         "stdcompat" {>= "14"}

     

       16
       +
         "fix" {>= "20200131"}

     

       17
       +
         "metapp" {>= "0.2.0"}

     

       18
       +
         "metaquot" {>= "0.2.0"}

     

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

     

       20
       +
         "odoc" {with-doc}

     

       21
       +
       ]

     

       22
       +
       build: [

     

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

     

       24
       +
         [

     

       25
       +
           "dune"

     

       26
       +
           "build"

     

       27
       +
           "-p"

     

       28
       +
           name

     

       29
       +
           "-j"

     

       30
       +
           jobs

     

       31
       +
           "@install"

     

       32
       +
           "@runtest" {with-test}

     

       33
       +
           "@doc" {with-doc}

     

       34
       +
         ]

     

       35
       +
       ]

     

       36
       +
       dev-repo: "git+https://github.com/thierry-martinez/refl"

     

       37
       +
       url {

     

       38
       +
         src: "https://github.com/thierry-martinez/refl/archive/v0.2.1.tar.gz"

     

       39
       +
         checksum: "sha512=e7eeb7e3a2831db4fccc9e133b63bfac950f231350ff5f726d800bc0a7a2eb1313d38ffff0e1a0b399ca431cd8b9c792b5a2846f537775df8f338b1e1670e5d9"

     

       40
       +
       }