commit 55f5bd54b38b7ec9f89078f66a382998d4760bc9 · anil.recoil.org/opam-repository

+182

packages/why3/why3.1.6.0/files/cygwin.patch

···

       181
       181
        
                    if test -z "$DIR"; then

     

       182
       182
        
                       AC_MSG_RESULT([no])

     

       183
       183
        
                       enable_pp_sexp=no

     

       184
       184
       +
       --- a/configure

     

       185
       185
       +
       +++ b/configure

     

       186
       186
       +
       @@ -4564,7 +4564,7 @@

     

       187
       187
       +
           if test "$OCAMLFIND" = no; then

     

       188
       188
       +
              reason_ocamlfind=" (not found)"

     

       189
       189
       +
           else

     

       190
       190
       +
       -      OCAMLFINDLIB=$(ocamlfind printconf stdlib)

     

       191
       191
       +
       +      OCAMLFINDLIB=$(ocamlfind printconf stdlib | tr -d '\r')

     

       192
       192
       +
              if test "$OCAMLFINDLIB" != "$OCAMLLIB"; then

     

       193
       193
       +
                 found_ocamlfind=no

     

       194
       194
       +
                 reason_ocamlfind=" (incompatible with OCaml)"

     

       195
       195
       +
       @@ -4585,7 +4585,7 @@

     

       196
       196
       +
        

     

       197
       197
       +
        if test "$enable_ocamlfind" != no; then

     

       198
       198
       +
           #if ocamlfind is used it gives the install path for ocaml library

     

       199
       199
       +
       -   OCAMLINSTALLLIB=$($OCAMLFIND printconf destdir)

     

       200
       200
       +
       +   OCAMLINSTALLLIB=$($OCAMLFIND printconf destdir | tr -d '\r')

     

       201
       201
       +
           enable_ocamlfind=yes

     

       202
       202
       +
        else

     

       203
       203
       +
           OCAMLINSTALLLIB=$OCAMLLIB

     

       204
       204
       +
       @@ -4601,7 +4601,7 @@

     

       205
       205
       +
           WHY3LIB=why3

     

       206
       206
       +
           { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking for Why3 using ocamlfind" >&5

     

       207
       207
       +
        printf %s "checking for Why3 using ocamlfind... " >&6; }

     

       208
       208
       +
       -   DIR=$($OCAMLFIND query why3 2> /dev/null)

     

       209
       209
       +
       +   DIR=$($OCAMLFIND query why3 | tr -d '\r' 2> /dev/null)

     

       210
       210
       +
           if test -n "$DIR"; then

     

       211
       211
       +
              { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: yes" >&5

     

       212
       212
       +
        printf "%s\n" "yes" >&6; }

     

       213
       213
       +
       @@ -4623,7 +4623,7 @@

     

       214
       214
       +
        if test "$enable_ocamlfind" = yes; then

     

       215
       215
       +
          { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking for compiler-libs using ocamlfind" >&5

     

       216
       216
       +
        printf %s "checking for compiler-libs using ocamlfind... " >&6; }

     

       217
       217
       +
       -  COMPILERLIBS=$($OCAMLFIND query compiler-libs 2> /dev/null)

     

       218
       218
       +
       +  COMPILERLIBS=$($OCAMLFIND query compiler-libs | tr -d '\r' 2> /dev/null)

     

       219
       219
       +
          if test -n "$COMPILERLIBS"; then

     

       220
       220
       +
            { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: yes" >&5

     

       221
       221
       +
        printf "%s\n" "yes" >&6; }

     

       222
       222
       +
       @@ -4810,7 +4810,7 @@

     

       223
       223
       +
        if test "$enable_ocamlfind" = yes; then

     

       224
       224
       +
           { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking for num using ocamlfind" >&5

     

       225
       225
       +
        printf %s "checking for num using ocamlfind... " >&6; }

     

       226
       226
       +
       -   DIR=$($OCAMLFIND query num 2> /dev/null)

     

       227
       227
       +
       +   DIR=$($OCAMLFIND query num | tr -d '\r' 2> /dev/null)

     

       228
       228
       +
           if test -z "$DIR"; then

     

       229
       229
       +
              { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: no" >&5

     

       230
       230
       +
        printf "%s\n" "no" >&6; }

     

       231
       231
       +
       @@ -4940,7 +4940,7 @@

     

       232
       232
       +
           if test "$enable_ocamlfind" = yes; then

     

       233
       233
       +
              { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking for zarith using ocamlfind" >&5

     

       234
       234
       +
        printf %s "checking for zarith using ocamlfind... " >&6; }

     

       235
       235
       +
       -      DIR=$($OCAMLFIND query zarith 2> /dev/null)

     

       236
       236
       +
       +      DIR=$($OCAMLFIND query zarith | tr -d '\r' 2> /dev/null)

     

       237
       237
       +
              if test -n "$DIR"; then

     

       238
       238
       +
                 { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: yes" >&5

     

       239
       239
       +
        printf "%s\n" "yes" >&6; }

     

       240
       240
       +
       @@ -5031,7 +5031,7 @@

     

       241
       241
       +
        if test "$enable_bddinfer" = yes; then

     

       242
       242
       +
           if test "$enable_ocamlfind" = yes; then

     

       243
       243
       +
              # gmp is a dependency of apron

     

       244
       244
       +
       -      INFERINCLUDE=$($OCAMLFIND query -separator ' ' -i-format apron 2> /dev/null)

     

       245
       245
       +
       +      INFERINCLUDE=$($OCAMLFIND query -separator ' ' -i-format apron | tr -d '\r' 2> /dev/null)

     

       246
       246
       +
           fi

     

       247
       247
       +
           if test -n "$INFERINCLUDE"; then

     

       248
       248
       +
              echo "ocamlfind found apron in $INFERINCLUDE"

     

       249
       249
       +
       @@ -5051,14 +5051,14 @@

     

       250
       250
       +
        if test "$enable_infer" = yes; then

     

       251
       251
       +
           if test "$enable_ocamlfind" = yes; then

     

       252
       252
       +
              # gmp is a dependency of apron

     

       253
       253
       +
       -      INFERINCLUDE=$($OCAMLFIND query apron camllib 2> /dev/null)

     

       254
       254
       +
       +      INFERINCLUDE=$($OCAMLFIND query apron camllib | tr -d '\r' 2> /dev/null)

     

       255
       255
       +
           fi

     

       256
       256
       +
           if test -n "$INFERINCLUDE"; then

     

       257
       257
       +
              echo "ocamlfind found apron, camllib in $INFERINCLUDE"

     

       258
       258
       +
       -      INFERINCLUDE=$($OCAMLFIND query fixpoint 2> /dev/null)

     

       259
       259
       +
       +      INFERINCLUDE=$($OCAMLFIND query fixpoint | tr -d '\r' 2> /dev/null)

     

       260
       260
       +
              if test -n "$INFERINCLUDE"; then

     

       261
       261
       +
                 echo "ocamlfind found fixpoint in $INFERINCLUDE"

     

       262
       262
       +
       -         INFERINCLUDE="$($OCAMLFIND query -separator ' ' -i-format apron fixpoint camllib gmp 2> /dev/null)"

     

       263
       263
       +
       +         INFERINCLUDE="$($OCAMLFIND query -separator ' ' -i-format apron fixpoint camllib gmp | tr -d '\r' 2> /dev/null)"

     

       264
       264
       +
                 INFERLIB="apron fixpoint"

     

       265
       265
       +
                 INFERPKG="apron fixpoint apron.boxMPQ apron.octMPQ apron.polkaMPQ"

     

       266
       266
       +
              else

     

       267
       267
       +
       @@ -5086,7 +5086,7 @@

     

       268
       268
       +
           if test "$enable_ocamlfind" = yes; then

     

       269
       269
       +
              { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking for camlzip using ocamlfind" >&5

     

       270
       270
       +
        printf %s "checking for camlzip using ocamlfind... " >&6; }

     

       271
       271
       +
       -      DIR=$($OCAMLFIND query zip 2> /dev/null)

     

       272
       272
       +
       +      DIR=$($OCAMLFIND query zip | tr -d '\r' 2> /dev/null)

     

       273
       273
       +
              if test -n "$DIR"; then

     

       274
       274
       +
                 { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: yes" >&5

     

       275
       275
       +
        printf "%s\n" "yes" >&6; }

     

       276
       276
       +
       @@ -5177,7 +5177,7 @@

     

       277
       277
       +
        if test "$enable_ocamlfind" = yes; then

     

       278
       278
       +
           { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking for menhirLib using ocamlfind" >&5

     

       279
       279
       +
        printf %s "checking for menhirLib using ocamlfind... " >&6; }

     

       280
       280
       +
       -   DIR=$($OCAMLFIND query menhirLib 2> /dev/null)

     

       281
       281
       +
       +   DIR=$($OCAMLFIND query menhirLib | tr -d '\r' 2> /dev/null)

     

       282
       282
       +
           if test -n "$DIR"; then

     

       283
       283
       +
              { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: yes" >&5

     

       284
       284
       +
        printf "%s\n" "yes" >&6; }

     

       285
       285
       +
       @@ -5280,7 +5280,7 @@

     

       286
       286
       +
           if test "$enable_ocamlfind" = yes; then

     

       287
       287
       +
              { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking for re using ocamlfind" >&5

     

       288
       288
       +
        printf %s "checking for re using ocamlfind... " >&6; }

     

       289
       289
       +
       -      DIR=$($OCAMLFIND query re 2> /dev/null)

     

       290
       290
       +
       +      DIR=$($OCAMLFIND query re | tr -d '\r' 2> /dev/null)

     

       291
       291
       +
              if test -n "$DIR"; then

     

       292
       292
       +
                 { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: yes" >&5

     

       293
       293
       +
        printf "%s\n" "yes" >&6; }

     

       294
       294
       +
       @@ -5381,7 +5381,7 @@

     

       295
       295
       +
        if test "$enable_ide" != no; then

     

       296
       296
       +
           { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking for lablgtk3 using ocamlfind" >&5

     

       297
       297
       +
        printf %s "checking for lablgtk3 using ocamlfind... " >&6; }

     

       298
       298
       +
       -   DIR=$($OCAMLFIND query lablgtk3 2> /dev/null)

     

       299
       299
       +
       +   DIR=$($OCAMLFIND query lablgtk3 | tr -d '\r' 2> /dev/null)

     

       300
       300
       +
           if test -n "$DIR"; then

     

       301
       301
       +
              { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: yes" >&5

     

       302
       302
       +
        printf "%s\n" "yes" >&6; }

     

       303
       303
       +
       @@ -5428,7 +5428,7 @@

     

       304
       304
       +
           for p in $PKGS_SOURCEVIEW; do

     

       305
       305
       +
              { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking for $p using ocamlfind" >&5

     

       306
       306
       +
        printf %s "checking for $p using ocamlfind... " >&6; }

     

       307
       307
       +
       -      DIR=$($OCAMLFIND query $p 2> /dev/null)

     

       308
       308
       +
       +      DIR=$($OCAMLFIND query $p | tr -d '\r' 2> /dev/null)

     

       309
       309
       +
              if test -n "$DIR"; then

     

       310
       310
       +
                 { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: yes" >&5

     

       311
       311
       +
        printf "%s\n" "yes" >&6; }

     

       312
       312
       +
       @@ -5502,7 +5502,7 @@

     

       313
       313
       +
           if test "$enable_ocamlfind" = yes; then

     

       314
       314
       +
              { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking for ocamlgraph using ocamlfind" >&5

     

       315
       315
       +
        printf %s "checking for ocamlgraph using ocamlfind... " >&6; }

     

       316
       316
       +
       -      DIR=$($OCAMLFIND query ocamlgraph 2> /dev/null)

     

       317
       317
       +
       +      DIR=$($OCAMLFIND query ocamlgraph | tr -d '\r' 2> /dev/null)

     

       318
       318
       +
              if test -n "$DIR"; then

     

       319
       319
       +
                 { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: yes" >&5

     

       320
       320
       +
        printf "%s\n" "yes" >&6; }

     

       321
       321
       +
       @@ -5625,7 +5625,7 @@

     

       322
       322
       +
           found_mlmpfr=yes

     

       323
       323
       +
           { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking for mlmpfr" >&5

     

       324
       324
       +
        printf %s "checking for mlmpfr... " >&6; }

     

       325
       325
       +
       -   DIR=$($OCAMLFIND query mlmpfr 2> /dev/null)

     

       326
       326
       +
       +   DIR=$($OCAMLFIND query mlmpfr | tr -d '\r' 2> /dev/null)

     

       327
       327
       +
           if test -n "$DIR"; then

     

       328
       328
       +
              { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: yes" >&5

     

       329
       329
       +
        printf "%s\n" "yes" >&6; }

     

       330
       330
       +
       @@ -5633,7 +5633,7 @@

     

       331
       331
       +
              echo "ocamlfind found mlmpfr in $DIR"

     

       332
       332
       +
              # Test that MPFR version is higher than 4.0.0 (because of

     

       333
       333
       +
              # Faithful constructor incompatibility).

     

       334
       334
       +
       -      MPFRVERSION=$($OCAMLFIND query -format "%v" mlmpfr 2> /dev/null)

     

       335
       335
       +
       +      MPFRVERSION=$($OCAMLFIND query -format "%v" mlmpfr | tr -d '\r' 2> /dev/null)

     

       336
       336
       +
              as_arg_v1=$MPFRVERSION

     

       337
       337
       +
        as_arg_v2=4.0.0

     

       338
       338
       +
        awk "$as_awk_strverscmp" v1="$as_arg_v1" v2="$as_arg_v2" /dev/null

     

       339
       339
       +
       @@ -5732,7 +5732,7 @@

     

       340
       340
       +
           for p in js_of_ocaml js_of_ocaml-ppx; do

     

       341
       341
       +
              { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking for $p" >&5

     

       342
       342
       +
        printf %s "checking for $p... " >&6; }

     

       343
       343
       +
       -      DIR=$($OCAMLFIND query $p 2> /dev/null)

     

       344
       344
       +
       +      DIR=$($OCAMLFIND query $p | tr -d '\r' 2> /dev/null)

     

       345
       345
       +
              if test -z "$DIR"; then

     

       346
       346
       +
                 { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: no" >&5

     

       347
       347
       +
        printf "%s\n" "no" >&6; }

     

       348
       348
       +
       @@ -5777,7 +5777,7 @@

     

       349
       349
       +
              enable_statmemprof=no

     

       350
       350
       +
              reason_statmemprof=" (ocamlfind not available)"

     

       351
       351
       +
           else

     

       352
       352
       +
       -      DIR=$($OCAMLFIND query statmemprof-emacs 2> /dev/null)

     

       353
       353
       +
       +      DIR=$($OCAMLFIND query statmemprof-emacs | tr -d '\r' 2> /dev/null)

     

       354
       354
       +
              if test -z "$DIR"; then

     

       355
       355
       +
                 enable_statmemprof=no

     

       356
       356
       +
                 reason_statmemprof=" (statmemprof-emacs not found)"

     

       357
       357
       +
       @@ -5802,7 +5802,7 @@

     

       358
       358
       +
                for p in ppx_sexp_conv sexplib ppx_deriving; do

     

       359
       359
       +
                    { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking for $p using ocamlfind" >&5

     

       360
       360
       +
        printf %s "checking for $p using ocamlfind... " >&6; }

     

       361
       361
       +
       -            DIR=$($OCAMLFIND query $p 2> /dev/null)

     

       362
       362
       +
       +            DIR=$($OCAMLFIND query $p | tr -d '\r' 2> /dev/null)

     

       363
       363
       +
                    if test -z "$DIR"; then

     

       364
       364
       +
                       { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: no" >&5

     

       365
       365
       +
        printf "%s\n" "no" >&6; }

+1 -1

packages/why3/why3.1.6.0/opam

···

       89
       89
        
         src: "https://why3.gitlabpages.inria.fr/releases/why3-1.6.0.tar.gz"

     

       90
       90
        
         checksum: "md5=6b449abe1e485d6f3c12f81c59fc186c"

     

       91
       91
        
       }

     

       92
       92
       -
       extra-files: ["cygwin.patch" "md5=d504655e514600d73037c9dc06004888"]

     

       92
       92
       +
       extra-files: ["cygwin.patch" "md5=5881d999e32a57b9d9f234139be4144e"]