# do not forget to add a line to
#	$INFODIR/dir
# of the form
#	* Parlog: (parlog.info).	The Parallel Parlog System
#   IC-Prolog ][
#
#   Makefile for building IC-Prolog ][ executable
#
#   Created by Yannis Cosmadopoulos
#   20 November, 1992









# ---------------------- start of global definitions -------------------------

####################################################################
# Do not edit this section.  To make changes, go to TOPDIR/install #
# and edit the Makefile.sed in that directory.  Then do            #
#        make makefiles                                            #
####################################################################


CC      	= gcc
CFLAGS  	= -O2
LDFLAGS 	= -static

PARLOG_CPP1	= 

HEAPSIZE	= 0xc000L
STACKSIZE	= 0x4000L

RM		= /usr/bin/rm -f
RM_CMD		= /usr/bin/rm -f core .make* .nse_depinfo
M4		= /usr/bin/m4
SED		= /usr/bin/sed
CUT		= /usr/bin/cut
CHMOD		= /usr/bin/chmod
INSTALL		= /usr/bin/install
INSTBINFLAGS	= -m 0775
INSTLIBFLAGS	= -m 0664
LN		= /usr/bin/ln
TAR		= /usr/bin/tar
AR_CMD		= /usr/bin/ar ruv
RANLIB		= /usr/bin/ranlib
MAKEDEPEND	= /usr/bin/X11/makedepend

TEX		= tex
LATEX		= latex
TEXINDEX	= texindex
MAKEINFO	= makeinfo

# The following definitions are used for building the system.
# You may ignore these if you are installing only.
CURRENT_DIR	= .
TOPDIR		= /home/laotzu/visitor/imagine/ic-prolog/ICP-0.97
RUNTIME		= /home/laotzu/visitor/imagine/ic-prolog/ICP-0.97/runtime

COMPDIR		= /home/laotzu/visitor/imagine/ic-prolog/ICP-0.97

PROLOG		= /home/laotzu/visitor/imagine/ic-prolog/ICP-0.97/sun4/icp
MKDIRH		= /home/laotzu/visitor/imagine/ic-prolog/ICP-0.97/install/mkdirhier

# ----------------------- end of global definitions --------------------------




TEXI =	parlog.texi user.texi reference.texi bib.texi index.texi

DIFFS	= $(TEXI)

doc:: parlog.dvi parlog.info
	@$(MKDIRH) $(RUNTIME)/info ; for i in parlog.info* ; do (set -x; $(RM) $(RUNTIME)/info/$$i ; $(LN) $$i $(RUNTIME)/info/$$i;) done
	@$(MKDIRH) $(RUNTIME)/doc ; for i in parlog.dvi ; do (set -x; $(RM) $(RUNTIME)/doc/$$i ; $(LN) $$i $(RUNTIME)/doc/$$i;) done

makefiles::

clean::
	$(RM) parlog.log parlog.aux parlog.??

parlog.dvi: $(TEXI)
	$(TEX) parlog.texi
	$(TEXINDEX) parlog.??
	$(TEX) parlog.texi

parlog.info: parlog.dvi
	$(MAKEINFO) parlog.texi

very_clean: clean
	$(RM) parlog.dvi parlog.info* parlog.toc parlog.??s

diffs::
	-@echo "---------------------------doc/parlog"; for i in Makefile.m4 $(DIFFS); do echo $$i; diff $$i $(COMPDIR)/doc/parlog; done
