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