Ticket #13330: spkg.diff

File spkg.diff, 1.6 KB (added by jpflori, 7 years ago)

Spkg diff, for review only.

  • .hgtags

    diff -r f0a6ad310c18 .hgtags
    a b  
    550a41ac88c1307e6c598f58c5b46f5f1f99d157ea flint-1.5.0.p9
    667adffda1e66ce34c2d455199bd291387186b0a6f flint-1.5.0.p10
    77656f6d57230818d5ce03ca61ecaef2d43c13db5f flint-1.5.2.p0
     877769b7e66c5c49c17b0e6ff5f5f7e864b87321c flint-1.5.2.p1
  • SPKG.txt

    diff -r f0a6ad310c18 SPKG.txt
    a b  
    3636
    3737== Changelog ==
    3838
     39=== flint-1.5.2.p1 (Jean-Pierre Flori, 3 August 2012) ===
     40  * #13330: Pass --binary flag to patch on Cygwin to deal with file terminators
     41            mess.
     42
    3943=== flint-1.5.2.p0 (Dima Pasechnik, March 24th 2012) ===
    4044  * bumped up the version to reflect the fact that we patch the source
    4145
    4246=== flint-1.5.2 (Julien Puydt, William Stein, December 21st 2011) ===
    4347  * #10328: enable ARM support; longlong.patch removes non-working
    4448    asm code for 32-bit ARM
    45  
     49
    4650=== flint-1.5.0.p10 (Leif Leonhardy, October 11th 2011) ===
    4751  * #9858: Add an upstream patch from FLINT 1.5.2 to make FLINT's test suite
    4852    build (when `SAGE_CHECK=yes`) with MPIR 1.3.x, 2.x (cf. #8664) and GMP 5.x.
  • spkg-install

    diff -r f0a6ad310c18 spkg-install
    a b  
    7474export FLINT_LINK_OPTIONS
    7575
    7676# Apply all patches
     77if [ $UNAME = "CYGWIN" ]; then
     78    PATCH_FLAG=--binary
     79fi
    7780cd src
    7881echo "Patching Flint"
    7982for p in ../patches/*.patch; do 
    80     patch -p1 <"$p"
     83    patch $PATCH_FLAG -p1 <"$p"
    8184    if [ $? -ne 0 ]; then
    8285        echo "Applying patch $p failed"
    8386        exit 1