Changeset d83977 in git for omalloc/configure.in

Timestamp:

Jan 27, 2001, 6:03:41 PM (23 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c5facdfddea2addfd91babd8b9019161dea4b695')

Children:

f8dcbcb76eacf689bc3c66b8de4226eeba5f741d

Parents:

4e69082e0209f82df529824514e15aea87df0b8e

Message:

Windows port


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

File:

• omalloc/configure.in (modified) (4 diffs)

omalloc/configure.in

@@ -4 +4 @@
 dnl Author:  obachman@mathematik.uni-kl.de (Olaf Bachmann)
 dnl Created: 11/99
-dnl Version: $Id: configure.in,v 1.11 2000-12-21 14:26:06 obachman Exp $
+dnl Version: $Id: configure.in,v 1.12 2001-01-27 17:03:39 obachman Exp $
 dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
 
@@ -239 +239 @@
 if test "${with_malloc}" = system; then
   OM_MALLOC_HEADER=omMallocSystem.h
+  AC_DEFINE(OMALLOC_USES_MALLOC)
   if test "${with_provide_malloc}" = yes || test "${with_provide_malloc}" = debug; then
     AC_MSG_ERROR("can not provide malloc for --with-malloc=system")
@@ -257 +258 @@
   OM_MALLOC_HEADER=$with_external_malloc_h
   OM_MALLOC_SOURCE=$with_external_malloc_c
+  AC_DEFINE(OMALLOC_USES_MALLOC)
 else 
   with_malloc=dlmalloc
@@ -353 +355 @@
 fi
 if test "${with_valloc}" = malloc; then
-  if test "{ac_cv_working_valloc}" != no; then
+  if test "${ac_cv_working_valloc}" != no; then
     AC_DEFINE(OM_HAVE_VALLOC_MALLOC)
   else