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 /ChangeLog | |
| 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 'ChangeLog')
| -rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1,3 +1,8 @@ +2011-06-30 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * config/open-axiom.m4 (OPENAXIOM_CHECK_GMP): New. + (OPENAXIOM_CHECK_CORE_SUPPORT): Use it. + 2011-06-15 Gabriel Dos Reis <gdr@cs.tamu.edu> * OpenAxiom-1.4.0 has been released. |