===================================================================
RCS file: /home/cvs/OpenXM/src/ox_pari/configure,v
retrieving revision 1.2
retrieving revision 1.4
diff -u -p -r1.2 -r1.4
--- OpenXM/src/ox_pari/configure	2016/09/22 17:12:51	1.2
+++ OpenXM/src/ox_pari/configure	2018/06/07 04:49:12	1.4
@@ -587,6 +587,7 @@ am__EXEEXT_TRUE
 LTLIBOBJS
 LIBOBJS
 OXLIBS
+LN_S
 am__fastdepCC_FALSE
 am__fastdepCC_TRUE
 CCDEPMODE
@@ -3705,7 +3706,18 @@ fi
 
 
 
+{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether ln -s works" >&5
+$as_echo_n "checking whether ln -s works... " >&6; }
+LN_S=$as_ln_s
+if test "$LN_S" = "ln -s"; then
+  { $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
+$as_echo "yes" >&6; }
+else
+  { $as_echo "$as_me:${as_lineno-$LINENO}: result: no, using $LN_S" >&5
+$as_echo "no, using $LN_S" >&6; }
+fi
 
+
 # Check whether --enable-shared was given.
 if test "${enable_shared+set}" = set; then :
   enableval=$enable_shared;
@@ -3723,8 +3735,6 @@ if test "${enable_shared}" = no ; then
     OXLIBS='${libdir}/libox.a ${libdir}/libmpfr.a ${libdir}/libgmp.a ${libdir}/libgc.a ${libdir}/libpari.a'
 fi
 
-
-$as_echo "#define _POSIX_C_SOURCE 1" >>confdefs.h