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
|
#------------------------------------------------------------------------
#
# File : Makefile for simple applications build on top of (parts of)
# CLIB.
#
# Author: Stephan Schulz
#
# Changes
#
# <1> Fri Nov 28 00:25:20 MET 1997
# New
#
#------------------------------------------------------------------------
include ../Makefile.vars
# Project specific variables
PROJECT = ex_commandline term2dag
LIB = $(PROJECT)
all: $(LIB)
depend: *.c
$(MAKEDEPEND)
# Remove all automatically generated files
clean:
@touch does_exist.o does_exist.dSYM does_exist.a $(PROJECT)
@rm -r *.o $(PROJECT) *.dSYM *.a
# Services (provided by the master Makefile)
include ../Makefile.services
# Build the test programs
TERM2DAG = term2dag.o ../lib/CLAUSES.a ../lib/TERMS.a ../lib/ORDERINGS.a ../lib/INOUT.a ../lib/BASICS.a
term2dag: $(TERM2DAG)
$(LD) -o term2dag $(TERM2DAG) $(LIBS)
EX_COMMANDLINE = ex_commandline.o ../lib/INOUT.a ../lib/BASICS.a
ex_commandline: $(EX_COMMANDLINE)
$(LD) -o ex_commandline $(EX_COMMANDLINE) $(LIBS)
include Makefile.dependencies
|
