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.
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 -
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.
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
.
