Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1672 | tullio | 1 | # |
2 | # help can be found in readme.txt |
||
3 | # |
||
4 | |||
5 | # ----------------------------------------------------- |
||
6 | # |
||
7 | # OS dependent variables: |
||
8 | |||
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 | ifndef $(BASE) |
||
17 | BASE=../.. |
||
18 | endif |
||
19 | |||
20 | include $(BASE)/config/config.mk |
||
21 | |||
22 | ifeq ($(OS),MARTE) |
||
23 | OSINCLUDE=marte/makefile.in |
||
24 | endif |
||
25 | |||
26 | ifeq ($(OS),SHARK) |
||
27 | OSINCLUDE=shark/makefile.in |
||
28 | endif |
||
29 | |||
30 | # ----------------------------------------------------- |
||
31 | |||
32 | .PHONY: all clean help |
||
33 | |||
34 | help: |
||
35 | ifeq ($(CAT),cat) |
||
36 | cat readme.txt |
||
37 | endif |
||
38 | |||
39 | all: out out/common.done out/$(TEST).done os_specific_dep |
||
40 | make -C out $(TEST) |
||
41 | |||
42 | clean: |
||
43 | make -C generators clean |
||
44 | make -C generators/java clean |
||
45 | rm -rf out |
||
46 | |||
47 | out/common.done: |
||
48 | cd out; cp -sf ../common/*.c . |
||
49 | cd out; cp -sf ../common/*.h . |
||
50 | touch out/common.done |
||
51 | |||
52 | # note: the out dependency is present only in the "all" dependency |
||
53 | # (there is some strange case with the updating of the out date that I |
||
54 | # do not know how to resolve... |
||
55 | out: |
||
56 | mkdir out |
||
57 | |||
58 | # ----------------------------------------------------- |
||
59 | # |
||
60 | # Testcase generation |
||
61 | |||
62 | # .FSF Format |
||
63 | # ----------------------- |
||
64 | |||
65 | generators/event_gen: |
||
66 | make -C generators event_gen |
||
67 | |||
68 | out/%.done: loadfile/%.fsf generators/event_gen |
||
69 | cd out; ../generators/event_gen ../loadfile/$(TEST).fsf |
||
70 | touch out/$*.done |
||
71 | |||
72 | # .FSF2 Format |
||
73 | # ----------------------- |
||
74 | |||
75 | generators/java/Applicazione.class: |
||
76 | make -C generators/java all |
||
77 | |||
78 | out/%.done: loadfile/%.fsf2 generators/java/Applicazione.class |
||
79 | cd generators/java; ./java_gen ../../loadfile/$(TEST).fsf2; mv event.c ../../out/ |
||
80 | touch out/$*.done |
||
81 | |||
82 | # other file formats |
||
83 | # ----------------------- |
||
84 | out/%.done: loadfile/%.otherformat |
||
85 | echo Other file formats that are not specified yet... |
||
86 | touch out/$*.done |
||
87 | |||
88 | include $(OSINCLUDE) |