# (C) Copyright International Business Machines Corporation 23 January 
# 1990.  All Rights Reserved. 
#  
# See the file USERAGREEMENT distributed with this software for full 
# terms and conditions of use. 
# File: Makefile
# Author: David F. Bacon
# SCCS Info: @(#)Makefile	1.9 3/13/90

# Makefile for those parts of the Hermes typechecker that are common to both
# the bootstrapped and the production versions.

# sources
MAINSRC	=	findtype.p finddef.p componentsoverlap.p

INFERSRC=	infer.p sameas.p casetypeof.p matchinginportof.p \
		messagetypeof.p elementtypeof.p
 
ASSIGNSRC=	assign.p predefinedprogram.p predefineddefinitionsmodule.p \
		predefineddefinitionsmodules.p predefinedboolean.p \
		predefinedtypeofvalue.p predefinedtypestateofvalue.p \
		predefinedinteger.p predefinedtypename.p \
		predefinedattribute_name.p

SRC	=	$(MAINSRC) $(INFERSRC) $(ASSIGNSRC)

# objects
MAINOBJ	=	findtype.po finddef.po componentsoverlap.po

INFEROBJ=	infer.po sameas.po casetypeof.po matchinginportof.po \
		messagetypeof.po elementtypeof.po

ASSIGNOBJ=	assign.po predefinedprogram.po predefineddefinitionsmodule.po \
		predefineddefinitionsmodules.po predefinedboolean.po \
		predefinedtypeofvalue.po predefinedtypestateofvalue.po \
		predefinedinteger.po predefinedtypename.po \
		predefinedattribute_name.po

PROCOBJS =	$(MAINOBJ) $(INFEROBJ) $(ASSIGNOBJ)


include ../../make/includefile

TCDEFDIR =	../defs
DEFPATH	=	$(TCDEFDIR):$(DEFDIR)

# targets

all: 	compileprocs

# installation

install: all
	cp $(PROCOBJS) $(PROCDIR)

# cleanup

clean:
	rm -f core *~ $(INT) $(PROCOBJS)
