# (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. 
# SCCS Info: @(#)Makefile	1.7 3/13/90
# This is the makefile for the directory /local/hermes/type/defs.  It
# contains the definitions modules for the Hermes typechecker.

DEFOBJS	=	type.do

include ../../make/includefile

all:	compiledefs

# see interface/Makefile for a description of the following bogosity
fixdefs:
	@-mkdir .dosave 2>/dev/null; 
	@-rm -f .dosave/* 2>/dev/null
	@mv *.do .dosave
	@dlist=`make -n defobjs` ; echo $$dlist > .dlist
	@mv .dosave/* .
	@rmdir .dosave
	@dlist=`cat .dlist` ; rm .dlist ; \
		echo env $(HERMENV) $(HERMI) $(CACHE) fixdefs $$dlist ; \
		env $(HERMENV) $(HERMI) $(CACHE) fixdefs $$dlist

type.do: type.d

clean:
	rm -f core *~ $(DEFOBJS)
