Dima Pasechnik wrote:
On 2014-04-10, leif <not.rea...@online.de> wrote:

[...]

Yep, it doesn't "figure it out", it hardcodes 'libtool' on Darwin:

          ix86Mac-darwin)
            AC_CHECK_LIB(dl, dlopen)
            if test "$ac_cv_lib_dl_dlopen" = yes; then
                  LD_DYN_FLAGS1="-dynamic"
                  LD_DYN_FLAGS2="-ldl"
                  SFLAGS="-fpic -DPIC"
                  SLDFLAGS="-dynamic -twolevel_namespace
-weak_reference_mismatches weak -undefined dynamic_lookup"
                  if test "${LD+set}" != set; then
                    LD=libtool
                  fi
                  ac_lib_dl=yes
            fi
          ;;
          x86_64Mac-darwin)
            AC_CHECK_LIB(dl, dlopen)
             if test "$ac_cv_lib_dl_dlopen" = yes; then
                  LD_DYN_FLAGS1="-dynamic"
                  LD_DYN_FLAGS2="-ldl"
                  SFLAGS="-fpic -DPIC"
                  SLDFLAGS="-dynamic -twolevel_namespace
-weak_reference_mismatches weak -undefined dynamic_lookup"
                   if test "${LD+set}" != set; then
                    LD=libtool
                   fi
                  ac_lib_dl=yes
            fi
          ;;

... but only in singular-3.1.6.p1/src/latest/Singular/configure.in.


So I'd say blindly using 'libtool' (and assuming it is Apple's) is an
upstream bug.

Why do they use this osx-specific hack, I wonder?
They still don't use autoconf/automake, do they?

They of course do use autoconf, but not automake (nor libtool[ize]).

No idea why they use libtool (rather than GCC/g++) just there for linking; probably some relict...


-leif

--
() The ASCII Ribbon Campaign
/\   Help Cure HTML E-Mail

--
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to