Changeset f79b94c in git for factory/configure.in

Timestamp:

Sep 4, 2000, 3:31:31 PM (24 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

ec7aac79223c2edb9fd5358c0f2f3e8ddcd120e6

Parents:

05e7d13dce909dfa04b941da1c487b7c2a3a6044

Message:

* support for omalloc


git-svn-id: file:///usr/local/Singular/svn/trunk@4564 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/configure.in (modified) (5 diffs)

factory/configure.in

@@ -1 +1 @@
 dnl # emacs edit mode for this file is -*- sh -*-
-dnl # $Id: configure.in,v 1.25 2000-04-27 10:07:30 obachman Exp $
+dnl # $Id: configure.in,v 1.26 2000-09-04 13:31:28 obachman Exp $
 
 dnl #
@@ -13 +13 @@
 # - initialisation.
 #
-AC_REVISION($Id: configure.in,v 1.25 2000-04-27 10:07:30 obachman Exp $)
+AC_REVISION($Id: configure.in,v 1.26 2000-09-04 13:31:28 obachman Exp $)
 AC_INIT(canonicalform.cc)
 AC_CONFIG_HEADER(config.h)
@@ -44 +44 @@
 # font-lock-trick: '
 
+AC_ARG_WITH(
+  omalloc,
+  [  --with-omalloc           build for use with omalloc])
 AC_ARG_WITH(
   gmp,
@@ -250 +253 @@
 fi
 
-AC_CHECK_HEADERS(stdio.h stdlib.h string.h time.h math.h, ,
+AC_CHECK_HEADERS(stdio.h stdlib.h string.h time.h math.h omalloc.h, ,
   [ AC_MSG_ERROR(C header files not found) ])
 
@@ -385 +388 @@
 fi
 
+AC_MSG_CHECKING(whether to use omalloc)
+
+if test "$with_omalloc" = yes; then
+  if test "$ac_cv_header_omalloc_h" != yes; then
+    if test "$enable_omalloc" = yes; then
+       AC_MSG_WARN(did not find omalloc.h, install before compiling)
+    else
+       with_omalloc=no
+    fi
+  fi
+else
+  if test "$with_omalloc" != no; then
+    if test "$enable_omalloc" = yes; then
+      if test "$ac_cv_header_omalloc_h" != yes; then
+        AC_MSG_WARN(did not find omalloc.h, install before compiling)
+      fi
+      with_omalloc=yes
+    else
+      with_omalloc=no
+    fi
+  fi
+fi
+if test "$with_omalloc" = yes; then
+  AC_DEFINE(HAVE_OMALLOC)
+  with_memman=no 
+fi
+AC_MSG_RESULT($with_omalloc)
+    
 # memory manager
 if test "x$with_memman" != xno; then