[Xsb-commits] CVS: XSB/syslib consult.P, 1.68, 1.69 consult.xwam, 1.72, 1.73

[Terrance S. <ts...@us...>]

Update of /cvsroot/xsb/XSB/syslib
In directory sc8-pr-cvs10.sourceforge.net:/tmp/cvs-serv9615

Modified Files:
	consult.P consult.xwam 
Log Message:

Changes to checker for  + and - operators for compiler options.



Index: consult.P
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/consult.P,v
retrieving revision 1.68
retrieving revision 1.69
diff -u -r1.68 -r1.69
--- consult.P	27 Apr 2008 15:25:56 -0000	1.68
+++ consult.P	8 May 2008 10:39:59 -0000	1.69
@@ -56,7 +56,10 @@
 
 check_compile_option(Option):- 
 	check_nonvar(Option,compile/[1,2],2),
-	(current_xsb_compiler_option(Option) -> 
+	(Option @= +(_) ->  Option = +(Option_1) 
+          ; Option = -(_) -> Option = -(Option_1) 
+          ; Option = Option_1),
+	(current_xsb_compiler_option(Option_1) -> 
 	    true 
 	 ;  domain_error(xsb_compiler_option,Option,compile/[1,2],2) ).
 	

Index: consult.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/consult.xwam,v
retrieving revision 1.72
retrieving revision 1.73
diff -u -r1.72 -r1.73
Binary files /tmp/cvshjpEUC and /tmp/cvsx5oxPt differ