Rev 1279 | 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 | |||
1308 | giacomo | 16 | ifndef $(BASE) |
17 | BASE=../.. |
||
18 | endif |
||
19 | |||
20 | include $(BASE)/config/config.mk |
||
21 | |||
1259 | pj | 22 | ifeq ($(OS),MARTE) |
23 | OSINCLUDE=marte/makefile.in |
||
1199 | giacomo | 24 | endif |
25 | |||
1259 | pj | 26 | ifeq ($(OS),SHARK) |
27 | OSINCLUDE=shark/makefile.in |
||
28 | endif |
||
1199 | giacomo | 29 | |
1259 | pj | 30 | # ----------------------------------------------------- |
1199 | giacomo | 31 | |
1259 | pj | 32 | .PHONY: all clean help |
1199 | giacomo | 33 | |
1259 | pj | 34 | help: |
1308 | giacomo | 35 | ifeq ($(CAT),cat) |
1259 | pj | 36 | cat readme.txt |
1308 | giacomo | 37 | endif |
1255 | giacomo | 38 | |
1259 | pj | 39 | all: out out/common.done out/$(TEST).done os_specific_dep |
40 | make -C out $(TEST) |
||
1255 | giacomo | 41 | |
1259 | pj | 42 | clean: |
43 | make -C generators clean |
||
1273 | giacomo | 44 | make -C generators/java clean |
1259 | pj | 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 | |||
1279 | pj | 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/ |
||
1273 | giacomo | 80 | touch out/$*.done |
1259 | pj | 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) |