version 1.36, 2005/08/24 06:28:39 |
version 1.38, 2007/01/25 16:19:40 |
|
|
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* |
* |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.35 2005/02/17 03:12:19 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.37 2006/05/30 07:35:30 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 73 extern int real_binary; |
|
Line 73 extern int real_binary; |
|
extern int allow_laurent; |
extern int allow_laurent; |
#if defined(INTERVAL) |
#if defined(INTERVAL) |
extern int zerorewrite; |
extern int zerorewrite; |
|
extern int Itvplot; |
#endif |
#endif |
extern int double_output; |
extern int double_output; |
extern int use_new_hensel; |
extern int use_new_hensel; |
Line 82 extern Obj user_defined_prompt; |
|
Line 83 extern Obj user_defined_prompt; |
|
extern int asir_setenv; |
extern int asir_setenv; |
extern int show_orderspec; |
extern int show_orderspec; |
extern int no_debug_on_error; |
extern int no_debug_on_error; |
|
extern int diag_period; |
|
|
static struct { |
static struct { |
char *key; |
char *key; |
|
|
{"allow_laurent",&allow_laurent}, |
{"allow_laurent",&allow_laurent}, |
{"show_orderspec",&show_orderspec}, |
{"show_orderspec",&show_orderspec}, |
{"no_debug_on_error",&no_debug_on_error}, |
{"no_debug_on_error",&no_debug_on_error}, |
|
{"diag_period",&diag_period}, |
#if defined(INTERVAL) |
#if defined(INTERVAL) |
{"zerorewrite",&zerorewrite}, |
{"zerorewrite",&zerorewrite}, |
|
{"itvplotsize",&Itvplot}, |
#endif |
#endif |
{0,0}, |
{0,0}, |
}; |
}; |