diff options
author | dos-reis <gdr@axiomatics.org> | 2011-07-05 16:10:58 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-07-05 16:10:58 +0000 |
commit | d9b3cb273671264edcd5fd5fa0acde22a181fd66 (patch) | |
tree | fd79831dc81e385094efdff7dc918a503cc9592f /config/open-axiom.m4 | |
parent | ee6bd030bde5c3be107bcad4231befc3813dc2c3 (diff) | |
download | open-axiom-d9b3cb273671264edcd5fd5fa0acde22a181fd66.tar.gz |
* config/open-axiom.m4: Don't test for GMP, just yet.
Diffstat (limited to 'config/open-axiom.m4')
-rw-r--r-- | config/open-axiom.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4 index feb30740..2e8ef1a2 100644 --- a/config/open-axiom.m4 +++ b/config/open-axiom.m4 @@ -796,7 +796,7 @@ OPENAXIOM_CHECK_FILESYSTEM OPENAXIOM_CHECK_SIGNALS OPENAXIOM_CHECK_SOCKETS OPENAXIOM_CHECK_PROCESS -OPENAXIOM_CHECK_GMP +#OPENAXIOM_CHECK_GMP ]) dnl ------------------------ |