INSTALLATION 
von ARIBAS unter UNIX und LINUX

Im Unter-Directory src befinden sich alle noetigen
Quelldateien zur Compilation von ARIBAS unter
UNIX oder LINUX sowie zwei Makefiles

Unter LINUX (auf Intel-PCs mit Prozessor 80386 oder hoeher)
	make -f Makefile.linux

Unter UNIX (generisch)
	make -f Makefile.unix

Es entsteht die ausfuehrbare Datei 
	aribas
die schon fuer sich allein lauffaehig ist.
Damit allerdings Online-Hilfe moeglich ist, muss die
Datei
	aribas.hlp
in ein Directory kopiert werden, das im Bereich der PATH-Variablen
liegt, am besten in dasselbe Directory, wie die ausfuehrbare
Datei aribas.

Im Directory doc befindet sich Dokumentation fuer ARIBAS
	aribas.doc
	aribas.tut
sind reine Text-Dateien.
Die Datei
	aribas.1
ist fuer eine Manual-Page fuer aribas, sollte in ein (lokales)
man1-Directory kopiert werden. Die Datei aribas.man hat denselben
Inhalt wie aribas.1 als reine Text-Datei.


GNU-EMACS Interface fuer ARIBAS

Im Unter-Directory el befindet sich die Datei
	aribas.el
Diese muss in das Emacs-Directory site-lisp (oder ein anderes,
das im load-path von Emacs liegt, kopiert werden.
Ausserdem muss in die Datei default.el (oder eine andere Datei,
die beim Start von Emacs automatisch ausgefuehrt wird, die
Zeile

(autoload 'run-aribas "aribas" "Run ARIBAS." t)

aufgenommen werden. Dann kann ARIBAS innerhalb von Emacs mit
dem Befehl
	META-X run-aribas
gestartet werden.

98-10-13 O.Forster, Email: forster@rz.mathematik.uni-muenchen.de 
