version 1.9, 2000/08/22 05:03:56 |
version 1.23, 2003/10/19 02:54:41 |
|
|
* 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.8 2000/08/21 08:31:19 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.22 2003/06/07 16:40:24 saito Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 63 extern int GC_max_heap_size,Verbose,hideargs,hex_outpu |
|
Line 63 extern int GC_max_heap_size,Verbose,hideargs,hex_outpu |
|
extern int do_message; |
extern int do_message; |
extern int ox_batch,ox_check,ox_exchange_mathcap; |
extern int ox_batch,ox_check,ox_exchange_mathcap; |
extern int f4_nocheck; |
extern int f4_nocheck; |
|
extern int StrassenSize; |
|
extern int outputstyle; |
extern int fortran_output; |
extern int fortran_output; |
extern int do_weyl; |
extern int real_digit; |
|
#if defined(INTERVAL) |
|
extern int zerorewrite; |
|
#endif |
|
extern int double_output; |
|
extern int use_new_hensel; |
|
extern int print_quote; |
|
extern int show_crossref; |
|
|
static struct { |
static struct { |
char *key; |
char *key; |
|
|
{"cputime",&prtime}, |
{"cputime",&prtime}, |
{"nez",&nez}, |
{"nez",&nez}, |
{"echo",&echoback}, |
{"echo",&echoback}, |
#if DO_PLOT |
#if defined(DO_PLOT) |
{"bigfloat",&bigfloat}, |
{"bigfloat",&bigfloat}, |
#endif |
#endif |
{"verbose",&Verbose}, |
{"verbose",&Verbose}, |
|
{"quiet_mode",&do_quiet}, |
{"hideargs",&hideargs}, |
{"hideargs",&hideargs}, |
{"hex",&hex_output}, |
{"hex",&hex_output}, |
{"debug_window",&do_server_in_X11}, |
{"debug_window",&do_server_in_X11}, |
|
|
{"ox_check",&ox_check}, |
{"ox_check",&ox_check}, |
{"ox_exchange_mathcap",&ox_exchange_mathcap}, |
{"ox_exchange_mathcap",&ox_exchange_mathcap}, |
{"f4_nocheck",&f4_nocheck}, |
{"f4_nocheck",&f4_nocheck}, |
|
{"StrassenSize",&StrassenSize}, |
|
{"outputstyle",&outputstyle}, |
|
{"double_output",&double_output}, |
|
{"real_digit",&real_digit}, |
{"fortran_output",&fortran_output}, |
{"fortran_output",&fortran_output}, |
{"do_weyl",&do_weyl}, |
{"new_hensel",&use_new_hensel}, |
|
{"print_quote",&print_quote}, |
|
{"show_crossref",&show_crossref}, |
|
#if defined(INTERVAL) |
|
{"zerorewrite",&zerorewrite}, |
|
#endif |
{0,0}, |
{0,0}, |
}; |
}; |
|
|