Ticket #12173: dylib.diff

File dylib.diff, 1.6 KB (added by jpflori, 9 years ago)

Fix for darwin, spkg diff, only for review.

  • SPKG.txt

    diff --git a/SPKG.txt b/SPKG.txt
    a b  
    2626 * MPFR
    2727 * NTL
    2828
     29== Patches ==
     30
     31 * dylib.patch: patch configure so that the shared library is called
     32   libflint.dylib on Darwin.
     33
    2934== Changelog ==
    3035
    31 === flint-2.3 (Mike Hansen, Fredrik Johansson, Jean-Pierre Flori, May-November 2012) ===
     36=== flint-2.3 (Mike Hansen, Fredrik Johansson, Jean-Pierre Flori, May 2012-March 2013) ===
    3237  * Trac #12173: Update FLINT to version 2.3.
    3338  * Removed obsolete patches.
    3439  * Cleanup spkg-install and spkg-check scripts.
    3540  * Removed Cygwin hack for libntl.a made useless by #9050.
    3641  * Removed now useless patch --binary flag on Cygwin.
    3742  * Only build shared library on Cygwin.
     43  * Add dylib.patch to make sure the shared library is called libflint.dylib
     44    on Darwin.
    3845
    3946=== flint-1.5.2.p2 (Paul-Olivier Dehaye, 16 October 2012) ===
    4047  * #9697: Remove the file 'src/zn_poly/demo/bernoulli/.DS_Store'
  • new file patches/dylib.patch

    diff --git a/patches/dylib.patch b/patches/dylib.patch
    new file mode 100644
    - +  
     1diff -druN src.orig/configure src/configure
     2--- src.orig/configure  2012-11-09 21:42:47.000000000 +0100
     3+++ src/configure       2013-03-06 18:21:03.644037750 +0100
     4@@ -225,12 +225,7 @@
     5 if [ -z "$FLINT_LIB" ]; then
     6    case $OS in
     7       Darwin)
     8-         case $MACHINE in
     9-            *64)
     10-               FLINT_LIB="libflint.dylib64";;
     11-            *)
     12-               FLINT_LIB="libflint.dylib";;
     13-         esac;;
     14+         FLINT_LIB="libflint.dylib";;
     15       CYGWIN | MINGW*)
     16          FLINT_LIB="libflint.dll";;
     17       *)