Show
Ignore:
Timestamp:
06/14/08 20:43:31 (6 months ago)
Author:
pernet
Message:

Update the svn:ignore properties and make Givaro mandatory

Location:
trunk/linbox
Files:
2 modified

Legend:

Unmodified
Added
Removed

  • trunk/linbox

    • Property svn:ignore

      •  

        old new  
        2424linbox-config.h.in 
        2525INSTALL 
         26_configs.sed 

  • trunk/linbox/configure.in

    r2961 r2972  
    123123 
    124124LB_CHECK_NTL 
    125 LB_CHECK_GIVARO 
     125LB_CHECK_GIVARO(,,[ 
     126echo '*******************************************************************************' 
     127echo ' ERROR: GIVARO not found!' 
     128echo 
     129echo ' GIVARO version 3.2.10 or greater is required for this library to compile. Please' 
     130echo ' make sure GIVARO is installed and specify its location with the option' 
     131echo ' --with-givaro=<prefix> when running configure.' 
     132echo '*******************************************************************************' 
     133exit 1 
     134exit 1 
     135]) 
    126136LB_CHECK_SACLIB 
    127137LB_CHECK_LIDIA 
    … …  
    156166examples/fields/Makefile 
    157167examples/Readme-make 
    158 gmp++/Makefile 
    159168doc/Makefile 
    160169linbox/Makefile 
    … …  
    171180linbox/switch/Makefile 
    172181linbox/util/Makefile 
    173 linbox/util/gmp++/Makefile 
    174182linbox/util/formats/Makefile 
    175183linbox/vector/Makefile