The following copyright applies to all software and documentation in the 
this directory subtree, that was written by Brian Sturgill.

	Copyright (c) 1989 Brian Sturgill
	All rights reserved.

	Redistribution and use in source and binary forms are permitted
	provided that the above copyright notice and this paragraph are
	duplicated in all such forms and that any documentation,
	advertising materials, and other materials related to such
	distribution and use acknowledge that the software was developed
	by Brian Sturgill and Raphael Finkel at the University of Kentucky,
	Department of Computer Science.  The names of the University or the
	authors may not be used to endorse or promote products derived
	from this software without specific prior written permission.
	THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
	IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
	WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.


The following notice applies to the entire distribution.

	THIS DISTRIBUTION IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
	IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
	WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.

Get a decent version of make. GNU make does nicely.

Review and edit localize.sh and include/local.h .

Make a subdirectory for the platform you are using.  "cd" there. Run
"configure".  "make".  Something like this:

     % mkdir A.`./config.guess`
     % cd !$
     % ../configure
     % make

and if everything went OK, "make install".

If you want your "object" directory to be on an NFS disk somewhere, and
if the SAT source lives in, for example, /depot/share/SAT, then you can
try something like this instead (on the machine where you want to build
SAT):

    user@gonzo % cd /depot/share/SAT
    user@gonzo % mkdir /n/gonzo/usr/obj/sat
    user@gonzo % ln -s !$ A.`./config.guess`
    user@gonzo % cd !$
    user@gonzo % /depot/share/SAT/configure
    user@gonzo % make

OK, you can make and read the documentation, too.

You can make campus-wide decisions about filenames by making suitable
changes to include/local.h .

'make uninstall' removes $(SAT)/salinclude/*.sal, which seems overzealous.

---
"To read scheme/data files in =DB, use schedit/tabedit -r ./RelationName."

I still don't know exactly what the previous line means...

