commit 49e4d2859e468d2fac5c80e54ccc684bf07f326f · anil.recoil.org/opam-repository

+2 -2

packages/clangml/clangml.4.4.0/opam

···

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

     

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

     

       12
       12
        
       depends: [

     

       13
       13
       -
         "conf-libclang"

     

       13
       13
       +
         "conf-libclang" {<= "12"}

     

       14
       14
        
         "conf-ncurses"

     

       15
       15
        
         "conf-zlib"

     

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

     
···

       35
       35
        
       available: arch != "arm32" & arch != "ppc64" # Compiler segfaults on those architectures

     

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

     

       37
       37
        
       build: [

     

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

     

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

     

       39
       39
        
         ["dune" "build" "-p" name "-j" jobs "@install"

     

       40
       40
        
           "@runtest" {with-test}

     

       41
       41
        
           "@doc" {with-doc}]]

+67 -51

packages/conf-libclang/conf-libclang.12/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)

     

       3
       3
       +
       clean_tempdir () {

     

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

     

       5
       5
       +
              "$tempdir/test_libclang"

     

       6
       6
       +
           rmdir "$tempdir"

     

       7
       7
       +
       }

     

       5
       8
        
       

     

       6
       6
       -
           shopt -s nullglob

     

       7
       7
       -
           for version in 12 11 10 9 8 7 6 5 4 3; do

     

       9
       9
       +
       shopt -s nullglob

     

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

     

       11
       11
       +
           if [ "$version" = default ]; then

     

       12
       12
       +
               llvm_config=llvm-config

     

       13
       13
       +
               llvm_version="$($llvm_config --version)" || continue

     

       14
       14
       +
               if [ $(printf "${llvm_version%%.*}\n13" | sort -n | head -n1) = 13 ]; then

     

       15
       15
       +
                   continue

     

       16
       16
       +
               fi

     

       17
       17
       +
           else

     

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

     

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

     

       10
       20
        
               fi

     
···

       15
       25
        
                   llvm-config-mp-$version \

     

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

     

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

     

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

     

       19
       19
       -
                   llvm-config; do

     

       20
       20
       -
                   llvm_version="`$llvm_config --version`" || continue

     

       21
       21
       -
                   return

     

       28
       28
       +
                   /usr/lib/llvm/${version}/bin/llvm-config; do

     

       29
       29
       +
                   llvm_version="$($llvm_config --version)" || continue

     

       30
       30
       +
                   break

     

       22
       31
        
               done

     

       23
       23
       -
           done

     

       32
       32
       +
               if [ -z "$llvm_version" ]; then

     

       33
       33
       +
                   continue

     

       34
       34
       +
               fi

     

       35
       35
       +
           fi

     

       24
       36
        
       

     

       25
       25
       -
           echo "Error: LLVM is not installed."

     

       26
       26
       -
           exit 1

     

       27
       27
       -
       }

     

       37
       37
       +
           if [ "$llvm_version" = "12.0.1" ]; then

     

       38
       38
       +
               clangml440_configure_options="--with-llvm-version=12.0.0" # clangml.4.4.0 does not recognize 12.0.1

     

       39
       39
       +
           else

     

       40
       40
       +
               clangml440_configure_options="" # rely on clangml's ./configure autodetection

     

       41
       41
       +
           fi

     

       28
       42
        
       

     

       29
       29
       -
       find_llvm_config

     

       30
       30
       -
       

     

       31
       31
       -
       LLVM_CFLAGS="`\"$llvm_config\" --cflags`"

     

       32
       32
       -
       LLVM_LDFLAGS="`\"$llvm_config\" --ldflags`"

     

       33
       33
       -
       LLVM_LIBDIR="`\"$llvm_config\" --libdir`"

     

       34
       34
       -
       

     

       35
       35
       -
       # These filters enable compilation with gcc.

     

       36
       36
       -
       # Filter -Wstring-conversion for OpenSUSE

     

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

     

       38
       38
       -
       

     

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

     

       40
       40
       -
       # (which appear with LLVM 7)

     

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

     

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

     

       43
       43
       -
       

     

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

     

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

     

       46
       46
       -
       

     

       47
       47
       -
       tempdir="`mktemp -d`"

     

       48
       48
       -
       

     

       49
       49
       -
       clean_tempdir () {

     

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

     

       51
       51
       -
              "$tempdir/test_libclang"

     

       52
       52
       -
           rmdir "$tempdir"

     

       53
       53
       -
       }

     

       43
       43
       +
           LLVM_CFLAGS="$($llvm_config --cflags)"

     

       44
       44
       +
           LLVM_LDFLAGS="$($llvm_config --ldflags)"

     

       45
       45
       +
           LLVM_LIBDIR="$($llvm_config --libdir)"

     

       46
       46
       +
           

     

       47
       47
       +
           # These filters enable compilation with gcc.

     

       48
       48
       +
           # Filter -Wstring-conversion for OpenSUSE

     

       49
       49
       +
           LLVM_CFLAGS="$(echo $LLVM_CFLAGS | sed 's/-Wstring-conversion //')"

     

       50
       50
       +
           

     

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

     

       52
       52
       +
           # (which appear with LLVM 7)

     

       53
       53
       +
           LLVM_CFLAGS="$(echo $LLVM_CFLAGS | sed 's/-Werror=unguarded-availability-new //')"

     

       54
       54
       +
           LLVM_CFLAGS="$(echo $LLVM_CFLAGS | sed 's/-Wcovered-switch-default //')"

     

       55
       55
       +
           

     

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

     

       57
       57
       +
           LLVM_CFLAGS="$(echo $LLVM_CFLAGS | sed 's/-Wdelete-non-virtual-dtor //')"

     

       54
       58
        
       

     

       55
       55
       -
       cat >"$tempdir/test_libclang.c" <<EOF

     

       59
       59
       +
           tempdir="$(mktemp -d)"        

     

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

     

       56
       61
        
       #include <clang-c/Index.h>

     

       57
       62
        
       #include <stdlib.h>

     

       58
       63
        
       

     
···

       64
       69
        
         return EXIT_SUCCESS;

     

       65
       70
        
       }

     

       66
       71
        
       EOF

     

       67
       67
       -
       CC=cc

     

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

     

       69
       69
       -
           "$tempdir/test_libclang.c" || \

     

       70
       70
       -
           ( clean_tempdir; echo "Error: cannot compile libclang test."; exit 1 )

     

       71
       71
       -
       "$CC" -o "$tempdir/test_libclang" \

     

       72
       72
       -
           $LLVM_LDFLAGS "$tempdir/test_libclang.o" \

     

       73
       73
       -
           "-lclang" "-Wl,-rpath,$LLVM_LIBDIR" || \

     

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

     

       75
       75
       -
       "$tempdir/test_libclang" || \

     

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

     

       77
       77
       -
       clean_tempdir

     

       72
       72
       +
       

     

       73
       73
       +
           CC=cc

     

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

     

       75
       75
       +
               "$tempdir/test_libclang.c" &&

     

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

     

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

     

       78
       78
       +
                 "-lclang" "-Wl,-rpath,$LLVM_LIBDIR" &&

     

       79
       79
       +
             "$tempdir/test_libclang"; then

     

       80
       80
       +
               true

     

       81
       81
       +
           else

     

       82
       82
       +
               clean_tempdir

     

       83
       83
       +
               continue

     

       84
       84
       +
           fi

     

       85
       85
       +
       

     

       86
       86
       +
           clean_tempdir

     

       87
       87
       +
           

     

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

     

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

     

       90
       90
       +
           echo "clangml440_configure_options: \"$clangml440_configure_options\"" >> conf-libclang.config

     

       91
       91
       +
           exit 0

     

       92
       92
       +
       done

     

       93
       93
       +
       

     

       94
       94
       +
       echo "Error: No usable version of LLVM <=12.0.x found."

     

       95
       95
       +
       exit 1

     

       78
       96
        
       

     

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

     

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

+8 -5

packages/conf-libclang/conf-libclang.12/opam

···

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

     

       9
       9
        
       ]

     

       10
       10
        
       depexts: [

     

       11
       11
       -
         ["llvm"] {os = "macos"}

     

       12
       12
       -
         ["glibc=2.33" "llvm" "clang"] {os-distribution = "arch"} # needs GLIBC_2.33

     

       11
       11
       +
         ["llvm@12"] {os = "macos"} # Brew already has a package for llvm@13

     

       12
       12
       +
         ["llvm" "clang"] {os-distribution = "arch"}

     

       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"]

     
···

       19
       19
        
         ["clang-devel" "llvm-devel" "llvm-static" "zlib-devel"]

     

       20
       20
        
           {os-distribution = "ol" & os-version >= "8"}

     

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

     

       22
       22
       -
         ["devel/llvm11"] {os = "freebsd"}

     

       22
       22
       +
         ["devel/llvm12"] {os = "freebsd"}

     

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

     

       24
       24
        
       ]

     

       25
       25
        
       x-ci-accept-failures: [

     

       26
       26
        
         "oraclelinux-7" # clang-devel is not available

     

       27
       27
       +
         "alpine-3.13" # unavailable system package 'llvm-dev'

     

       28
       28
       +
         "alpine-3.14" # unavailable system package 'llvm-dev'

     

       29
       29
       +
         "opensuse-15.3" # unavailable system package 'llvm-clang-devel'

     

       27
       30
        
       ]

     

       28
       31
        
       extra-files: [[

     

       29
       29
       -
         "configure.sh" "sha512=a192170b242769ffd1421a495e63354ddbb60bd810d8039d95e0cf7517b931d4fccfdd9d709977a9af16ee2b6c112023fbacf22f4bd67edec7ca9794c04c85f4"

     

       32
       32
       +
         "configure.sh" "sha512=db02fc6eee598041fd019679337eab74dc4180f6e94cfe6099a0b76ca2b10f9695079696ff4ee1b41692db46601211335fda83481dadb33ee65895a3a1369bdd"

     

       30
       33
        
       ]]

     

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

     

       34
       34
       +
       synopsis: "Virtual package relying on the installation of llvm and clang libraries (<= 12.0.x)"

     

       32
       35
        
       flags: conf

+89

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

···

       1
       1
       +
       #!/bin/bash -ex

     

       2
       2
       +
       

     

       3
       3
       +
       clean_tempdir () {

     

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

     

       5
       5
       +
              "$tempdir/test_libclang"

     

       6
       6
       +
           rmdir "$tempdir"

     

       7
       7
       +
       }

     

       8
       8
       +
       

     

       9
       9
       +
       shopt -s nullglob

     

       10
       10
       +
       for version in default 13 12 11 10 9 8 7 6 5 4 3; do

     

       11
       11
       +
           if [ "$version" = default ]; then

     

       12
       12
       +
               llvm_config=llvm-config

     

       13
       13
       +
               llvm_version="$($llvm_config --version)" || continue

     

       14
       14
       +
               if [ $(printf "${llvm_version%%.*}\n14" | sort -n | head -n1) = 14 ]; then

     

       15
       15
       +
                   continue

     

       16
       16
       +
               fi

     

       17
       17
       +
           else

     

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

     

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

     

       20
       20
       +
               fi

     

       21
       21
       +
               for llvm_config in \

     

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

     

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

     

       24
       24
       +
                   llvm-config-${version}-32 llvm-config-${version}-64 \

     

       25
       25
       +
                   llvm-config-mp-$version \

     

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

     

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

     

       28
       28
       +
                   /usr/lib/llvm/${version}/bin/llvm-config; do

     

       29
       29
       +
                   llvm_version="$($llvm_config --version)" || continue

     

       30
       30
       +
                   break

     

       31
       31
       +
               done

     

       32
       32
       +
               if [ -z "$llvm_version" ]; then

     

       33
       33
       +
                   continue

     

       34
       34
       +
               fi

     

       35
       35
       +
           fi

     

       36
       36
       +
       

     

       37
       37
       +
           LLVM_CFLAGS="$($llvm_config --cflags)"

     

       38
       38
       +
           LLVM_LDFLAGS="$($llvm_config --ldflags)"

     

       39
       39
       +
           LLVM_LIBDIR="$($llvm_config --libdir)"

     

       40
       40
       +
           

     

       41
       41
       +
           # These filters enable compilation with gcc.

     

       42
       42
       +
           # Filter -Wstring-conversion for OpenSUSE

     

       43
       43
       +
           LLVM_CFLAGS="$(echo $LLVM_CFLAGS | sed 's/-Wstring-conversion //')"

     

       44
       44
       +
           

     

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

     

       46
       46
       +
           # (which appear with LLVM 7)

     

       47
       47
       +
           LLVM_CFLAGS="$(echo $LLVM_CFLAGS | sed 's/-Werror=unguarded-availability-new //')"

     

       48
       48
       +
           LLVM_CFLAGS="$(echo $LLVM_CFLAGS | sed 's/-Wcovered-switch-default //')"

     

       49
       49
       +
           

     

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

     

       51
       51
       +
           LLVM_CFLAGS="$(echo $LLVM_CFLAGS | sed 's/-Wdelete-non-virtual-dtor //')"

     

       52
       52
       +
       

     

       53
       53
       +
           tempdir="$(mktemp -d)"        

     

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

     

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

     

       56
       56
       +
       #include <stdlib.h>

     

       57
       57
       +
       

     

       58
       58
       +
       int

     

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

     

       60
       60
       +
       {

     

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

     

       62
       62
       +
         clang_disposeIndex(idx);

     

       63
       63
       +
         return EXIT_SUCCESS;

     

       64
       64
       +
       }

     

       65
       65
       +
       EOF

     

       66
       66
       +
       

     

       67
       67
       +
           CC=cc

     

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

     

       69
       69
       +
               "$tempdir/test_libclang.c" &&

     

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

     

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

     

       72
       72
       +
                 "-lclang" "-Wl,-rpath,$LLVM_LIBDIR" &&

     

       73
       73
       +
             "$tempdir/test_libclang"; then

     

       74
       74
       +
               true

     

       75
       75
       +
           else

     

       76
       76
       +
               clean_tempdir

     

       77
       77
       +
               continue

     

       78
       78
       +
           fi

     

       79
       79
       +
       

     

       80
       80
       +
           clean_tempdir

     

       81
       81
       +
           

     

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

     

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

     

       84
       84
       +
           exit 0

     

       85
       85
       +
       done

     

       86
       86
       +
       

     

       87
       87
       +
       echo "Error: No usable version of LLVM <=13.0.x found."

     

       88
       88
       +
       exit 1

     

       89
       89
       +

+35

packages/conf-libclang/conf-libclang.13/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 = "macos"}

     

       12
       12
       +
         ["llvm" "clang"] {os-distribution = "arch"}

     

       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
       +
         ["clang-devel" "llvm-devel" "llvm-static" "zlib-devel"]

     

       20
       20
       +
           {os-distribution = "ol" & os-version >= "8"}

     

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

     

       22
       22
       +
         ["devel/llvm13"] {os = "freebsd"}

     

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

     

       24
       24
       +
       ]

     

       25
       25
       +
       x-ci-accept-failures: [

     

       26
       26
       +
         "oraclelinux-7" # clang-devel is not available

     

       27
       27
       +
         "alpine-3.13" # unavailable system package 'llvm-dev'

     

       28
       28
       +
         "alpine-3.14" # unavailable system package 'llvm-dev'

     

       29
       29
       +
         "opensuse-15.3" # unavailable system package 'llvm-clang-devel'

     

       30
       30
       +
       ]

     

       31
       31
       +
       extra-files: [[

     

       32
       32
       +
         "configure.sh" "sha512=39710d395a437c0cb057180ed604e606d4aa3414bf164517fa42a38ffb79a6300406be3591ad1de1bb0779a5058773be0aa381e5dfe2ec670afed2d81ac14739"

     

       33
       33
       +
       ]]

     

       34
       34
       +
       synopsis: "Virtual package relying on the installation of llvm and clang libraries (<= 13.0.x)"

     

       35
       35
       +
       flags: conf