===================================================================
RCS file: /home/cvs/OpenXM/src/ox_pari/configure,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/src/ox_pari/configure	2016/09/22 17:12:51	1.2
+++ OpenXM/src/ox_pari/configure	2016/09/26 13:05:17	1.3
@@ -587,6 +587,7 @@ am__EXEEXT_TRUE
 LTLIBOBJS
 LIBOBJS
 OXLIBS
+LN_S
 am__fastdepCC_FALSE
 am__fastdepCC_TRUE
 CCDEPMODE
@@ -3704,6 +3705,17 @@ else
 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.