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

+1 -1

packages/gappa/gappa.1.4.0/opam

···

       4
        
       bug-reports: "https://gitlab.inria.fr/gappa/gappa/-/issues"

     

       5
        
       homepage: "https://gitlab.inria.fr/gappa/gappa"

     

       6
        
       dev-repo: "git+https://gitlab.inria.fr/gappa/gappa.git"

     

       7
       -
       license: "CeCILL"

     

       8
        
       patches: [

     

       9
        
         "0001-Added-configure-for-c-11.patch"

     

       10
        
       ]

···

       4
        
       bug-reports: "https://gitlab.inria.fr/gappa/gappa/-/issues"

     

       5
        
       homepage: "https://gitlab.inria.fr/gappa/gappa"

     

       6
        
       dev-repo: "git+https://gitlab.inria.fr/gappa/gappa.git"

     

       7
       +
       license: "CECILL-2.1"

     

       8
        
       patches: [

     

       9
        
         "0001-Added-configure-for-c-11.patch"

     

       10
        
       ]

+983

packages/gappa/gappa.1.4.1/files/0001-Added-configure-for-c-11.patch

···

       1
       +
       From b3775cbc5711da00c4b6b7edea8029eb8b991a6f Mon Sep 17 00:00:00 2001

     

       2
       +
       From: Michael Soegtrop <7895506+MSoegtropIMC@users.noreply.github.com>

     

       3
       +
       Date: Mon, 12 Oct 2020 21:20:28 +0200

     

       4
       +
       Subject: [PATCH] Added configure for c++11

     

       5
       +
       

     

       6
       +
       ---

     

       7
       +
        configure.in                   |   1 +

     

       8
       +
        m4/m4_ax_cxx_compile_stdcxx.m4 | 951 +++++++++++++++++++++++++++++++++

     

       9
       +
        2 files changed, 952 insertions(+)

     

       10
       +
        create mode 100755 m4/m4_ax_cxx_compile_stdcxx.m4

     

       11
       +
       

     

       12
       +
       diff --git a/configure.in b/configure.in

     

       13
       +
       index c6e1d59..9b98e43 100644

     

       14
       +
       --- a/configure.in

     

       15
       +
       +++ b/configure.in

     

       16
       +
       @@ -8,6 +8,7 @@ AC_PROG_CXX

     

       17
       +
        AC_PROG_LEX

     

       18
       +
        AC_PROG_YACC

     

       19
       +
        AX_PROG_CXX_FOR_BUILD

     

       20
       +
       +AX_CXX_COMPILE_STDCXX(11)

     

       21
       +
        

     

       22
       +
        XSLTPROC=xsltproc

     

       23
       +
        AC_ARG_WITH([xsltproc], AS_HELP_STRING([--with-xsltproc=PATH], [location of the xsltproc binary (documentation)]),

     

       24
       +
       diff --git a/m4/m4_ax_cxx_compile_stdcxx.m4 b/m4/m4_ax_cxx_compile_stdcxx.m4

     

       25
       +
       new file mode 100755

     

       26
       +
       index 0000000..43087b2

     

       27
       +
       --- /dev/null

     

       28
       +
       +++ b/m4/m4_ax_cxx_compile_stdcxx.m4

     

       29
       +
       @@ -0,0 +1,951 @@

     

       30
       +
       +# ===========================================================================

     

       31
       +
       +#  https://www.gnu.org/software/autoconf-archive/ax_cxx_compile_stdcxx.html

     

       32
       +
       +# ===========================================================================

     

       33
       +
       +#

     

       34
       +
       +# SYNOPSIS

     

       35
       +
       +#

     

       36
       +
       +#   AX_CXX_COMPILE_STDCXX(VERSION, [ext|noext], [mandatory|optional])

     

       37
       +
       +#

     

       38
       +
       +# DESCRIPTION

     

       39
       +
       +#

     

       40
       +
       +#   Check for baseline language coverage in the compiler for the specified

     

       41
       +
       +#   version of the C++ standard.  If necessary, add switches to CXX and

     

       42
       +
       +#   CXXCPP to enable support.  VERSION may be '11' (for the C++11 standard)

     

       43
       +
       +#   or '14' (for the C++14 standard).

     

       44
       +
       +#

     

       45
       +
       +#   The second argument, if specified, indicates whether you insist on an

     

       46
       +
       +#   extended mode (e.g. -std=gnu++11) or a strict conformance mode (e.g.

     

       47
       +
       +#   -std=c++11).  If neither is specified, you get whatever works, with

     

       48
       +
       +#   preference for an extended mode.

     

       49
       +
       +#

     

       50
       +
       +#   The third argument, if specified 'mandatory' or if left unspecified,

     

       51
       +
       +#   indicates that baseline support for the specified C++ standard is

     

       52
       +
       +#   required and that the macro should error out if no mode with that

     

       53
       +
       +#   support is found.  If specified 'optional', then configuration proceeds

     

       54
       +
       +#   regardless, after defining HAVE_CXX${VERSION} if and only if a

     

       55
       +
       +#   supporting mode is found.

     

       56
       +
       +#

     

       57
       +
       +# LICENSE

     

       58
       +
       +#

     

       59
       +
       +#   Copyright (c) 2008 Benjamin Kosnik <bkoz@redhat.com>

     

       60
       +
       +#   Copyright (c) 2012 Zack Weinberg <zackw@panix.com>

     

       61
       +
       +#   Copyright (c) 2013 Roy Stogner <roystgnr@ices.utexas.edu>

     

       62
       +
       +#   Copyright (c) 2014, 2015 Google Inc.; contributed by Alexey Sokolov <sokolov@google.com>

     

       63
       +
       +#   Copyright (c) 2015 Paul Norman <penorman@mac.com>

     

       64
       +
       +#   Copyright (c) 2015 Moritz Klammler <moritz@klammler.eu>

     

       65
       +
       +#   Copyright (c) 2016, 2018 Krzesimir Nowak <qdlacz@gmail.com>

     

       66
       +
       +#   Copyright (c) 2019 Enji Cooper <yaneurabeya@gmail.com>

     

       67
       +
       +#

     

       68
       +
       +#   Copying and distribution of this file, with or without modification, are

     

       69
       +
       +#   permitted in any medium without royalty provided the copyright notice

     

       70
       +
       +#   and this notice are preserved.  This file is offered as-is, without any

     

       71
       +
       +#   warranty.

     

       72
       +
       +

     

       73
       +
       +#serial 11

     

       74
       +
       +

     

       75
       +
       +dnl  This macro is based on the code from the AX_CXX_COMPILE_STDCXX_11 macro

     

       76
       +
       +dnl  (serial version number 13).

     

       77
       +
       +

     

       78
       +
       +AC_DEFUN([AX_CXX_COMPILE_STDCXX], [dnl

     

       79
       +
       +  m4_if([$1], [11], [ax_cxx_compile_alternatives="11 0x"],

     

       80
       +
       +        [$1], [14], [ax_cxx_compile_alternatives="14 1y"],

     

       81
       +
       +        [$1], [17], [ax_cxx_compile_alternatives="17 1z"],

     

       82
       +
       +        [m4_fatal([invalid first argument `$1' to AX_CXX_COMPILE_STDCXX])])dnl

     

       83
       +
       +  m4_if([$2], [], [],

     

       84
       +
       +        [$2], [ext], [],

     

       85
       +
       +        [$2], [noext], [],

     

       86
       +
       +        [m4_fatal([invalid second argument `$2' to AX_CXX_COMPILE_STDCXX])])dnl

     

       87
       +
       +  m4_if([$3], [], [ax_cxx_compile_cxx$1_required=true],

     

       88
       +
       +        [$3], [mandatory], [ax_cxx_compile_cxx$1_required=true],

     

       89
       +
       +        [$3], [optional], [ax_cxx_compile_cxx$1_required=false],

     

       90
       +
       +        [m4_fatal([invalid third argument `$3' to AX_CXX_COMPILE_STDCXX])])

     

       91
       +
       +  AC_LANG_PUSH([C++])dnl

     

       92
       +
       +  ac_success=no

     

       93
       +
       +

     

       94
       +
       +  m4_if([$2], [noext], [], [dnl

     

       95
       +
       +  if test x$ac_success = xno; then

     

       96
       +
       +    for alternative in ${ax_cxx_compile_alternatives}; do

     

       97
       +
       +      switch="-std=gnu++${alternative}"

     

       98
       +
       +      cachevar=AS_TR_SH([ax_cv_cxx_compile_cxx$1_$switch])

     

       99
       +
       +      AC_CACHE_CHECK(whether $CXX supports C++$1 features with $switch,

     

       100
       +
       +                     $cachevar,

     

       101
       +
       +        [ac_save_CXX="$CXX"

     

       102
       +
       +         CXX="$CXX $switch"

     

       103
       +
       +         AC_COMPILE_IFELSE([AC_LANG_SOURCE([_AX_CXX_COMPILE_STDCXX_testbody_$1])],

     

       104
       +
       +          [eval $cachevar=yes],

     

       105
       +
       +          [eval $cachevar=no])

     

       106
       +
       +         CXX="$ac_save_CXX"])

     

       107
       +
       +      if eval test x\$$cachevar = xyes; then

     

       108
       +
       +        CXX="$CXX $switch"

     

       109
       +
       +        if test -n "$CXXCPP" ; then

     

       110
       +
       +          CXXCPP="$CXXCPP $switch"

     

       111
       +
       +        fi

     

       112
       +
       +        ac_success=yes

     

       113
       +
       +        break

     

       114
       +
       +      fi

     

       115
       +
       +    done

     

       116
       +
       +  fi])

     

       117
       +
       +

     

       118
       +
       +  m4_if([$2], [ext], [], [dnl

     

       119
       +
       +  if test x$ac_success = xno; then

     

       120
       +
       +    dnl HP's aCC needs +std=c++11 according to:

     

       121
       +
       +    dnl http://h21007.www2.hp.com/portal/download/files/unprot/aCxx/PDF_Release_Notes/769149-001.pdf

     

       122
       +
       +    dnl Cray's crayCC needs "-h std=c++11"

     

       123
       +
       +    for alternative in ${ax_cxx_compile_alternatives}; do

     

       124
       +
       +      for switch in -std=c++${alternative} +std=c++${alternative} "-h std=c++${alternative}"; do

     

       125
       +
       +        cachevar=AS_TR_SH([ax_cv_cxx_compile_cxx$1_$switch])

     

       126
       +
       +        AC_CACHE_CHECK(whether $CXX supports C++$1 features with $switch,

     

       127
       +
       +                       $cachevar,

     

       128
       +
       +          [ac_save_CXX="$CXX"

     

       129
       +
       +           CXX="$CXX $switch"

     

       130
       +
       +           AC_COMPILE_IFELSE([AC_LANG_SOURCE([_AX_CXX_COMPILE_STDCXX_testbody_$1])],

     

       131
       +
       +            [eval $cachevar=yes],

     

       132
       +
       +            [eval $cachevar=no])

     

       133
       +
       +           CXX="$ac_save_CXX"])

     

       134
       +
       +        if eval test x\$$cachevar = xyes; then

     

       135
       +
       +          CXX="$CXX $switch"

     

       136
       +
       +          if test -n "$CXXCPP" ; then

     

       137
       +
       +            CXXCPP="$CXXCPP $switch"

     

       138
       +
       +          fi

     

       139
       +
       +          ac_success=yes

     

       140
       +
       +          break

     

       141
       +
       +        fi

     

       142
       +
       +      done

     

       143
       +
       +      if test x$ac_success = xyes; then

     

       144
       +
       +        break

     

       145
       +
       +      fi

     

       146
       +
       +    done

     

       147
       +
       +  fi])

     

       148
       +
       +  AC_LANG_POP([C++])

     

       149
       +
       +  if test x$ax_cxx_compile_cxx$1_required = xtrue; then

     

       150
       +
       +    if test x$ac_success = xno; then

     

       151
       +
       +      AC_MSG_ERROR([*** A compiler with support for C++$1 language features is required.])

     

       152
       +
       +    fi

     

       153
       +
       +  fi

     

       154
       +
       +  if test x$ac_success = xno; then

     

       155
       +
       +    HAVE_CXX$1=0

     

       156
       +
       +    AC_MSG_NOTICE([No compiler with C++$1 support was found])

     

       157
       +
       +  else

     

       158
       +
       +    HAVE_CXX$1=1

     

       159
       +
       +    AC_DEFINE(HAVE_CXX$1,1,

     

       160
       +
       +              [define if the compiler supports basic C++$1 syntax])

     

       161
       +
       +  fi

     

       162
       +
       +  AC_SUBST(HAVE_CXX$1)

     

       163
       +
       +])

     

       164
       +
       +

     

       165
       +
       +

     

       166
       +
       +dnl  Test body for checking C++11 support

     

       167
       +
       +

     

       168
       +
       +m4_define([_AX_CXX_COMPILE_STDCXX_testbody_11],

     

       169
       +
       +  _AX_CXX_COMPILE_STDCXX_testbody_new_in_11

     

       170
       +
       +)

     

       171
       +
       +

     

       172
       +
       +

     

       173
       +
       +dnl  Test body for checking C++14 support

     

       174
       +
       +

     

       175
       +
       +m4_define([_AX_CXX_COMPILE_STDCXX_testbody_14],

     

       176
       +
       +  _AX_CXX_COMPILE_STDCXX_testbody_new_in_11

     

       177
       +
       +  _AX_CXX_COMPILE_STDCXX_testbody_new_in_14

     

       178
       +
       +)

     

       179
       +
       +

     

       180
       +
       +m4_define([_AX_CXX_COMPILE_STDCXX_testbody_17],

     

       181
       +
       +  _AX_CXX_COMPILE_STDCXX_testbody_new_in_11

     

       182
       +
       +  _AX_CXX_COMPILE_STDCXX_testbody_new_in_14

     

       183
       +
       +  _AX_CXX_COMPILE_STDCXX_testbody_new_in_17

     

       184
       +
       +)

     

       185
       +
       +

     

       186
       +
       +dnl  Tests for new features in C++11

     

       187
       +
       +

     

       188
       +
       +m4_define([_AX_CXX_COMPILE_STDCXX_testbody_new_in_11], [[

     

       189
       +
       +

     

       190
       +
       +// If the compiler admits that it is not ready for C++11, why torture it?

     

       191
       +
       +// Hopefully, this will speed up the test.

     

       192
       +
       +

     

       193
       +
       +#ifndef __cplusplus

     

       194
       +
       +

     

       195
       +
       +#error "This is not a C++ compiler"

     

       196
       +
       +

     

       197
       +
       +#elif __cplusplus < 201103L

     

       198
       +
       +

     

       199
       +
       +#error "This is not a C++11 compiler"

     

       200
       +
       +

     

       201
       +
       +#else

     

       202
       +
       +

     

       203
       +
       +namespace cxx11

     

       204
       +
       +{

     

       205
       +
       +

     

       206
       +
       +  namespace test_static_assert

     

       207
       +
       +  {

     

       208
       +
       +

     

       209
       +
       +    template <typename T>

     

       210
       +
       +    struct check

     

       211
       +
       +    {

     

       212
       +
       +      static_assert(sizeof(int) <= sizeof(T), "not big enough");

     

       213
       +
       +    };

     

       214
       +
       +

     

       215
       +
       +  }

     

       216
       +
       +

     

       217
       +
       +  namespace test_final_override

     

       218
       +
       +  {

     

       219
       +
       +

     

       220
       +
       +    struct Base

     

       221
       +
       +    {

     

       222
       +
       +      virtual ~Base() {}

     

       223
       +
       +      virtual void f() {}

     

       224
       +
       +    };

     

       225
       +
       +

     

       226
       +
       +    struct Derived : public Base

     

       227
       +
       +    {

     

       228
       +
       +      virtual ~Derived() override {}

     

       229
       +
       +      virtual void f() override {}

     

       230
       +
       +    };

     

       231
       +
       +

     

       232
       +
       +  }

     

       233
       +
       +

     

       234
       +
       +  namespace test_double_right_angle_brackets

     

       235
       +
       +  {

     

       236
       +
       +

     

       237
       +
       +    template < typename T >

     

       238
       +
       +    struct check {};

     

       239
       +
       +

     

       240
       +
       +    typedef check<void> single_type;

     

       241
       +
       +    typedef check<check<void>> double_type;

     

       242
       +
       +    typedef check<check<check<void>>> triple_type;

     

       243
       +
       +    typedef check<check<check<check<void>>>> quadruple_type;

     

       244
       +
       +

     

       245
       +
       +  }

     

       246
       +
       +

     

       247
       +
       +  namespace test_decltype

     

       248
       +
       +  {

     

       249
       +
       +

     

       250
       +
       +    int

     

       251
       +
       +    f()

     

       252
       +
       +    {

     

       253
       +
       +      int a = 1;

     

       254
       +
       +      decltype(a) b = 2;

     

       255
       +
       +      return a + b;

     

       256
       +
       +    }

     

       257
       +
       +

     

       258
       +
       +  }

     

       259
       +
       +

     

       260
       +
       +  namespace test_type_deduction

     

       261
       +
       +  {

     

       262
       +
       +

     

       263
       +
       +    template < typename T1, typename T2 >

     

       264
       +
       +    struct is_same

     

       265
       +
       +    {

     

       266
       +
       +      static const bool value = false;

     

       267
       +
       +    };

     

       268
       +
       +

     

       269
       +
       +    template < typename T >

     

       270
       +
       +    struct is_same<T, T>

     

       271
       +
       +    {

     

       272
       +
       +      static const bool value = true;

     

       273
       +
       +    };

     

       274
       +
       +

     

       275
       +
       +    template < typename T1, typename T2 >

     

       276
       +
       +    auto

     

       277
       +
       +    add(T1 a1, T2 a2) -> decltype(a1 + a2)

     

       278
       +
       +    {

     

       279
       +
       +      return a1 + a2;

     

       280
       +
       +    }

     

       281
       +
       +

     

       282
       +
       +    int

     

       283
       +
       +    test(const int c, volatile int v)

     

       284
       +
       +    {

     

       285
       +
       +      static_assert(is_same<int, decltype(0)>::value == true, "");

     

       286
       +
       +      static_assert(is_same<int, decltype(c)>::value == false, "");

     

       287
       +
       +      static_assert(is_same<int, decltype(v)>::value == false, "");

     

       288
       +
       +      auto ac = c;

     

       289
       +
       +      auto av = v;

     

       290
       +
       +      auto sumi = ac + av + 'x';

     

       291
       +
       +      auto sumf = ac + av + 1.0;

     

       292
       +
       +      static_assert(is_same<int, decltype(ac)>::value == true, "");

     

       293
       +
       +      static_assert(is_same<int, decltype(av)>::value == true, "");

     

       294
       +
       +      static_assert(is_same<int, decltype(sumi)>::value == true, "");

     

       295
       +
       +      static_assert(is_same<int, decltype(sumf)>::value == false, "");

     

       296
       +
       +      static_assert(is_same<int, decltype(add(c, v))>::value == true, "");

     

       297
       +
       +      return (sumf > 0.0) ? sumi : add(c, v);

     

       298
       +
       +    }

     

       299
       +
       +

     

       300
       +
       +  }

     

       301
       +
       +

     

       302
       +
       +  namespace test_noexcept

     

       303
       +
       +  {

     

       304
       +
       +

     

       305
       +
       +    int f() { return 0; }

     

       306
       +
       +    int g() noexcept { return 0; }

     

       307
       +
       +

     

       308
       +
       +    static_assert(noexcept(f()) == false, "");

     

       309
       +
       +    static_assert(noexcept(g()) == true, "");

     

       310
       +
       +

     

       311
       +
       +  }

     

       312
       +
       +

     

       313
       +
       +  namespace test_constexpr

     

       314
       +
       +  {

     

       315
       +
       +

     

       316
       +
       +    template < typename CharT >

     

       317
       +
       +    unsigned long constexpr

     

       318
       +
       +    strlen_c_r(const CharT *const s, const unsigned long acc) noexcept

     

       319
       +
       +    {

     

       320
       +
       +      return *s ? strlen_c_r(s + 1, acc + 1) : acc;

     

       321
       +
       +    }

     

       322
       +
       +

     

       323
       +
       +    template < typename CharT >

     

       324
       +
       +    unsigned long constexpr

     

       325
       +
       +    strlen_c(const CharT *const s) noexcept

     

       326
       +
       +    {

     

       327
       +
       +      return strlen_c_r(s, 0UL);

     

       328
       +
       +    }

     

       329
       +
       +

     

       330
       +
       +    static_assert(strlen_c("") == 0UL, "");

     

       331
       +
       +    static_assert(strlen_c("1") == 1UL, "");

     

       332
       +
       +    static_assert(strlen_c("example") == 7UL, "");

     

       333
       +
       +    static_assert(strlen_c("another\0example") == 7UL, "");

     

       334
       +
       +

     

       335
       +
       +  }

     

       336
       +
       +

     

       337
       +
       +  namespace test_rvalue_references

     

       338
       +
       +  {

     

       339
       +
       +

     

       340
       +
       +    template < int N >

     

       341
       +
       +    struct answer

     

       342
       +
       +    {

     

       343
       +
       +      static constexpr int value = N;

     

       344
       +
       +    };

     

       345
       +
       +

     

       346
       +
       +    answer<1> f(int&)       { return answer<1>(); }

     

       347
       +
       +    answer<2> f(const int&) { return answer<2>(); }

     

       348
       +
       +    answer<3> f(int&&)      { return answer<3>(); }

     

       349
       +
       +

     

       350
       +
       +    void

     

       351
       +
       +    test()

     

       352
       +
       +    {

     

       353
       +
       +      int i = 0;

     

       354
       +
       +      const int c = 0;

     

       355
       +
       +      static_assert(decltype(f(i))::value == 1, "");

     

       356
       +
       +      static_assert(decltype(f(c))::value == 2, "");

     

       357
       +
       +      static_assert(decltype(f(0))::value == 3, "");

     

       358
       +
       +    }

     

       359
       +
       +

     

       360
       +
       +  }

     

       361
       +
       +

     

       362
       +
       +  namespace test_uniform_initialization

     

       363
       +
       +  {

     

       364
       +
       +

     

       365
       +
       +    struct test

     

       366
       +
       +    {

     

       367
       +
       +      static const int zero {};

     

       368
       +
       +      static const int one {1};

     

       369
       +
       +    };

     

       370
       +
       +

     

       371
       +
       +    static_assert(test::zero == 0, "");

     

       372
       +
       +    static_assert(test::one == 1, "");

     

       373
       +
       +

     

       374
       +
       +  }

     

       375
       +
       +

     

       376
       +
       +  namespace test_lambdas

     

       377
       +
       +  {

     

       378
       +
       +

     

       379
       +
       +    void

     

       380
       +
       +    test1()

     

       381
       +
       +    {

     

       382
       +
       +      auto lambda1 = [](){};

     

       383
       +
       +      auto lambda2 = lambda1;

     

       384
       +
       +      lambda1();

     

       385
       +
       +      lambda2();

     

       386
       +
       +    }

     

       387
       +
       +

     

       388
       +
       +    int

     

       389
       +
       +    test2()

     

       390
       +
       +    {

     

       391
       +
       +      auto a = [](int i, int j){ return i + j; }(1, 2);

     

       392
       +
       +      auto b = []() -> int { return '0'; }();

     

       393
       +
       +      auto c = [=](){ return a + b; }();

     

       394
       +
       +      auto d = [&](){ return c; }();

     

       395
       +
       +      auto e = [a, &b](int x) mutable {

     

       396
       +
       +        const auto identity = [](int y){ return y; };

     

       397
       +
       +        for (auto i = 0; i < a; ++i)

     

       398
       +
       +          a += b--;

     

       399
       +
       +        return x + identity(a + b);

     

       400
       +
       +      }(0);

     

       401
       +
       +      return a + b + c + d + e;

     

       402
       +
       +    }

     

       403
       +
       +

     

       404
       +
       +    int

     

       405
       +
       +    test3()

     

       406
       +
       +    {

     

       407
       +
       +      const auto nullary = [](){ return 0; };

     

       408
       +
       +      const auto unary = [](int x){ return x; };

     

       409
       +
       +      using nullary_t = decltype(nullary);

     

       410
       +
       +      using unary_t = decltype(unary);

     

       411
       +
       +      const auto higher1st = [](nullary_t f){ return f(); };

     

       412
       +
       +      const auto higher2nd = [unary](nullary_t f1){

     

       413
       +
       +        return [unary, f1](unary_t f2){ return f2(unary(f1())); };

     

       414
       +
       +      };

     

       415
       +
       +      return higher1st(nullary) + higher2nd(nullary)(unary);

     

       416
       +
       +    }

     

       417
       +
       +

     

       418
       +
       +  }

     

       419
       +
       +

     

       420
       +
       +  namespace test_variadic_templates

     

       421
       +
       +  {

     

       422
       +
       +

     

       423
       +
       +    template <int...>

     

       424
       +
       +    struct sum;

     

       425
       +
       +

     

       426
       +
       +    template <int N0, int... N1toN>

     

       427
       +
       +    struct sum<N0, N1toN...>

     

       428
       +
       +    {

     

       429
       +
       +      static constexpr auto value = N0 + sum<N1toN...>::value;

     

       430
       +
       +    };

     

       431
       +
       +

     

       432
       +
       +    template <>

     

       433
       +
       +    struct sum<>

     

       434
       +
       +    {

     

       435
       +
       +      static constexpr auto value = 0;

     

       436
       +
       +    };

     

       437
       +
       +

     

       438
       +
       +    static_assert(sum<>::value == 0, "");

     

       439
       +
       +    static_assert(sum<1>::value == 1, "");

     

       440
       +
       +    static_assert(sum<23>::value == 23, "");

     

       441
       +
       +    static_assert(sum<1, 2>::value == 3, "");

     

       442
       +
       +    static_assert(sum<5, 5, 11>::value == 21, "");

     

       443
       +
       +    static_assert(sum<2, 3, 5, 7, 11, 13>::value == 41, "");

     

       444
       +
       +

     

       445
       +
       +  }

     

       446
       +
       +

     

       447
       +
       +  // http://stackoverflow.com/questions/13728184/template-aliases-and-sfinae

     

       448
       +
       +  // Clang 3.1 fails with headers of libstd++ 4.8.3 when using std::function

     

       449
       +
       +  // because of this.

     

       450
       +
       +  namespace test_template_alias_sfinae

     

       451
       +
       +  {

     

       452
       +
       +

     

       453
       +
       +    struct foo {};

     

       454
       +
       +

     

       455
       +
       +    template<typename T>

     

       456
       +
       +    using member = typename T::member_type;

     

       457
       +
       +

     

       458
       +
       +    template<typename T>

     

       459
       +
       +    void func(...) {}

     

       460
       +
       +

     

       461
       +
       +    template<typename T>

     

       462
       +
       +    void func(member<T>*) {}

     

       463
       +
       +

     

       464
       +
       +    void test();

     

       465
       +
       +

     

       466
       +
       +    void test() { func<foo>(0); }

     

       467
       +
       +

     

       468
       +
       +  }

     

       469
       +
       +

     

       470
       +
       +}  // namespace cxx11

     

       471
       +
       +

     

       472
       +
       +#endif  // __cplusplus >= 201103L

     

       473
       +
       +

     

       474
       +
       +]])

     

       475
       +
       +

     

       476
       +
       +

     

       477
       +
       +dnl  Tests for new features in C++14

     

       478
       +
       +

     

       479
       +
       +m4_define([_AX_CXX_COMPILE_STDCXX_testbody_new_in_14], [[

     

       480
       +
       +

     

       481
       +
       +// If the compiler admits that it is not ready for C++14, why torture it?

     

       482
       +
       +// Hopefully, this will speed up the test.

     

       483
       +
       +

     

       484
       +
       +#ifndef __cplusplus

     

       485
       +
       +

     

       486
       +
       +#error "This is not a C++ compiler"

     

       487
       +
       +

     

       488
       +
       +#elif __cplusplus < 201402L

     

       489
       +
       +

     

       490
       +
       +#error "This is not a C++14 compiler"

     

       491
       +
       +

     

       492
       +
       +#else

     

       493
       +
       +

     

       494
       +
       +namespace cxx14

     

       495
       +
       +{

     

       496
       +
       +

     

       497
       +
       +  namespace test_polymorphic_lambdas

     

       498
       +
       +  {

     

       499
       +
       +

     

       500
       +
       +    int

     

       501
       +
       +    test()

     

       502
       +
       +    {

     

       503
       +
       +      const auto lambda = [](auto&&... args){

     

       504
       +
       +        const auto istiny = [](auto x){

     

       505
       +
       +          return (sizeof(x) == 1UL) ? 1 : 0;

     

       506
       +
       +        };

     

       507
       +
       +        const int aretiny[] = { istiny(args)... };

     

       508
       +
       +        return aretiny[0];

     

       509
       +
       +      };

     

       510
       +
       +      return lambda(1, 1L, 1.0f, '1');

     

       511
       +
       +    }

     

       512
       +
       +

     

       513
       +
       +  }

     

       514
       +
       +

     

       515
       +
       +  namespace test_binary_literals

     

       516
       +
       +  {

     

       517
       +
       +

     

       518
       +
       +    constexpr auto ivii = 0b0000000000101010;

     

       519
       +
       +    static_assert(ivii == 42, "wrong value");

     

       520
       +
       +

     

       521
       +
       +  }

     

       522
       +
       +

     

       523
       +
       +  namespace test_generalized_constexpr

     

       524
       +
       +  {

     

       525
       +
       +

     

       526
       +
       +    template < typename CharT >

     

       527
       +
       +    constexpr unsigned long

     

       528
       +
       +    strlen_c(const CharT *const s) noexcept

     

       529
       +
       +    {

     

       530
       +
       +      auto length = 0UL;

     

       531
       +
       +      for (auto p = s; *p; ++p)

     

       532
       +
       +        ++length;

     

       533
       +
       +      return length;

     

       534
       +
       +    }

     

       535
       +
       +

     

       536
       +
       +    static_assert(strlen_c("") == 0UL, "");

     

       537
       +
       +    static_assert(strlen_c("x") == 1UL, "");

     

       538
       +
       +    static_assert(strlen_c("test") == 4UL, "");

     

       539
       +
       +    static_assert(strlen_c("another\0test") == 7UL, "");

     

       540
       +
       +

     

       541
       +
       +  }

     

       542
       +
       +

     

       543
       +
       +  namespace test_lambda_init_capture

     

       544
       +
       +  {

     

       545
       +
       +

     

       546
       +
       +    int

     

       547
       +
       +    test()

     

       548
       +
       +    {

     

       549
       +
       +      auto x = 0;

     

       550
       +
       +      const auto lambda1 = [a = x](int b){ return a + b; };

     

       551
       +
       +      const auto lambda2 = [a = lambda1(x)](){ return a; };

     

       552
       +
       +      return lambda2();

     

       553
       +
       +    }

     

       554
       +
       +

     

       555
       +
       +  }

     

       556
       +
       +

     

       557
       +
       +  namespace test_digit_separators

     

       558
       +
       +  {

     

       559
       +
       +

     

       560
       +
       +    constexpr auto ten_million = 100'000'000;

     

       561
       +
       +    static_assert(ten_million == 100000000, "");

     

       562
       +
       +

     

       563
       +
       +  }

     

       564
       +
       +

     

       565
       +
       +  namespace test_return_type_deduction

     

       566
       +
       +  {

     

       567
       +
       +

     

       568
       +
       +    auto f(int& x) { return x; }

     

       569
       +
       +    decltype(auto) g(int& x) { return x; }

     

       570
       +
       +

     

       571
       +
       +    template < typename T1, typename T2 >

     

       572
       +
       +    struct is_same

     

       573
       +
       +    {

     

       574
       +
       +      static constexpr auto value = false;

     

       575
       +
       +    };

     

       576
       +
       +

     

       577
       +
       +    template < typename T >

     

       578
       +
       +    struct is_same<T, T>

     

       579
       +
       +    {

     

       580
       +
       +      static constexpr auto value = true;

     

       581
       +
       +    };

     

       582
       +
       +

     

       583
       +
       +    int

     

       584
       +
       +    test()

     

       585
       +
       +    {

     

       586
       +
       +      auto x = 0;

     

       587
       +
       +      static_assert(is_same<int, decltype(f(x))>::value, "");

     

       588
       +
       +      static_assert(is_same<int&, decltype(g(x))>::value, "");

     

       589
       +
       +      return x;

     

       590
       +
       +    }

     

       591
       +
       +

     

       592
       +
       +  }

     

       593
       +
       +

     

       594
       +
       +}  // namespace cxx14

     

       595
       +
       +

     

       596
       +
       +#endif  // __cplusplus >= 201402L

     

       597
       +
       +

     

       598
       +
       +]])

     

       599
       +
       +

     

       600
       +
       +

     

       601
       +
       +dnl  Tests for new features in C++17

     

       602
       +
       +

     

       603
       +
       +m4_define([_AX_CXX_COMPILE_STDCXX_testbody_new_in_17], [[

     

       604
       +
       +

     

       605
       +
       +// If the compiler admits that it is not ready for C++17, why torture it?

     

       606
       +
       +// Hopefully, this will speed up the test.

     

       607
       +
       +

     

       608
       +
       +#ifndef __cplusplus

     

       609
       +
       +

     

       610
       +
       +#error "This is not a C++ compiler"

     

       611
       +
       +

     

       612
       +
       +#elif __cplusplus < 201703L

     

       613
       +
       +

     

       614
       +
       +#error "This is not a C++17 compiler"

     

       615
       +
       +

     

       616
       +
       +#else

     

       617
       +
       +

     

       618
       +
       +#include <initializer_list>

     

       619
       +
       +#include <utility>

     

       620
       +
       +#include <type_traits>

     

       621
       +
       +

     

       622
       +
       +namespace cxx17

     

       623
       +
       +{

     

       624
       +
       +

     

       625
       +
       +  namespace test_constexpr_lambdas

     

       626
       +
       +  {

     

       627
       +
       +

     

       628
       +
       +    constexpr int foo = [](){return 42;}();

     

       629
       +
       +

     

       630
       +
       +  }

     

       631
       +
       +

     

       632
       +
       +  namespace test::nested_namespace::definitions

     

       633
       +
       +  {

     

       634
       +
       +

     

       635
       +
       +  }

     

       636
       +
       +

     

       637
       +
       +  namespace test_fold_expression

     

       638
       +
       +  {

     

       639
       +
       +

     

       640
       +
       +    template<typename... Args>

     

       641
       +
       +    int multiply(Args... args)

     

       642
       +
       +    {

     

       643
       +
       +      return (args * ... * 1);

     

       644
       +
       +    }

     

       645
       +
       +

     

       646
       +
       +    template<typename... Args>

     

       647
       +
       +    bool all(Args... args)

     

       648
       +
       +    {

     

       649
       +
       +      return (args && ...);

     

       650
       +
       +    }

     

       651
       +
       +

     

       652
       +
       +  }

     

       653
       +
       +

     

       654
       +
       +  namespace test_extended_static_assert

     

       655
       +
       +  {

     

       656
       +
       +

     

       657
       +
       +    static_assert (true);

     

       658
       +
       +

     

       659
       +
       +  }

     

       660
       +
       +

     

       661
       +
       +  namespace test_auto_brace_init_list

     

       662
       +
       +  {

     

       663
       +
       +

     

       664
       +
       +    auto foo = {5};

     

       665
       +
       +    auto bar {5};

     

       666
       +
       +

     

       667
       +
       +    static_assert(std::is_same<std::initializer_list<int>, decltype(foo)>::value);

     

       668
       +
       +    static_assert(std::is_same<int, decltype(bar)>::value);

     

       669
       +
       +  }

     

       670
       +
       +

     

       671
       +
       +  namespace test_typename_in_template_template_parameter

     

       672
       +
       +  {

     

       673
       +
       +

     

       674
       +
       +    template<template<typename> typename X> struct D;

     

       675
       +
       +

     

       676
       +
       +  }

     

       677
       +
       +

     

       678
       +
       +  namespace test_fallthrough_nodiscard_maybe_unused_attributes

     

       679
       +
       +  {

     

       680
       +
       +

     

       681
       +
       +    int f1()

     

       682
       +
       +    {

     

       683
       +
       +      return 42;

     

       684
       +
       +    }

     

       685
       +
       +

     

       686
       +
       +    [[nodiscard]] int f2()

     

       687
       +
       +    {

     

       688
       +
       +      [[maybe_unused]] auto unused = f1();

     

       689
       +
       +

     

       690
       +
       +      switch (f1())

     

       691
       +
       +      {

     

       692
       +
       +      case 17:

     

       693
       +
       +        f1();

     

       694
       +
       +        [[fallthrough]];

     

       695
       +
       +      case 42:

     

       696
       +
       +        f1();

     

       697
       +
       +      }

     

       698
       +
       +      return f1();

     

       699
       +
       +    }

     

       700
       +
       +

     

       701
       +
       +  }

     

       702
       +
       +

     

       703
       +
       +  namespace test_extended_aggregate_initialization

     

       704
       +
       +  {

     

       705
       +
       +

     

       706
       +
       +    struct base1

     

       707
       +
       +    {

     

       708
       +
       +      int b1, b2 = 42;

     

       709
       +
       +    };

     

       710
       +
       +

     

       711
       +
       +    struct base2

     

       712
       +
       +    {

     

       713
       +
       +      base2() {

     

       714
       +
       +        b3 = 42;

     

       715
       +
       +      }

     

       716
       +
       +      int b3;

     

       717
       +
       +    };

     

       718
       +
       +

     

       719
       +
       +    struct derived : base1, base2

     

       720
       +
       +    {

     

       721
       +
       +        int d;

     

       722
       +
       +    };

     

       723
       +
       +

     

       724
       +
       +    derived d1 {{1, 2}, {}, 4};  // full initialization

     

       725
       +
       +    derived d2 {{}, {}, 4};      // value-initialized bases

     

       726
       +
       +

     

       727
       +
       +  }

     

       728
       +
       +

     

       729
       +
       +  namespace test_general_range_based_for_loop

     

       730
       +
       +  {

     

       731
       +
       +

     

       732
       +
       +    struct iter

     

       733
       +
       +    {

     

       734
       +
       +      int i;

     

       735
       +
       +

     

       736
       +
       +      int& operator* ()

     

       737
       +
       +      {

     

       738
       +
       +        return i;

     

       739
       +
       +      }

     

       740
       +
       +

     

       741
       +
       +      const int& operator* () const

     

       742
       +
       +      {

     

       743
       +
       +        return i;

     

       744
       +
       +      }

     

       745
       +
       +

     

       746
       +
       +      iter& operator++()

     

       747
       +
       +      {

     

       748
       +
       +        ++i;

     

       749
       +
       +        return *this;

     

       750
       +
       +      }

     

       751
       +
       +    };

     

       752
       +
       +

     

       753
       +
       +    struct sentinel

     

       754
       +
       +    {

     

       755
       +
       +      int i;

     

       756
       +
       +    };

     

       757
       +
       +

     

       758
       +
       +    bool operator== (const iter& i, const sentinel& s)

     

       759
       +
       +    {

     

       760
       +
       +      return i.i == s.i;

     

       761
       +
       +    }

     

       762
       +
       +

     

       763
       +
       +    bool operator!= (const iter& i, const sentinel& s)

     

       764
       +
       +    {

     

       765
       +
       +      return !(i == s);

     

       766
       +
       +    }

     

       767
       +
       +

     

       768
       +
       +    struct range

     

       769
       +
       +    {

     

       770
       +
       +      iter begin() const

     

       771
       +
       +      {

     

       772
       +
       +        return {0};

     

       773
       +
       +      }

     

       774
       +
       +

     

       775
       +
       +      sentinel end() const

     

       776
       +
       +      {

     

       777
       +
       +        return {5};

     

       778
       +
       +      }

     

       779
       +
       +    };

     

       780
       +
       +

     

       781
       +
       +    void f()

     

       782
       +
       +    {

     

       783
       +
       +      range r {};

     

       784
       +
       +

     

       785
       +
       +      for (auto i : r)

     

       786
       +
       +      {

     

       787
       +
       +        [[maybe_unused]] auto v = i;

     

       788
       +
       +      }

     

       789
       +
       +    }

     

       790
       +
       +

     

       791
       +
       +  }

     

       792
       +
       +

     

       793
       +
       +  namespace test_lambda_capture_asterisk_this_by_value

     

       794
       +
       +  {

     

       795
       +
       +

     

       796
       +
       +    struct t

     

       797
       +
       +    {

     

       798
       +
       +      int i;

     

       799
       +
       +      int foo()

     

       800
       +
       +      {

     

       801
       +
       +        return [*this]()

     

       802
       +
       +        {

     

       803
       +
       +          return i;

     

       804
       +
       +        }();

     

       805
       +
       +      }

     

       806
       +
       +    };

     

       807
       +
       +

     

       808
       +
       +  }

     

       809
       +
       +

     

       810
       +
       +  namespace test_enum_class_construction

     

       811
       +
       +  {

     

       812
       +
       +

     

       813
       +
       +    enum class byte : unsigned char

     

       814
       +
       +    {};

     

       815
       +
       +

     

       816
       +
       +    byte foo {42};

     

       817
       +
       +

     

       818
       +
       +  }

     

       819
       +
       +

     

       820
       +
       +  namespace test_constexpr_if

     

       821
       +
       +  {

     

       822
       +
       +

     

       823
       +
       +    template <bool cond>

     

       824
       +
       +    int f ()

     

       825
       +
       +    {

     

       826
       +
       +      if constexpr(cond)

     

       827
       +
       +      {

     

       828
       +
       +        return 13;

     

       829
       +
       +      }

     

       830
       +
       +      else

     

       831
       +
       +      {

     

       832
       +
       +        return 42;

     

       833
       +
       +      }

     

       834
       +
       +    }

     

       835
       +
       +

     

       836
       +
       +  }

     

       837
       +
       +

     

       838
       +
       +  namespace test_selection_statement_with_initializer

     

       839
       +
       +  {

     

       840
       +
       +

     

       841
       +
       +    int f()

     

       842
       +
       +    {

     

       843
       +
       +      return 13;

     

       844
       +
       +    }

     

       845
       +
       +

     

       846
       +
       +    int f2()

     

       847
       +
       +    {

     

       848
       +
       +      if (auto i = f(); i > 0)

     

       849
       +
       +      {

     

       850
       +
       +        return 3;

     

       851
       +
       +      }

     

       852
       +
       +

     

       853
       +
       +      switch (auto i = f(); i + 4)

     

       854
       +
       +      {

     

       855
       +
       +      case 17:

     

       856
       +
       +        return 2;

     

       857
       +
       +

     

       858
       +
       +      default:

     

       859
       +
       +        return 1;

     

       860
       +
       +      }

     

       861
       +
       +    }

     

       862
       +
       +

     

       863
       +
       +  }

     

       864
       +
       +

     

       865
       +
       +  namespace test_template_argument_deduction_for_class_templates

     

       866
       +
       +  {

     

       867
       +
       +

     

       868
       +
       +    template <typename T1, typename T2>

     

       869
       +
       +    struct pair

     

       870
       +
       +    {

     

       871
       +
       +      pair (T1 p1, T2 p2)

     

       872
       +
       +        : m1 {p1},

     

       873
       +
       +          m2 {p2}

     

       874
       +
       +      {}

     

       875
       +
       +

     

       876
       +
       +      T1 m1;

     

       877
       +
       +      T2 m2;

     

       878
       +
       +    };

     

       879
       +
       +

     

       880
       +
       +    void f()

     

       881
       +
       +    {

     

       882
       +
       +      [[maybe_unused]] auto p = pair{13, 42u};

     

       883
       +
       +    }

     

       884
       +
       +

     

       885
       +
       +  }

     

       886
       +
       +

     

       887
       +
       +  namespace test_non_type_auto_template_parameters

     

       888
       +
       +  {

     

       889
       +
       +

     

       890
       +
       +    template <auto n>

     

       891
       +
       +    struct B

     

       892
       +
       +    {};

     

       893
       +
       +

     

       894
       +
       +    B<5> b1;

     

       895
       +
       +    B<'a'> b2;

     

       896
       +
       +

     

       897
       +
       +  }

     

       898
       +
       +

     

       899
       +
       +  namespace test_structured_bindings

     

       900
       +
       +  {

     

       901
       +
       +

     

       902
       +
       +    int arr[2] = { 1, 2 };

     

       903
       +
       +    std::pair<int, int> pr = { 1, 2 };

     

       904
       +
       +

     

       905
       +
       +    auto f1() -> int(&)[2]

     

       906
       +
       +    {

     

       907
       +
       +      return arr;

     

       908
       +
       +    }

     

       909
       +
       +

     

       910
       +
       +    auto f2() -> std::pair<int, int>&

     

       911
       +
       +    {

     

       912
       +
       +      return pr;

     

       913
       +
       +    }

     

       914
       +
       +

     

       915
       +
       +    struct S

     

       916
       +
       +    {

     

       917
       +
       +      int x1 : 2;

     

       918
       +
       +      volatile double y1;

     

       919
       +
       +    };

     

       920
       +
       +

     

       921
       +
       +    S f3()

     

       922
       +
       +    {

     

       923
       +
       +      return {};

     

       924
       +
       +    }

     

       925
       +
       +

     

       926
       +
       +    auto [ x1, y1 ] = f1();

     

       927
       +
       +    auto& [ xr1, yr1 ] = f1();

     

       928
       +
       +    auto [ x2, y2 ] = f2();

     

       929
       +
       +    auto& [ xr2, yr2 ] = f2();

     

       930
       +
       +    const auto [ x3, y3 ] = f3();

     

       931
       +
       +

     

       932
       +
       +  }

     

       933
       +
       +

     

       934
       +
       +  namespace test_exception_spec_type_system

     

       935
       +
       +  {

     

       936
       +
       +

     

       937
       +
       +    struct Good {};

     

       938
       +
       +    struct Bad {};

     

       939
       +
       +

     

       940
       +
       +    void g1() noexcept;

     

       941
       +
       +    void g2();

     

       942
       +
       +

     

       943
       +
       +    template<typename T>

     

       944
       +
       +    Bad

     

       945
       +
       +    f(T*, T*);

     

       946
       +
       +

     

       947
       +
       +    template<typename T1, typename T2>

     

       948
       +
       +    Good

     

       949
       +
       +    f(T1*, T2*);

     

       950
       +
       +

     

       951
       +
       +    static_assert (std::is_same_v<Good, decltype(f(g1, g2))>);

     

       952
       +
       +

     

       953
       +
       +  }

     

       954
       +
       +

     

       955
       +
       +  namespace test_inline_variables

     

       956
       +
       +  {

     

       957
       +
       +

     

       958
       +
       +    template<class T> void f(T)

     

       959
       +
       +    {}

     

       960
       +
       +

     

       961
       +
       +    template<class T> inline T g(T)

     

       962
       +
       +    {

     

       963
       +
       +      return T{};

     

       964
       +
       +    }

     

       965
       +
       +

     

       966
       +
       +    template<> inline void f<>(int)

     

       967
       +
       +    {}

     

       968
       +
       +

     

       969
       +
       +    template<> int g<>(int)

     

       970
       +
       +    {

     

       971
       +
       +      return 5;

     

       972
       +
       +    }

     

       973
       +
       +

     

       974
       +
       +  }

     

       975
       +
       +

     

       976
       +
       +}  // namespace cxx17

     

       977
       +
       +

     

       978
       +
       +#endif  // __cplusplus < 201703L

     

       979
       +
       +

     

       980
       +
       +]])

     

       981
       +
       -- 

     

       982
       +
       2.28.0

     

       983
       +

+46

packages/gappa/gappa.1.4.1/opam

···

       1
       +
       opam-version: "2.0"

     

       2
       +
       maintainer: "7895506+MSoegtropIMC@users.noreply.github.com"

     

       3
       +
       authors: "Guillaume Melquiond"

     

       4
       +
       bug-reports: "https://gitlab.inria.fr/gappa/gappa/-/issues"

     

       5
       +
       homepage: "https://gitlab.inria.fr/gappa/gappa"

     

       6
       +
       dev-repo: "git+https://gitlab.inria.fr/gappa/gappa.git"

     

       7
       +
       license: "CECILL-2.1"

     

       8
       +
       patches: [

     

       9
       +
         "0001-Added-configure-for-c-11.patch"

     

       10
       +
       ]

     

       11
       +
       build: [

     

       12
       +
         [ "autoreconf" ]

     

       13
       +
         # Note: configure.in seems to reference this file

     

       14
       +
         [ "touch" "stamp-config_h.in" ]

     

       15
       +
         [ "./configure"

     

       16
       +
           # If someone knows how to ask MacPorts for the usual include and lib path, please tell me

     

       17
       +
           "CXXFLAGS=-I/opt/local/include" { os-distribution = "macports" & os = "macos" }

     

       18
       +
           "LDFLAGS=-L/opt/local/lib" { os-distribution = "macports" & os = "macos" }

     

       19
       +
           # Support installing on Apple Silicon with Homebrew

     

       20
       +
           "CXXFLAGS=-I/opt/homebrew/include" { os-distribution = "homebrew" & os = "macos" & arch = "arm64"}

     

       21
       +
           "LDFLAGS=-L/opt/homebrew/lib" { os-distribution = "homebrew" & os = "macos" & arch = "arm64"}

     

       22
       +
           # Support for windows

     

       23
       +
           "--build=%{arch}%-pc-cygwin" { os = "win32" & os-distribution = "cygwinports" }

     

       24
       +
           "--host=%{arch}%-w64-mingw32" { os = "win32" & os-distribution = "cygwinports" }

     

       25
       +
           "--target=%{arch}%-w64-mingw32" { os = "win32" & os-distribution = "cygwinports" }

     

       26
       +
           "--prefix=%{prefix}%" 

     

       27
       +
         ]

     

       28
       +
         [ "./remake" "--jobs=%{jobs}%" ]

     

       29
       +
       ]

     

       30
       +
       install: [ "./remake" "-d" "install" ]

     

       31
       +
       depends: [

     

       32
       +
         "conf-g++" {build}

     

       33
       +
         "conf-autoconf" {build}

     

       34
       +
         "conf-automake" {build}

     

       35
       +
         "conf-gmp"

     

       36
       +
         "conf-mpfr"

     

       37
       +
         "conf-boost"

     

       38
       +
         "conf-bison" {build}

     

       39
       +
         "conf-flex" {build}

     

       40
       +
       ]

     

       41
       +
       synopsis: "Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic"

     

       42
       +
       available: os-family != "alpine"

     

       43
       +
       url {

     

       44
       +
         src: "https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.4.1.tar.gz"

     

       45
       +
         checksum: "sha512=c881eb35ad867320c2232c200dde66149fcd8a27972b8dfac1256a477a53e1885a7f89f82e70dbef553ce152e4afb0778bc347ed28cd4d698a1a69e308114aa2"

     

       46
       +
       }