%----------------------------------------------------------- 
%   (C)1992 Institute for New Generation Computer Technology 
%       (Read COPYRIGHT for detailed information.) 
%-----------------------------------------------------------
ICOT Free Software No.11
	
	Knowledge Representation Language:Quixote	(Ver.III)

Install Guide

Phase1: Install Quixote server.

[1] Compile kl1 files
1. Copy all kl1 files to PSI machine with same directory names.
2. Type following command in the PIMOS Shell. Compilation will take
around 30 minutes.
		take "qxt3.com"
3. Make load file as follows.
	unload(quixote::(*),"quixote.sav")

[2] Compile (catalogue) esp files.
1. Set package name as 'quixoteV3'.
	a. Select 'Package' in the Simpos librarian.
	b. Select 'Set default package'.
	c. Type 'quixoteV3' as Package Name.
2. Copy, catalogue, and save following esp files.
	./src/QS/pm/*.esp
	a. Select 'catalogue' in the librarian and type esp file names.
	b. Select 'save' in the librarian and save all the classes.
3. Make package template file.
	a. Select 'Package' in the librarian.
	b. Select 'Other command'.
	c. Select 'Save one package.'
	d. Type 'quixoteV3' as a Package Name.
	e. Type an appropriate file name such as:
		(Eg.) File Name> me:Second>PTF>quixote.ptf


Phase 2: Install Quixote client.
[3] Set Cshell environemnts.
Add following statments to '$HOME/.cshrc'.

---------------------------
# Quixote
setenv QXTDIR /db/Quixote/v3/SS
---------------------------

[4] Set GNU-Emacs environments.
Add following statments to '$HOME/.cshrc'.

---------------------------
;; quixote
(setq load-path (cons (concat (expand-file-name
       (substitute-in-file-name "$QXTDIR")) "/lib/emacs") load-path))
(autoload 'qxt-start
	  "qxt-all" "Start Quixote session to SERVER."
	  t nil)
(setq auto-mode-alist
      (cons '("\\.qxt$" . qxt-mode) auto-mode-alist))
(autoload 'qxt-mode
	  "qxt-mode" "Major mode for Quixote, DOODKRL."
	  t nil)
(setq qxt-window-mode t)
---------------------------

[5] Make Quixote Interface.
(1) Copy 
	./src/GNU/flex-2.3.7 to ./src/QF/	and 
	./src/GNU/readline to ./src/QF/qshell.
(2) Adjust 	'./src/QF/config/site.def'	to your UNIX system.
(3) In ./src/QF/, type the following commands.
	% imake -I./config
	% make Makefiles
	% make
