_W_e_l_c_o_m_e _t_o _M_a_G_I_C _1._1 You should find the following files in this directory: MaGIC.U MaGIC.h MaGIC.m4 MaGIC1.c Makefile README TR.c dialog.c doc (a directory) isom.c lid.c logic.c logic_io_s.c logic_io_p.c logic_set.c logic_test.c magic.man monmacs (a directory) mp_parse.c mstuff (a directory) setup.c The directory ./monmacs contains the parts of the Argonne Monitor Macros package which are relevant to MaGIC. You should find there Makefile c.m4.monmacs c.m4.smacs cputm.U cputm.c inmain rec.U send.U shmem.U soctest.c sox.U trace.U xptrace.c The directory ./mstuff contains help files (called *.show) and various data files used by MaGIC. You should find there: March 5, 1990 - 2 - AX.show BTW.show FDL.show LOG.show MEN.show OUT.show WFF.show ba.16 dl.10 dln.10 dln.14 l.8 ln.10 po.6 pon.7 pont.8 pot.7 tn.16 to.12 MaGIC is a program which finds matrices for implication connectives for various types of logics. MaGIC has been written by John Slaney from the Automated Reasoning Project, The Research School of Social Sciences, The Australian National University. _I_n_s_t_a_l_l_a_t_i_o_n This version of magic has been written using the Argonne Monitor Macros package for portable parallel pro- gramming. The part required to compile magic has been attached so that you do not have to have these macros installed on your system. Before compilation and installation edit the Makefile in the main directory of magic. On most systems only the top few lines of the Makefile may require editing. And so: BIN defines where magic's binaries will go, MAGLIB defines the directory in which magic's auxiliary files will be installed. The manual will be installed in $(MANROOT)/man$(MANSECT) as magic.$(MANSECT), and the for- matted version of the manual will go to $(MANROOT)/cat$(MANSECT). If you intend to place the auxili- ary files and manual pages in different locations you should edit magic.man so that the manual page would properly point to file locations, and that the manual section (which is "L") is also correct. Also, remember that under Dynix the manual is compressed. The Makefile will check for the pres- ence of "/dynix" file in your root directory and will compress the manual pages accordingly. On our system binary files and manual pages are March 5, 1990 - 3 - writable to the group. This is reflected in variables MANDMDE, MANMODE, and BINMODE - modify these if you don't want the group to be allowed to write on magic's binaries and libraries. To read the command line, magic uses AT&T's function getopt. Under Dynix this means that you will have to use -lseq library during linking. Make sure that -lseq is included in CLIBS if you run Dynix. The Argonne Monitor Macros reside in ./monmacs. They will be made during installation. If you prefer to use your own version of these macros - redefine MACDIR to point to your directory. Note that these are the macros for Sequent Symmetry. You will have to use different sets of macros for different machines. Once you are happy with the Makefile, type make depend and then make sequential to make the sequential version, or make parallel to make the parallel version. Note that typing just "make" will produce sequential version by default. Then if there were no problems with compilation and linking, type make install_sequential to install sequential version of magic, magic's libraries and the manual page. To install the parallel version type make install_parallel Typing "make install" is equivalent to "make install_sequential". To clean up the source directory type make clean To remove magic, its libraries and manual pages type make deinstall March 5, 1990 - 4 - _R_u_n_n_i_n_g _m_a_g_i_c Refer to the documentation in ./doc which describes how to run magic. These documents should be formatted with LaTeX. There is one \special in the file ./doc/user_guide.tex. It works fine with dvi2ps, which is a part of tex82 distribution. The file which is included is ./doc/xmagic.ps. Note that full pathname of that file is given in user_guide.tex. Modify that pathname if you put MaGIC's sources on a directory different from /usr/local/src/magic. Note that you can also run magic over the network using an X Windows based front end: xmagic. Refer to documentation for more information about xmagic. _M_a_i_n_t_e_n_a_n_c_e _o_f _M_a_G_I_C In case of problems with installation and/or running of magic contact John Slaney or Gustav Meglicki from the Automated Reasoning Project, The Research School of Social Sciences, The Australian National University, G.P.O. Box 4, Canberra, A.C.T. 2601, Australia March 5, 1990