Changeset e5dafa in git for MP

Timestamp:

Nov 30, 1998, 4:50:46 PM (25 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

30e9446d40b8d2f1f6c394b9b1b530651388faa0

Parents:

8b9471903be7a0d0ba0ab4cfcd09f338615519f3

Message:

* increased to version 1.3.1


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

Location:

MP

Files:

• configure (modified) (3 diffs)
• configure.in (modified) (1 diff)

MP/configure

@@ -64 +64 @@
 ac_help="$ac_help
 \
-   --with-malloc=HEADER    use external malloc routines declared in HEADER"
+  --with-malloc=HEADER    use external malloc routines declared in HEADER"
 
 # Initialize some variables set by options.
@@ -3487 +3487 @@
 
 fi
-echo $ac_n "checking which default malloc rotuines to use""... $ac_c" 1>&6
-echo "configure:3491: checking which default malloc rotuines to use" >&5
+echo $ac_n "checking where malloc rotuines come from""... $ac_c" 1>&6
+echo "configure:3491: checking where malloc rotuines come from" >&5
 if test "${with_malloc+set}" = set; then
   echo "$ac_t""${with_malloc}" 1>&6
@@ -3500 +3500 @@
 
 else
-  echo "$ac_t""malloc/free from stdlib" 1>&6
+  echo "$ac_t""stdlib.h" 1>&6
 fi
 

MP/configure.in

@@ -458 +458 @@
 dnl Check for external memory managements
 AC_ARG_WITH(malloc, \
- [  --with-malloc=HEADER    use external malloc routines declared in HEADER])
+ [ --with-malloc=HEADER     use external malloc routines declared in HEADER])
 
 if test "${with_malloc+set}" = set; then