Changeset 2968 for trunk/linbox/macros/givaro-check.m4

Timestamp:

06/14/08 20:25:46 (6 months ago)

Author:

pernet

Message:

* add the sage-interface macro file
* clean up the documentation

Files:

• trunk/linbox/macros/givaro-check.m4 (modified) (3 diffs)

trunk/linbox/macros/givaro-check.m4

@@ -17 +17 @@
 
 AC_ARG_WITH(givaro,
-            [  --with-givaro=<path>|yes|no 
-                                           Use Givaro library. 
-                                           If argument is no, you do not have the library installed on your machine (set as default).
-                                           If argument is yes or <empty> that means the library is reachable with the standard
-                                           search path (/usr or /usr/local).
-                                           Otherwise you give the <path> to the directory which contain the library. 
-             ],
+[  --with-givaro=<path>|yes Use Givaro library. This library is mandatory for 
+                           LinBox compilation. If argument is yes or <empty> 
+                           that means the library is reachable with the standard
+                           search path (/usr or /usr/local). Otherwise you give 
+                           the <path> to the directory which contain the 
+                           library.
+],                
              [if test "$withval" = yes ; then
                         GIVARO_HOME_PATH="${DEFAULT_CHECKING_PATH}"
@@ -29 +29 @@
                         GIVARO_HOME_PATH="$withval ${DEFAULT_CHECKING_PATH}"
              fi],
-             [])
+             [GIVARO_HOME_PATH="${DEFAULT_CHECKING_PATH}"])
 
-min_givaro_version=ifelse([$1], ,3.0,$1)
+min_givaro_version=ifelse([$1], ,3.2.10,$1)
 
 
@@ -39 +39 @@
 BACKUP_LIBS=${LIBS}
 
-if test -n "$GIVARO_HOME_PATH" ; then
 AC_MSG_CHECKING(for GIVARO >= $min_givaro_version)
-fi
 
 for GIVARO_HOME in ${GIVARO_HOME_PATH}