Show
Ignore:
Timestamp:
06/14/08 20:25:46 (5 months ago)
Author:
pernet
Message:

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

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/linbox/macros/gmp-check.m4

    r2646 r2968  
    88AC_DEFUN([LB_CHECK_GMP], 
    99[ 
    10  
    1110AC_ARG_WITH(gmp, 
    12                 [  --with-gmp= <path>|yes 
    13                                            Use GMP library. This library is mandatory for LinBox compilation.  
    14                                            If argument is yes or <empty> that means the library is reachable with the standard 
    15                                            search path "/usr" or "/usr/local"  (set as default). 
    16                                            Otherwise you give the <path> to the directory which contain the library.  
    17                 ], 
     11[  --with-gmp= <path>|yes Use GMP library. This library is mandatory for LinBox 
     12                         compilation. If argument is yes or <empty> that means  
     13                         the library is reachable with the standard search path 
     14                         "/usr" or "/usr/local" (set as default). Otherwise you 
     15                         give the <path> to the directory which contain the  
     16                         library. 
     17], 
    1818                [if test "$withval" = yes ; then 
    1919                        GMP_HOME_PATH="${DEFAULT_CHECKING_PATH}"