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


.SUFFIXES :
.SUFFIXES : .pl .icp $(SUFFIXES)
.pl.icp :
	@(ICP_INSTALLDIR=$(TOPDIR); export ICP_INSTALLDIR; \
	  echo "make($*)" | $(PROLOG) -n)



DEST=prolog/skilaki
OBJECTS	= \
	ask.icp builtins.icp explain_failure.icp icp_comp.icp icp_compat.icp \
	icp_loader.icp icp_tty.icp lemmas.icp negation.icp pi_compiler.icp \
	query.icp residue.icp runtime.icp stubs.icp translator.icp utilities.icp

DIFFS	= *.pl

all:: $(OBJECTS)

all::
	@$(MKDIRH) $(RUNTIME)/$(DEST) ; for i in $(OBJECTS) ; do (set -x; $(RM) $(RUNTIME)/$(DEST)/$$i ; $(LN) $$i $(RUNTIME)/$(DEST)/$$i;) done

makefiles::

clean::
	$(RM_CMD) $(OBJECTS)

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