===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/ctrl.c,v
retrieving revision 1.16
retrieving revision 1.27
diff -u -p -r1.16 -r1.27
--- OpenXM_contrib2/asir2000/builtin/ctrl.c	2002/01/04 17:08:22	1.16
+++ OpenXM_contrib2/asir2000/builtin/ctrl.c	2003/12/02 06:56:47	1.27
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.15 2001/08/06 01:48:32 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.26 2003/10/21 04:28:48 takayama Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
@@ -58,20 +58,24 @@ struct ftab ctrl_tab[] = {
 };
 
 extern int prtime,nez,echoback,bigfloat;
-extern int GC_free_space_numerator,GC_free_space_divisor,debug_up,no_prompt;
+extern int GC_free_space_numerator,GC_free_space_divisor,debug_up;
 extern int GC_max_heap_size,Verbose,hideargs,hex_output,do_server_in_X11;
 extern int do_message;
 extern int ox_batch,ox_check,ox_exchange_mathcap;
 extern int f4_nocheck;
 extern int StrassenSize;
+extern int outputstyle;
 extern int fortran_output;
 extern int real_digit;
+extern int real_binary;
 #if defined(INTERVAL)
 extern int zerorewrite;
 #endif
 extern int double_output;
 extern int use_new_hensel;
 extern int print_quote;
+extern int show_crossref;
+extern Obj user_defined_prompt;
 
 static struct {
 	char *key;
@@ -80,26 +84,30 @@ static struct {
 	{"cputime",&prtime},
 	{"nez",&nez},
 	{"echo",&echoback},
-#if DO_PLOT
+#if defined(DO_PLOT)
 	{"bigfloat",&bigfloat},
 #endif
 	{"verbose",&Verbose},
+	{"quiet_mode",&do_quiet},
 	{"hideargs",&hideargs},
 	{"hex",&hex_output},
 	{"debug_window",&do_server_in_X11},
 	{"message",&do_message},
 	{"debug_up",&debug_up},
-	{"no_prompt",&no_prompt},
+	{"no_prompt",&do_quiet},
 	{"ox_batch",&ox_batch},
 	{"ox_check",&ox_check},
 	{"ox_exchange_mathcap",&ox_exchange_mathcap},
 	{"f4_nocheck",&f4_nocheck},
 	{"StrassenSize",&StrassenSize},
+	{"outputstyle",&outputstyle},
 	{"double_output",&double_output},
 	{"real_digit",&real_digit},
+	{"real_binary",&real_binary},
 	{"fortran_output",&fortran_output},
 	{"new_hensel",&use_new_hensel},
 	{"print_quote",&print_quote},
+	{"show_crossref",&show_crossref},
 #if defined(INTERVAL)
 	{"zerorewrite",&zerorewrite},
 #endif
@@ -110,11 +118,12 @@ void Pctrl(arg,rp)
 NODE arg;
 Q *rp;
 {
-	int t,i;
+	int t,i,n;
 	N num,den;
 	Q c;
 	char *key;
 	char buf[BUFSIZ];
+	char *str;
 
 	if ( !arg ) {
 		*rp = 0;
@@ -136,6 +145,35 @@ Q *rp;
 			GC_free_space_numerator = BD(den)[0];
 		}
 		NDTOQ(num,den,1,*rp);
+		return;
+	} else if ( !strcmp(key,"prompt") ) {
+		/* special treatment is necessary for "prompt" */
+		if ( argc(arg) == 1 ) {
+		  if ((!do_quiet) && (user_defined_prompt == (Obj)0)) *rp=ONE;
+          else *rp = (Q)user_defined_prompt;
+		} else {
+			c = (Q)ARG1(arg);
+			if ( !c ) {
+				do_quiet = 1;
+				user_defined_prompt = 0;
+				*rp = 0;
+			} else if ( OID(c) == O_STR ) {
+				str = BDY((STRING)c);
+			 	for ( i = 0, n = 0; str[i]; i++ )
+					if ( str[i] == '%' )
+						n++;
+				if ( n >= 2 )
+					error("ctrl : prompt : invalid prompt specification");	
+				do_quiet = 1;
+				user_defined_prompt = (Obj)c;
+				*rp = c;
+			} else if ( NUM(c) && RATN(c) && UNIQ(c) ) {
+				user_defined_prompt = 0;
+				do_quiet = 0;
+			} else {
+				error("ctrl : prompt : invalid argument");	
+			}
+		}
 		return;
 	}
 	for ( i = 0; ctrls[i].key; i++ )