1#------------------------------------------------------------------------ 2# 3# File : Makefile for the TERMS library 4# 5# Author: Stephan Schulz 6# 7# Changes 8# 9# <1> Thu Sep 18 16:31:59 MET DST 1997 10# New 11# 12#------------------------------------------------------------------------ 13 14include ../Makefile.vars 15 16# Project specific variables 17 18PROJECT = TERMS 19LIB = $(PROJECT).a 20 21all: $(LIB) 22 23depend: *.c *.h 24 $(MAKEDEPEND) 25 26# Remove all automatically generated files 27 28clean: 29 @touch does_exist.o does_exist.a; rm *.o *.a 30 31# Services (provided by the master Makefile) 32 33include ../Makefile.services 34 35# Build the library 36 37TERM_LIB = cte_simplesorts.o cte_functypes.o cte_signature.o\ 38 cte_termtypes.o \ 39 cte_termvars.o cte_acterms.o\ 40 cte_varhash.o cte_varsets.o cte_termfunc.o cte_termtrees.o\ 41 cte_termcellstore.o\ 42 cte_termbanks.o cte_subst.o cte_termpos.o cte_termcpos.o \ 43 cte_replace.o cte_match_mgu_1-1.o cte_idx_fp.o cte_fp_index.o \ 44 cte_simpletypes.o cte_typecheck.o 45 46 47$(LIB): $(TERM_LIB) 48 $(AR) $(LIB) $(TERM_LIB) 49 50include Makefile.dependencies 51 52