Click here to see the number of accesses to this library.
# Index for magic # November 13, 1989 lib doc lib monmacs for parts of the Argonne Monitor Macros package which are relevant to MaGIC. lib mstuff for help files (called *.show) and data file magic.u file magic.h file magic.m4 file makefile file readme file tr.c file dialog.c file isom.c file lid.c file logic.c file logic_io_p.c file logic_io_s.c file logic_set.c file logic_test.c file magic.man file mp_parse.c file setup.c # 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).Z, 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. If you don't run Dynix you will have # to comment out two lines from the installation part which # compress the manual. # # On our system binary files and manual pages are # 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 # # and then if there were no problems with compilation and # linking, type # # make install # # to install magic, magic's libraries and the manual page. # # To clean up the source directory type # # make clean # # To remove magic, its libraries and manual pages type # # make deinstall # # # _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 ecial in the file ./doc/user_guide.tex. # It works fine with with dvi2ps, which is part of tex82 dis- # tribution. The file which is included is ./doc/xmagic.ps. # To format the documentation change to ./doc and type # # latex MaGIC # # or # # format # # # Note that you can also run magic over the network using # an X Windows based front end: 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 # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # November 13, 1989 # # #