--- rpl/Attic/configure	2011/09/16 14:42:01	1.80
+++ rpl/Attic/configure	2011/09/26 15:57:34	1.86
@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.68 for rpl 4.1.3.
+# Generated by GNU Autoconf 2.68 for rpl 4.1.4.
 #
 #
 # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001,
@@ -557,8 +557,8 @@ MAKEFLAGS=
 # Identity of this package.
 PACKAGE_NAME='rpl'
 PACKAGE_TARNAME='rpl'
-PACKAGE_VERSION='4.1.3'
-PACKAGE_STRING='rpl 4.1.3'
+PACKAGE_VERSION='4.1.4'
+PACKAGE_STRING='rpl 4.1.4'
 PACKAGE_BUGREPORT=''
 PACKAGE_URL=''
 
@@ -619,6 +619,7 @@ FINAL_ENCODING
 SIGSEGV
 BUILD_OPENMOTIF
 OPENMOTIF
+LIBXPM
 OPENSSL
 SQLITE
 ICONV
@@ -1378,7 +1379,7 @@ if test "$ac_init_help" = "long"; then
   # Omit some internal or obsolete options to make the list less imposing.
   # This message is too long to be a string in the A/UX 3.1 sh.
   cat <<_ACEOF
-\`configure' configures rpl 4.1.3 to adapt to many kinds of systems.
+\`configure' configures rpl 4.1.4 to adapt to many kinds of systems.
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
@@ -1453,7 +1454,7 @@ fi
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
-     short | recursive ) echo "Configuration of rpl 4.1.3:";;
+     short | recursive ) echo "Configuration of rpl 4.1.4:";;
    esac
   cat <<\_ACEOF
 
@@ -1464,7 +1465,7 @@ Optional Features:
   --disable-dependency-tracking  speeds up one-time build
   --enable-dependency-tracking   do not reject slow dependency extractors
   --enable-optimization   set compiler flags [default=environment variables -O3]
-  --enable-sysv-ipcs      use SystemV IPC functions [default=no]
+  --enable-sysv-ipcs      use SystemV IPC functions [default=guessed]
   --enable-full-static    build static RPL/2 engine [default=shared]
   --enable-final-encoding force final encoding [default=guessed]
   --enable-tex            provide the TeX support [default=guessed]
@@ -1572,7 +1573,7 @@ fi
 test -n "$ac_init_help" && exit $ac_status
 if $ac_init_version; then
   cat <<\_ACEOF
-rpl configure 4.1.3
+rpl configure 4.1.4
 generated by GNU Autoconf 2.68
 
 Copyright (C) 2010 Free Software Foundation, Inc.
@@ -1888,6 +1889,48 @@ $as_echo "$ac_res" >&6; }
 
 } # ac_fn_c_check_func
 
+# ac_fn_c_try_run LINENO
+# ----------------------
+# Try to link conftest.$ac_ext, and return whether this succeeded. Assumes
+# that executables *can* be run.
+ac_fn_c_try_run ()
+{
+  as_lineno=${as_lineno-"$1"} as_lineno_stack=as_lineno_stack=$as_lineno_stack
+  if { { ac_try="$ac_link"
+case "(($ac_try" in
+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
+  *) ac_try_echo=$ac_try;;
+esac
+eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
+$as_echo "$ac_try_echo"; } >&5
+  (eval "$ac_link") 2>&5
+  ac_status=$?
+  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
+  test $ac_status = 0; } && { ac_try='./conftest$ac_exeext'
+  { { case "(($ac_try" in
+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
+  *) ac_try_echo=$ac_try;;
+esac
+eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
+$as_echo "$ac_try_echo"; } >&5
+  (eval "$ac_try") 2>&5
+  ac_status=$?
+  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
+  test $ac_status = 0; }; }; then :
+  ac_retval=0
+else
+  $as_echo "$as_me: program exited with status $ac_status" >&5
+       $as_echo "$as_me: failed program was:" >&5
+sed 's/^/| /' conftest.$ac_ext >&5
+
+       ac_retval=$ac_status
+fi
+  rm -rf conftest.dSYM conftest_ipa8_conftest.oo
+  eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno
+  as_fn_set_status $ac_retval
+
+} # ac_fn_c_try_run
+
 # ac_fn_c_check_type LINENO TYPE VAR INCLUDES
 # -------------------------------------------
 # Tests whether TYPE exists after having included INCLUDES, setting cache
@@ -1942,48 +1985,6 @@ $as_echo "$ac_res" >&6; }
 
 } # ac_fn_c_check_type
 
-# ac_fn_c_try_run LINENO
-# ----------------------
-# Try to link conftest.$ac_ext, and return whether this succeeded. Assumes
-# that executables *can* be run.
-ac_fn_c_try_run ()
-{
-  as_lineno=${as_lineno-"$1"} as_lineno_stack=as_lineno_stack=$as_lineno_stack
-  if { { ac_try="$ac_link"
-case "(($ac_try" in
-  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
-  *) ac_try_echo=$ac_try;;
-esac
-eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
-$as_echo "$ac_try_echo"; } >&5
-  (eval "$ac_link") 2>&5
-  ac_status=$?
-  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
-  test $ac_status = 0; } && { ac_try='./conftest$ac_exeext'
-  { { case "(($ac_try" in
-  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
-  *) ac_try_echo=$ac_try;;
-esac
-eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
-$as_echo "$ac_try_echo"; } >&5
-  (eval "$ac_try") 2>&5
-  ac_status=$?
-  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
-  test $ac_status = 0; }; }; then :
-  ac_retval=0
-else
-  $as_echo "$as_me: program exited with status $ac_status" >&5
-       $as_echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
-       ac_retval=$ac_status
-fi
-  rm -rf conftest.dSYM conftest_ipa8_conftest.oo
-  eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno
-  as_fn_set_status $ac_retval
-
-} # ac_fn_c_try_run
-
 # ac_fn_c_compute_int LINENO EXPR VAR INCLUDES
 # --------------------------------------------
 # Tries to find the compile-time value of EXPR in a program that includes
@@ -2283,7 +2284,7 @@ cat >config.log <<_ACEOF
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 
-It was created by rpl $as_me 4.1.3, which was
+It was created by rpl $as_me 4.1.4, which was
 generated by GNU Autoconf 2.68.  Invocation command line was
 
   $ $0 $@
@@ -3209,7 +3210,7 @@ fi
 
 # Define the identity of the package.
  PACKAGE='rpl'
- VERSION='4.1.3'
+ VERSION='4.1.4'
 
 
 cat >>confdefs.h <<_ACEOF
@@ -6003,9 +6004,99 @@ else
 	IPCS_SYSV=yes
 fi
 else
-  IPCS_SYSV=no
+  REG=$LDFLAGS
+LDFLAGS=-lrt
+{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for POSIX semaphores and shared objects" >&5
+$as_echo_n "checking for POSIX semaphores and shared objects... " >&6; }
+if test "$cross_compiling" = yes; then :
+  { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
+$as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
+as_fn_error $? "cannot run test program while cross compiling
+See \`config.log' for more details" "$LINENO" 5; }
+else
+  cat confdefs.h - <<_ACEOF >conftest.$ac_ext
+/* end confdefs.h.  */
+#include <sys/mman.h>
+#include <sys/stat.h>
+#include <fcntl.h>
+
+int
+main ()
+{
+ int fd; char *sem = "/test";
+fd = shm_open(sem , O_CREAT | O_RDWR, S_IRUSR | S_IWUSR);
+  close(fd);
+  shm_unlink(sem);
+  fd = sem_open(sem, O_CREAT | O_RDWR, S_IRUSR | S_IWUSR, 0);
+  close(fd);
+  sem_unlink(sem);
+  return(0);
+
+  ;
+  return 0;
+}
+_ACEOF
+if ac_fn_c_try_run "$LINENO"; then :
+  IPCS_SYSV=-UIPCS_SYSV; { $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
+$as_echo "yes" >&6; }
+else
+  IPCS_SYSV=-DIPCS_SYSV; { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
+$as_echo "no" >&6; }
+
+fi
+rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
+  conftest.$ac_objext conftest.beam conftest.$ac_ext
 fi
 
+LDFLAGS=$REG
+
+fi
+
+
+if test "$IPCS_SYSV" = "-UIPCS_SYSV"; then
+REG=$LDFLAGS
+LDFLAGS=-pthread
+{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for POSIX anonymous semaphores" >&5
+$as_echo_n "checking for POSIX anonymous semaphores... " >&6; }
+if test "$cross_compiling" = yes; then :
+  { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
+$as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
+as_fn_error $? "cannot run test program while cross compiling
+See \`config.log' for more details" "$LINENO" 5; }
+else
+  cat confdefs.h - <<_ACEOF >conftest.$ac_ext
+/* end confdefs.h.  */
+#include <semaphore.h>
+
+int
+main ()
+{
+ sem_t sem;
+ if (sem_init(&sem, 1, 0) != 0) return(1);
+ sem_destroy(&sem);
+  return(0);
+
+  ;
+  return 0;
+}
+_ACEOF
+if ac_fn_c_try_run "$LINENO"; then :
+  SEMAPHORES_NOMMES=-USEMAPHORES_NOMMES; { $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
+$as_echo "yes" >&6; }
+else
+  SEMAPHORES_NOMMES=-DSEMAPHORES_NOMMES; { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
+$as_echo "no" >&6; }
+
+fi
+rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
+  conftest.$ac_objext conftest.beam conftest.$ac_ext
+fi
+
+LDFLAGS=$REG
+REG=""
+else
+	SEMAPHORES_NOMMES=-USEMAPHORES_NOMMES
+fi
 
 # Check whether --enable-full-static was given.
 if test "${enable_full_static+set}" = set; then :
@@ -6271,6 +6362,8 @@ if test ! -d "$srcdir"/rplcas/$GIAC; the
 			(cd "$srcdir/rplcas" && tar -xf -)
 fi
 
+touch tools/openmotif.lib
+
 
 
 # Check whether --enable-final-run-path was given.
@@ -7776,7 +7869,8 @@ fi
 
 if test "x$with_bourne_shell" = xno; then
 	if test $(uname) = "OS/2"; then
-		as_fn_error $? "With OS/2 or eComstation, you have to specify a valide shell path !" "$LINENO" 5
+		as_fn_error $? "With OS/2 or eComstation, you have to specify a valide
+shell path with --with-bourne-shell=PATH !" "$LINENO" 5
 	fi
 
 	BSH_PATH=
@@ -9144,8 +9238,6 @@ case $OS in
     Darwin)
 		EXPORT_DYNAMIC=-Wl,-flat_namespace
 		NESTED_FUNCTIONS=-fnested-functions
-		SEMAPHORES_NOMMES=-DSEMAPHORES_NOMMES
-		IPCS_SYSV=-UIPCS_SYSV
 		CXXFLAGS="$CXXFLAGS -D_GLIBCXX_FULLY_DYNAMIC_STRING"
 		ac_configure_args="$ac_configure_args --with-readline=builtin \
 				--disable-shared --enable-static --enable-threads \
@@ -9159,8 +9251,6 @@ case $OS in
     Cygwin)
 		EXPORT_DYNAMIC=-Wl,--export-all-symbols
 		NESTED_FUNCTIONS=
-		SEMAPHORES_NOMMES=-USEMAPHORES_NOMMES
-		IPCS_SYSV=-UIPCS_SYSV
 		ac_configure_args="$ac_configure_args --with-readline=builtin \
 				--disable-shared --enable-static --enable-threads \
 				CFLAGS=\"$CFLAGS\" CXXFLAGS=\"$CXXFLAGS\" \
@@ -9173,8 +9263,6 @@ case $OS in
 	Interix)
 		EXPORT_DYNAMIC=-Wl,--export-all-symbols
 		NESTED_FUNCTIONS=
-		SEMAPHORES_NOMMES=-USEMAPHORES_NOMMES
-		IPCS_SYSV=-UIPCS_SYSV
 		ac_configure_args="$ac_configure_args --with-readline=builtin \
 				--disable-shared --enable-static --enable-threads \
 				CFLAGS=\"$CFLAGS\" CXXFLAGS=\"$CXXFLAGS\" \
@@ -9187,8 +9275,6 @@ case $OS in
     AIX)
 		EXPORT_DYNAMIC=-Wl,--export-dynamic
 		NESTED_FUNCTIONS=
-		SEMAPHORES_NOMMES=-DSEMAPHORES_NOMMES
-		IPCS_SYSV=-UIPCS_SYSV
 		ac_configure_args="$ac_configure_args --with-readline=builtin \
 				--disable-shared --enable-static --enable-threads \
 				CFLAGS=\"$CFLAGS\" CXXFLAGS=\"$CXXFLAGS\" \
@@ -9205,8 +9291,6 @@ case $OS in
 		OS=OS2
 		NESTED_FUNCTIONS=
 		EXPORT_DYNAMIC=-Zmap
-		SEMAPHORES_NOMMES=-USEMAPHORES_NOMMES
-		IPCS_SYSV=-DIPCS_SYSV
 		ac_configure_args="$ac_configure_args --without-readline \
 				--without-cairo --disable-shared --enable-static \
 				--enable-threads \
@@ -9223,8 +9307,6 @@ case $OS in
 		fi;
 		EXPORT_DYNAMIC=-Wl,--export-dynamic
 		NESTED_FUNCTIONS=
-		SEMAPHORES_NOMMES=-USEMAPHORES_NOMMES
-		IPCS_SYSV=-DIPCS_SYSV
 		ac_configure_args="$ac_configure_args --with-readline=builtin \
 				--disable-shared --enable-static --enable-threads \
 				CFLAGS=\"$CFLAGS\" CXXFLAGS=\"$CXXFLAGS\" \
@@ -9237,13 +9319,6 @@ case $OS in
     SunOS)
 		EXPORT_DYNAMIC=-Wl,--export-dynamic
 		NESTED_FUNCTIONS=
-		SEMAPHORES_NOMMES=-USEMAPHORES_NOMMES
-
-		if test $IPCS_SYSV = no; then
-			IPCS_SYSV=-UIPCS_SYSV
-		else
-			IPCS_SYSV=-DIPCS_SYSV
-		fi
 
 		ac_configure_args="$ac_configure_args --with-readline=builtin \
 				--disable-shared --enable-static --enable-threads \
@@ -9258,13 +9333,6 @@ case $OS in
     NetBSD)
 		EXPORT_DYNAMIC=-Wl,--export-dynamic
 		NESTED_FUNCTIONS=
-		SEMAPHORES_NOMMES=-USEMAPHORES_NOMMES
-
-		if test $IPCS_SYSV = no; then
-			IPCS_SYSV=-UIPCS_SYSV
-		else
-			IPCS_SYSV=-DIPCS_SYSV
-		fi
 
 		ac_configure_args="$ac_configure_args --with-readline=builtin \
 				--disable-shared --enable-static --enable-threads \
@@ -9280,13 +9348,6 @@ case $OS in
     *)
 		EXPORT_DYNAMIC=-Wl,--export-dynamic
 		NESTED_FUNCTIONS=
-		SEMAPHORES_NOMMES=-USEMAPHORES_NOMMES
-
-		if test $IPCS_SYSV = no; then
-			IPCS_SYSV=-UIPCS_SYSV
-		else
-			IPCS_SYSV=-DIPCS_SYSV
-		fi
 
 		ac_configure_args="$ac_configure_args --with-readline=builtin \
 				--disable-shared --enable-static --enable-threads \
@@ -9342,6 +9403,7 @@ esac
 
 
 
+
 subdirs="$subdirs tools/$NCURSES"
 
 subdirs="$subdirs tools/$READLINE"
@@ -9957,7 +10019,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_wri
 # report actual input values of CONFIG_FILES etc. instead of their
 # values after options handling.
 ac_log="
-This file was extended by rpl $as_me 4.1.3, which was
+This file was extended by rpl $as_me 4.1.4, which was
 generated by GNU Autoconf 2.68.  Invocation command line was
 
   CONFIG_FILES    = $CONFIG_FILES
@@ -10023,7 +10085,7 @@ _ACEOF
 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
 ac_cs_version="\\
-rpl config.status 4.1.3
+rpl config.status 4.1.4
 configured by $0, generated by GNU Autoconf 2.68,
   with options \\"\$ac_cs_config\\"