Changeset 2976
- Timestamp:
- 06/15/08 15:52:52 (2 months ago)
- Files:
-
- 1 modified
-
trunk/linbox/configure.in (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/linbox/configure.in
r2972 r2976 127 127 echo ' ERROR: GIVARO not found!' 128 128 echo 129 echo ' GIVARO version 3.2.10 or greater is required for this library to compile. Please'130 echo ' make sure GIVARO is installed and specify its location with the option'131 echo ' --with-givaro=<prefix> when running configure.'129 echo ' GIVARO version 3.2.10 or greater is required for this library to compile.' 130 echo ' Please make sure GIVARO is installed and specify its location with the' 131 echo ' option --with-givaro=<prefix> when running configure.' 132 132 echo '*******************************************************************************' 133 133 exit 1
