Rev 1255 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1199 | giacomo | 1 | # |
1259 | pj | 2 | # help can be found in readme.txt |
1199 | giacomo | 3 | # |
1259 | pj | 4 | |
5 | # ----------------------------------------------------- |
||
1199 | giacomo | 6 | # |
1259 | pj | 7 | # OS dependent variables: |
1199 | giacomo | 8 | |
1259 | pj | 9 | # all the OS dependent variables and dependencies are under $(OS)/makefile.in |
10 | |||
11 | # This makefile will execute the dependency os_specific_dep to "fill" |
||
12 | # the out directory with OS-specific stuffs; Then, the makefile |
||
13 | # generated in the out directory will be executed with $(TEST) as |
||
14 | # parameter. |
||
15 | |||
16 | ifeq ($(OS),MARTE) |
||
17 | OSINCLUDE=marte/makefile.in |
||
1199 | giacomo | 18 | endif |
19 | |||
1259 | pj | 20 | ifeq ($(OS),SHARK) |
21 | OSINCLUDE=shark/makefile.in |
||
22 | endif |
||
1199 | giacomo | 23 | |
1259 | pj | 24 | # ----------------------------------------------------- |
1199 | giacomo | 25 | |
1259 | pj | 26 | .PHONY: all clean help |
1199 | giacomo | 27 | |
1259 | pj | 28 | help: |
29 | cat readme.txt |
||
1255 | giacomo | 30 | |
1259 | pj | 31 | all: out out/common.done out/$(TEST).done os_specific_dep |
32 | make -C out $(TEST) |
||
1255 | giacomo | 33 | |
1259 | pj | 34 | clean: |
35 | make -C generators clean |
||
36 | rm -rf out |
||
37 | |||
38 | out/common.done: |
||
39 | cd out; cp -sf ../common/*.c . |
||
40 | cd out; cp -sf ../common/*.h . |
||
41 | touch out/common.done |
||
42 | |||
43 | # note: the out dependency is present only in the "all" dependency |
||
44 | # (there is some strange case with the updating of the out date that I |
||
45 | # do not know how to resolve... |
||
46 | out: |
||
47 | mkdir out |
||
48 | |||
49 | # ----------------------------------------------------- |
||
50 | # |
||
51 | # Testcase generation |
||
52 | |||
53 | # .FSF Format |
||
54 | # ----------------------- |
||
55 | |||
56 | generators/event_gen: |
||
57 | make -C generators event_gen |
||
58 | |||
59 | out/%.done: loadfile/%.fsf generators/event_gen |
||
60 | cd out; ../generators/event_gen ../loadfile/$(TEST).fsf |
||
61 | touch out/$*.done |
||
62 | |||
63 | |||
64 | |||
65 | # other file formats |
||
66 | # ----------------------- |
||
67 | out/%.done: loadfile/%.otherformat |
||
68 | echo Other file formats that are not specified yet... |
||
69 | touch out/$*.done |
||
70 | |||
71 | include $(OSINCLUDE) |