diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-07-01 00:09:08 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-07-01 00:09:08 +0000 |
| commit | 8816646796401df89afdd12daf749ca99400c949 (patch) | |
| tree | 090f96638085ecfa558684faf1c661e954955838 /src/input/bbtree.input.pamphlet | |
| parent | 6d9346504475521b727963744a35ca76c4a2622c (diff) | |
| download | open-axiom-8816646796401df89afdd12daf749ca99400c949.tar.gz | |
* config/open-axiom.m4 (OPENAXIOM_CHECK_GMP): New.
(OPENAXIOM_CHECK_CORE_SUPPORT): Use it.
Diffstat (limited to 'src/input/bbtree.input.pamphlet')
0 files changed, 0 insertions, 0 deletions