_W_e_l_c_o_m_e _t_o _x_m_a_g_i_c _1._1 - _f_i_r_s_t _r_e_l_e_a_s_e You should find the following files in this directory: Makefile README actions.c axioms.c button.c conns.c defs.h dialog.c fragment.c help (a directory) help/axioms.hlp help/connectives.hlp help/formulae.hlp help/intro.hlp help/logic.hlp help/output.hlp help.c jump.c list.c pipe.c syserr.c text.c xmagic.c xmagic.h xmagic.man Xmagic is an X Windows based front end to John Slaney's MaGIC. Assuming that you have a compatible version of MaGIC (it must be MaGIC 1.1 for xmagic 1.1) and MIT's version of X Windows (it must be X11/R4 for xmagic 1.1) with the corresponding X Toolkit Athena Widgets, you can install xmagic. To be precise, you must have the following libraries: libXaw.a, libXmu.a, libXt.a, libXext.a and libX11.a. _I_n_s_t_a_l_l_a_t_i_o_n The installation of xmagic should be straightforward. First, edit the Makefile in this directory. On most systems only the first few lines should be modified. If you decide to run MaGIC itself on a host different from your worksta- tion (for which a provision is made) you must define MACHINE and REMOTE. Otherwise comment the line beginning with REMOTE out. The variable MAGIC must point to the precise location of MaGIC in the directory tree whether on your own or on the remote machine. The variable HELPPATH must point to the directory in which you will put the help files which reside in ./help. This directory will be created automatically dur- ing the installation, so you do not have to make it at this March 6, 1990 - 2 - stage. The variable BIN points to the location of xmagic's executables. The manual entry xmagic.man will be put in $(MANROOT)/man$(MANSECT) as xmagic.$(MANSECT). Before installation you should also edit xmagic.man and modify the lines in section FILES to correspond with the real location of help and app-defaults files. Also, change the section number (it is "L") if you decide to put the manual entry not in the local section. The group membership of xmagic's executables is set to bin, and the ownership to root. The group membership of help files and of the manual entry is set to man and the owner- ship to root. These are not essential since xmagic does not require set-uid bits. However, you should check before installation if you have the groups bin and man on your sys- tem. If not, change MANGRP and BINGRP to what you prefer it to be. Having done all of these type make depend make all in order to compile and link xmagic, and then, if everything goes without glitches type make install to install xmagic, the help files and the manual pages. If at some stage you would like to remove xmagic from your system change back to this directory and type make deinstall This will automatically remove xmagic, the help directory, and the manual pages. If you would like to modify some of xmagic's defaults site-wide, write your preferences on a file XMagic in /usr/lib/X11/app-defaults or wherever else is your XAPPLOAD- DIR directory. See X(1) for more information. _R_u_n_n_i_n_g _x_m_a_g_i_c To start xmagic, simply type xmagic If xmagic and MaGIC have been installed properly you should see xmagic's main control panel appear on your screen. If you run MaGIC on a remote system you may have to wait a March 6, 1990 - 3 - while before the connection is established. If xmagic hangs and the main control panel does not fill with labels (i.e., all the boxes and windows are empty), it means that the con- nection is sought to the remote host. On our network the connection is usually established within a few seconds, but sometimes it takes up to a few minutes. If the connection cannot be established xmagic should exit. Before xmagic quits, it sends exit command to MaGIC rather than a kill signal. However, on occasions, we have observed that MaGIC would still hang for a long time even after xmagic had aborted. If xmagic is killed, MaGIC is very likely to hang. In this case you may have to kill hanging processes on the remote system manually. A proper signal handling facility will still have to be implemented in future releases. Before running xmagic you should be reasonably acquainted with MaGIC itself. At this stage xmagic has been tested only on Suns 3/50 and 386i running X11/R4 under Sun OS 4.0.3 (3/50) and 4.0.1 (386i). The remote host was Sequent Symmetry S27 running Dynix(R) V3.0.12. The window manager used was twm. _A_u_t_h_o_r_s MaGIC both in its sequential and parallel version has been written by John Slaney. Xmagic has been written by Gus- tav Meglicki. All versions of MaGIC and xmagic can be obtained via anonymous ftp from arp.anu.oz.au or via snail- mail from Automated Reasoning Project, The Research School of Social Sciences, The Australian National University, G.P.O. Box 4, Canberra, A.C.T. 2601, Australia Xmagic problems and queries should be referred to gustav@arp.anu.oz.au, or jks@arp.anu.oz.au March 6, 1990