Changeset 2968

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

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

Location:
trunk/linbox/macros
Files:
1 added
12 modified

Legend:

Unmodified
Added
Removed
  • trunk/linbox/macros/Makefile.am

    r2498 r2968  
    88        atlas-check.m4          \ 
    99        maple-check.m4          \ 
     10        sage-check.m4           \ 
    1011        expat-check.m4          \ 
    1112        config-header.m4        \ 
  • trunk/linbox/macros/blas-check.m4

    r2877 r2968  
    1111 
    1212AC_ARG_WITH(blas, 
    13             [  --with-blas=<lib>|yes  
    14                                            Use BLAS library. This library is mandatory for LinBox compilation.                                     
    15                                            If argument is yes or <empty> that means the library is reachable with the standard 
    16                                            search path (/usr or /usr/local). 
    17                                            Otherwise you give the <path> to the directory which contain the library.                     
     13[  --with-blas=<lib>|yes Use BLAS library. This library is mandatory for LinBox 
     14                        compilation. If argument is yes or <empty> that means  
     15                        the library is reachable with the standard search path  
     16                        (/usr or /usr/local). Otherwise you give the <path> to  
     17                        the directory which contain the library. 
    1818             ], 
    1919             [if test "$withval" = yes ; then 
  • trunk/linbox/macros/expat-check.m4

    r2368 r2968  
    1616 
    1717AC_ARG_WITH(expat, 
    18             [  --with-expat=<path>|yes|no  
    19                                            Use Expat library.  
    20                                            If argument is no, you do not have the library installed on your machine (set as default). 
    21                                            If argument is yes or <empty> that means the library is reachable with the standard 
    22                                            search path (/usr or /usr/local). 
    23                                            Otherwise you give the <path> to the directory which contain the library.  
     18[  --with-expat=<path>|yes|no Use Expat library. If argument is no, you do not  
     19                             have the library installed on your machine (set  
     20                             as default). If argument is yes or <empty> that  
     21                             means the library is reachable with the standard 
     22                             search path (/usr or /usr/local). Otherwise you  
     23                             give the <path> to the directory which contain the 
     24                             library.  
    2425             ], 
    2526             [if test "$withval" = yes ; then 
  • trunk/linbox/macros/givaro-check.m4

    r2368 r2968  
    1717 
    1818AC_ARG_WITH(givaro, 
    19             [  --with-givaro=<path>|yes|no  
    20                                            Use Givaro library.  
    21                                            If argument is no, you do not have the library installed on your machine (set as default). 
    22                                            If argument is yes or <empty> that means the library is reachable with the standard 
    23                                            search path (/usr or /usr/local). 
    24                                            Otherwise you give the <path> to the directory which contain the library.  
    25              ], 
     19[  --with-givaro=<path>|yes Use Givaro library. This library is mandatory for  
     20                           LinBox compilation. If argument is yes or <empty>  
     21                           that means the library is reachable with the standard 
     22                           search path (/usr or /usr/local). Otherwise you give  
     23                           the <path> to the directory which contain the  
     24                           library. 
     25],                 
    2626             [if test "$withval" = yes ; then 
    2727                        GIVARO_HOME_PATH="${DEFAULT_CHECKING_PATH}" 
     
    2929                        GIVARO_HOME_PATH="$withval ${DEFAULT_CHECKING_PATH}" 
    3030             fi], 
    31              []) 
     31             [GIVARO_HOME_PATH="${DEFAULT_CHECKING_PATH}"]) 
    3232 
    33 min_givaro_version=ifelse([$1], ,3.0,$1) 
     33min_givaro_version=ifelse([$1], ,3.2.10,$1) 
    3434 
    3535 
     
    3939BACKUP_LIBS=${LIBS} 
    4040 
    41 if test -n "$GIVARO_HOME_PATH" ; then 
    4241AC_MSG_CHECKING(for GIVARO >= $min_givaro_version) 
    43 fi 
    4442 
    4543for GIVARO_HOME in ${GIVARO_HOME_PATH}  
  • 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}" 
  • trunk/linbox/macros/lidia-check.m4

    r2181 r2968  
    1717 
    1818AC_ARG_WITH(lidia, 
    19             [  --with-lidia=<path>|yes|no  
    20                                            Use Lidia library.  
    21                                            If argument is no, you do not have the library installed on your machine (set as default). 
    22                                            If argument is yes or <empty> that means the library is reachable with the standard 
    23                                            search path (/usr or /usr/local). 
    24                                            Otherwise you give the <path> to the directory which contain the library.  
     19[  --with-lidia=<path>|yes|no Use Lidia library. If argument is no, you do not  
     20                             have the library installed on your machine (set  
     21                             as default). If argument is yes or <empty> that  
     22                             means the library is reachable with the standard 
     23                             search path (/usr or /usr/local). Otherwise you  
     24                             give the <path> to the directory which contain the  
     25                             library.  
    2526             ], 
    2627             [if test "$withval" = yes ; then 
  • trunk/linbox/macros/linbox-doc.m4

    r2807 r2968  
    77 
    88AC_ARG_WITH(docdir, 
    9             [ --with-docdir=<path>  
    10                                            Where the LinBox documentation should be installed 
    11             ], 
     9[  --with-docdir=<path> Where the LinBox documentation should be installed], 
    1210            [ 
    1311                LINBOX_DOC_PATH="$withval" 
     
    2018 
    2119AC_ARG_WITH(doxygen, 
    22             [ --with-doxygen=<path>  
    23                                            Give the path to Doxygen.  
    24                                            Note: --enable-doc needed                                      
    25             ], 
     20[  --with-doxygen=<path> Give the path to Doxygen. Note: --enable-doc needed], 
    2621            [ 
    2722                DOXYGEN_PATH="$PATH $withval" 
     
    3126            ]) 
    3227 
    33 AC_ARG_ENABLE(doc,[--enable-doc Enable building documentation], 
     28AC_ARG_ENABLE(doc,[  --enable-doc Enable building documentation], 
    3429[ 
    3530AC_MSG_RESULT(yes) 
  • trunk/linbox/macros/linbox-misc.m4

    r2498 r2968  
    66 
    77AC_ARG_WITH(default, 
    8             [ --with-default=<path> 
    9                                         Add <path> to the default path for external package checking 
    10                                         Set as default with /usr and /usr/local 
    11             ], 
     8[  --with-default=<path> Add <path> to the default path for external package  
     9                        checking. Set as default with /usr and /usr/local. 
     10], 
    1211            [if test "$withval" = yes ; then 
    1312                        echo "Default path = /usr /usr/local" 
     
    2524 
    2625AC_ARG_WITH(all, 
    27             [ --with-all= <path>|yes|no 
    28                                         Use all external packages. 
    29                                         If the argument is no, you not sure that all libraries are  
    30                                         reachable with the default path. 
    31                                         If the argument is yes or <empty>, that means that all libraries  
    32                                         are reachable with the default path. 
    33                                         Otherwise add <path> to default path and enable all external packages. 
    34             ], 
     26[  --with-all= <path>|yes|no Use all external packages. If the argument is no,  
     27                           you not sure that all libraries are reachable with  
     28                           the default path. If the argument is yes or <empty>, 
     29                           that means that all libraries are reachable with the 
     30                           default path. Otherwise add <path> to default path  
     31                           and enable all external packages. 
     32], 
    3533            [if test "$withval" = yes ; then 
    3634                        check_all="yes" 
  • trunk/linbox/macros/linbox-opt.m4

    r2757 r2968  
    33AC_MSG_CHECKING([whether to use run time optimization]) 
    44 
    5 AC_ARG_ENABLE(optimization, [--enable-optimization  Enable run time optimization in LinBox code], 
     5AC_ARG_ENABLE(optimization,  
     6[  --enable-optimization  Enable run time optimization in LinBox code], 
    67[ 
    78AC_MSG_RESULT(yes) 
  • trunk/linbox/macros/maple-check.m4

    r2961 r2968  
    1818AC_MSG_CHECKING([whether to compile the drivers]) 
    1919 
    20 AC_ARG_ENABLE(drivers, [ --enable-drivers       Enable the compilation of the drivers], 
     20AC_ARG_ENABLE(drivers, [  --enable-drivers Enable the compilation of the drivers], 
    2121[ 
    2222AC_MSG_RESULT(yes) 
     
    3434 
    3535AC_ARG_WITH(maple, 
    36             [ --with-maple=<path>|yes|no  
    37                                            Use Maple library.  
    38                                            If argument is no, you do not have the library installed on your machine (set as default). 
    39                                            If argument is yes or <empty> that means the library is  well installed and so reachable.                                                                       Otherwise you give the <path> to the directory which contains the Software.  
     36[ --with-maple=<path>|yes|no Use Maple library. If argument is no, you do not  
     37                            have the library installed on your machine (set as  
     38                            default). If argument is yes or <empty> that means  
     39                            the library is well installed and so reachable. 
     40                            Otherwise you give the <path> to the directory which 
     41                            contains the Software.  
    4042            ], 
    4143            [if test "$withval" = yes ; then 
     
    4749 
    4850AC_ARG_ENABLE(shared, 
    49               [ --enable-shared            
    50                                            Check for shared compilation (needed by --with-maple) 
    51               ], 
     51[  --enable-shared Check for shared compilation (needed by --with-maple)], 
    5252              [have_shared="$enableval"], 
    5353              [have_shared="no"]) 
     
    133133]) 
    134134 
    135  
    136 AC_DEFUN([LB_CHECK_SAGE], 
    137 [ 
    138 AC_MSG_CHECKING([whether to compile the sage interface]) 
    139  
    140 AC_ARG_ENABLE(sage, [ --enable-sage     Enable the compilation of the sage interface], 
    141 [ 
    142 AC_MSG_RESULT(yes) 
    143 sage_interface="yes" 
    144 ],[ 
    145 AC_MSG_RESULT(no) 
    146 sage_interface="no" 
    147 ]) 
    148 AM_CONDITIONAL(LINBOX_HAVE_SAGE, test "x$sage_interface" = "xyes") 
    149 ]) 
  • trunk/linbox/macros/ntl-check.m4

    r2368 r2968  
    1818 
    1919AC_ARG_WITH(ntl, 
    20             [  --with-ntl=<path>|yes|no  
    21                                            Use NTL library.  
    22                                            If argument is no, you do not have the library installed on your machine (set as default). 
    23                                            If argument is yes or <empty> that means the library is reachable with the standard 
    24                                            search path (/usr or /usr/local). 
    25                                            Otherwise you give the <path> to the directory which contain the library.  
     20[  --with-ntl=<path>|yes|no  Use NTL library. If argument is no, you do not have 
     21                            the library installed on your machine (set as  
     22                            default). If argument is yes or <empty> that means  
     23                            the library is reachable with the standard search  
     24                            path (/usr or /usr/local). Otherwise you give the  
     25                            <path> to the directory which contain the library.  
    2626             ], 
    2727             [if test "$withval" = yes ; then 
  • trunk/linbox/macros/saclib-check.m4

    r2181 r2968  
    1717 
    1818AC_ARG_WITH(saclib, 
    19             [  --with-saclib=<path>|yes|no  
    20                                            Use Saclib library.  
    21                                            If argument is no, you do not have the library installed on your machine (set as default). 
    22                                            If argument is yes or <empty> that means the library is reachable with the standard 
    23                                            search path (/usr or /usr/local). 
    24                                            Otherwise you give the <path> to the directory which contain the library.  
     19[  --with-saclib=<path>|yes|no Use Saclib library. If argument is no, you do  
     20                              not have the library installed on your machine  
     21                              (set as default). If argument is yes or <empty>  
     22                              that means the library is reachable with the  
     23                              standard search path (/usr or /usr/local). 
     24                              Otherwise you give the <path> to the directory  
     25                              which contain the library.  
    2526             ], 
    2627             [if test "$withval" = yes ; then