===================================================================
RCS file: /home/cvs/OpenXM/src/ox_toolkit/ox_toolkit.h,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -p -r1.14 -r1.15
--- OpenXM/src/ox_toolkit/ox_toolkit.h	2003/03/23 20:17:35	1.14
+++ OpenXM/src/ox_toolkit/ox_toolkit.h	2003/03/30 08:05:22	1.15
@@ -1,5 +1,5 @@
 /* -*- mode: C -*- */
-/* $OpenXM: OpenXM/src/ox_toolkit/ox_toolkit.h,v 1.13 2003/02/03 23:13:23 ohara Exp $ */
+/* $OpenXM: OpenXM/src/ox_toolkit/ox_toolkit.h,v 1.14 2003/03/23 20:17:35 ohara Exp $ */
 
 #ifndef _OX_TOOLKIT_H_
 
@@ -8,6 +8,8 @@
 #include <stdio.h>
 #if defined(WITH_GMP)
 #include <gmp.h>
+#else
+#include "gmp_fake.h"
 #endif /* WITH_GMP */
 #include <ox/cmotag.h>
 #include <ox/oxMessageTag.h>
@@ -93,7 +95,6 @@ typedef struct {
     cmo *coef;
 } cmo_monomial32;
 
-#if defined(WITH_GMP)
 typedef struct {
     int tag;
     mpz_t mpz;
@@ -104,7 +105,6 @@ typedef struct {
     cmo *num;  /* Bunshi (cmo_zz) */
     cmo *den;  /* Bunbo (cmo_zz) */
 } cmo_qq;
-#endif /* WITH_GMP */
 
 typedef struct {
     int tag;
@@ -141,14 +141,12 @@ cmo_mathcap*       new_cmo_mathcap(cmo* ob);
 cmo_list*          new_cmo_list();
 cmo_monomial32*    new_cmo_monomial32();
 cmo_monomial32*    new_cmo_monomial32_size(int size);
-#if defined(WITH_GMP)
 cmo_zz*            new_cmo_zz();
 cmo_zz*            new_cmo_zz_size(int size);
 cmo_zz*            new_cmo_zz_set_si(int integer);
 cmo_zz*            new_cmo_zz_set_mpz(mpz_ptr z);
 cmo_zz*            new_cmo_zz_noinit();
 cmo_zz*            new_cmo_zz_set_string(char* s);
-#endif /* WITH_GMP */
 cmo_zero*          new_cmo_zero();
 cmo_double*        new_cmo_double(double d);
 cmo_distributed_polynomial* new_cmo_distributed_polynomial();
@@ -209,9 +207,7 @@ void               dump_ox_command(ox_command* m);
 void               dump_ox_data(ox_data* m);
 
 void               print_cmo(cmo* c);
-#if defined(WITH_GMP)
 void               resize_mpz(mpz_ptr mpz, int size);
-#endif /* WITH_GMP */
 
 typedef cmo *(*hook_t)(OXFILE *, cmo *);