source: git/m4/flint-check.m4

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @246bbb   11 years Oleksandr Better FLINT-discover fix spielwiese
(edit) @3cadd0   11 years Oleksandr Flint Fix spielwiese
(edit) @f30df9   11 years Oleksandr More fixes/improvements to BS (m4/*.m4) spielwiese
(edit) @4979482   11 years martinlee84 chg: check for FLINT in default places by default spielwiese
(edit) @7c00d6   11 years martinlee84 chg: adapted flint check macro due to changes in FLINT spielwiese
(edit) @0fd171   12 years Oleksandr no flint detection/usage by default NOTE: using flint leads to ... spielwiese
(edit) @401911   12 years martinlee84 chg: checking of FLINT version spielwiese
(add) @97a059   12 years martinlee84 Started fork swSingularFlint from spielwiese chg: changed build ... spielwiese
Note: See TracRevisionLog for help on using the revision log.