/* emacs edit mode for this file is -*- C -*- */
/* $Id$ */

#ifndef INCL_CONFIG_H
#define INCL_CONFIG_H

/* {{{ docu
 *
 * config.h.in - used by `configure' to create `config.h'.
 *
 * This file is included at building time from almost all source
 * files belonging to Factory.  Furthermore, it is (textually)
 * included into `factoryconf.h' by `makeheader' so we have an
 * installed version of this file, too.  This way, the installed
 * source files will be compiled with the same settings as the
 * library itself.
 *
 * In general, you should let `configure' guess the correct
 * values for the `#define's below.  But if something seriously
 * goes wrong in configuring, please inform the authors and feel
 * free to edit the marked section.
 *
 */
/* }}} */

/************** START OF CONFIGURABLE SECTION **************/

/* Define to empty if the keyword does not work.  */
#undef const

/* Define as __inline if that's what the C compiler calls it.  */
#undef inline

/* factory version */
#undef FACTORYVERSION

/* factory configuration */
#undef FACTORYCONFIGURATION

/* where the gftables live */
#undef GFTABLEDIR

/* define if your compiler does arithmetic shift */
#undef HAS_ARITHMETIC_SHIFT

/* define to use "configurable inline methods" (see `cf_inline.cc') */
#undef CF_USE_INLINE

/* define to build factory without stream IO */
#undef NOSTREAMIO

/* which C++ header variants to use */
#undef HAVE_IOSTREAM_H
#undef HAVE_FSTREAM_H
#undef HAVE_STRSTREAM_H

#undef HAVE_IOSTREAM
#undef HAVE_FSTREAM
#undef HAVE_STRING

#undef HAVE_CSTDIO

/* define if linked to Singular */
#undef SINGULAR

/* define if build with OMALLOC */
#undef HAVE_OMALLOC

/* define if linked with factory memory manager */
#undef USE_MEMUTIL

/* define if linked with old factory memory manager */
#undef USE_OLD_MEMMAN

/* define if linked with new factory manager, debugging version */
#undef MDEBUG

/* define if you do not want to activate assertions */
#undef NOASSERT

/* define if you want to activate the timing stuff */
#undef TIMING

/* define if you want to have debugging output */
#undef DEBUGOUTPUT

/* define type of your compilers 64 bit integer type */
#define INT64 long long int

#undef HAVE_NTL

/************** END OF CONFIGURABLE SECTION **************/

#define NTL_ZZ 1

#endif /* ! INCL_CONFIG_H */