[Xsb-commits] CVS: XSB/packages/xasp README.Win32,1.1,1.2 README,1.1,1.2

[Luis C. <lfc...@us...>]

Update of /cvsroot/xsb/XSB/packages/xasp
In directory sc8-pr-cvs1:/tmp/cvs-serv28841/packages/xasp

Modified Files:
	README.Win32 README 
Log Message:
* Make XASP compile on Linux again.
* Update READMEs with instructions on how to compile XASP


Index: README.Win32
===================================================================
RCS file: /cvsroot/xsb/XSB/packages/xasp/README.Win32,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- README.Win32	21 Feb 2003 17:55:30 -0000	1.1
+++ README.Win32	26 Feb 2003 17:55:19 -0000	1.2
@@ -51,10 +51,9 @@
 
 $ cd $XSB/build
 $ ./configure --enable-no-cygwin \
-	--site-includes="/cygdrive/c/smodels-2.27" \
-	--site-static-libraries="/cygdrive/c/smodels-2.27"
+	--with-smodels="/cygdrive/c/smodels-2.27"
 
-If the configuration succeeds, compile XSB. First, compile the
+After the configuration succeeds, compile XSB. First, compile the
 executable:
 
 $ ./makexsb

Index: README
===================================================================
RCS file: /cvsroot/xsb/XSB/packages/xasp/README,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- README	21 Feb 2003 16:57:22 -0000	1.1
+++ README	26 Feb 2003 17:55:19 -0000	1.2
@@ -1,31 +1,26 @@
 
-In order to use the Smodels interface, several steps must be
-performed.  Note: this interface has not yet been ported to Windows
-Cygwin.
+In order to use the XASP interface, several steps must be
+performed. For information on how to compile this under Windows, read
+the file README.Win32
 
-1) Smodels itself must be compiled as a library.  In version 2.26,
+1) SMODELS itself must be compiled as a library.  In version 2.26,
 this is done by typing 
 
 make lib
 
-in the Smodels2.26 directory (NOT this directory).  The compilation is
+in the SMODELS directory (NOT this directory).  The compilation is
 complete if a .libs subdirectory was created containing various
 archive files.
 
 2) XSB must be configured with the '--with-smodels=<path-to-smodels>'
-option.  This will create a file 'smoMakefile' in this directory with
-a variable SMODELS set to the proper path.  the proper path.  If this
-doesn't work on your system, the SMODELS variable in the smoMakefile
-may need to be edited by hand.
+option.  <path-to-smodels> is the path to the directory where SMODELS
+has been installed and compiled.
 
-3) The Smodels files must be made available to this interface.  One
-way of doing this is by executing the command
+3) Finally, type the following in this directory:
 
-sh makelinks.sh <path-to-smodels>
+make module
 
-4) Finally, 
 
-make -f smoMakefile