--- rpl/Attic/configure 2011/10/03 15:57:51 1.88 +++ rpl/Attic/configure 2011/10/04 19:32:33 1.89 @@ -673,6 +673,7 @@ LN_S RUNPATH PROFILAGE subdirs +SHARED_MEMORY LIBRPLCAS RPLCAS ABI @@ -793,6 +794,7 @@ with_32bits_abi with_64bits_abi with_rpltools enable_rplcas +enable_shared_memory enable_optimization enable_sysv_ipcs enable_full_static @@ -1467,6 +1469,7 @@ Optional Features: --disable-dependency-tracking speeds up one-time build --enable-dependency-tracking do not reject slow dependency extractors --enable-rplcas compile rplcas (default=no) + --enable-shared-memory enable shared memory [default=yes] --enable-optimization set compiler flags [default=environment variables -O3] --enable-sysv-ipcs use SystemV IPC functions [default=guessed] --enable-full-static build static RPL/2 engine [default=shared] @@ -5990,6 +5993,22 @@ fi + +# Check whether --enable-shared-memory was given. +if test "${enable_shared_memory+set}" = set; then : + enableval=$enable_shared_memory; +if test "$enableval" = "no"; then + SHARED_MEMORY="-USHARED_MEMORY" +else + SHARED_MEMORY="-DSHARED_MEMORY" +fi +else + + SHARED_MEMORY="-USHARED_MEMORY" +fi + + + # Check whether --enable-optimization was given. if test "${enable_optimization+set}" = set; then :