File: Makefile

package info (click to toggle)
minlog 4.0.99.20100221-8
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 7,060 kB
  • sloc: lisp: 112,614; makefile: 231; sh: 11
file content (71 lines) | stat: -rw-r--r-- 1,526 bytes parent folder | download | duplicates (4)
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
# $Id: Makefile 2156 2008-01-25 13:25:12Z schimans $
# Makefile for the examples

# The targets to be tested. Use .FILE.test-passed as target, if
# FILE.scm has to be tested. Use DIR/.TEST as target if a subdir has
# to be tested

all: .TEST

.TEST:  .test.test-passed \
	quant/.TEST prop/.TEST hounif/.TEST arith/.TEST \
	warshall/.TEST dijkstra/.TEST \
	classical/.TEST dc/.TEST bar/.TEST # .insertsort.test-passed
	touch .TEST

# The relative path to the toplevel Minlog-Dir
TOP= ../


# The recursive calls:

arith/.TEST: .always
	(cd arith; $(MAKE) .TEST)

bar/.TEST: .always
	(cd bar; $(MAKE) .TEST)

dc/.TEST: .always
	(cd dc; $(MAKE) .TEST)

classical/.TEST: .always
	(cd classical; $(MAKE) .TEST)

hounif/.TEST: .always
	(cd hounif; $(MAKE) .TEST)

prop/.TEST: .always
	(cd prop; $(MAKE) .TEST)

quant/.TEST: .always
	(cd quant; $(MAKE) .TEST)

warshall/.TEST: .always
	(cd warshall; $(MAKE) .TEST)

dijkstra/.TEST: .always
	(cd dijkstra; $(MAKE) .TEST)


# clean has to be implemented at each level. Always have genericclean as a
# dependency

clean: genericclean
	(cd classical; $(MAKE) clean)
	(cd hounif; $(MAKE) clean)
	(cd prop; $(MAKE) clean)
	(cd quant; $(MAKE) clean)
	(cd warshall; $(MAKE) clean)
	(cd dijkstra; $(MAKE) clean)
	(cd bar; $(MAKE) clean)
	(cd dc; $(MAKE) clean)
	(cd arith; $(MAKE) clean)

# Now include the standard rules for testing:
include Makefile.template


## How it works:
## entry point is always the target .TEST
## Then for every file we have to produce the file .FILE.test-passed