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