Rev 1273 | Go to most recent revision | 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 |
||
1273 | giacomo | 36 | make -C generators/java clean |
1259 | pj | 37 | rm -rf out |
38 | |||
39 | out/common.done: |
||
40 | cd out; cp -sf ../common/*.c . |
||
41 | cd out; cp -sf ../common/*.h . |
||
42 | touch out/common.done |
||
43 | |||
44 | # note: the out dependency is present only in the "all" dependency |
||
45 | # (there is some strange case with the updating of the out date that I |
||
46 | # do not know how to resolve... |
||
47 | out: |
||
48 | mkdir out |
||
49 | |||
50 | # ----------------------------------------------------- |
||
51 | # |
||
52 | # Testcase generation |
||
53 | |||
54 | # .FSF Format |
||
55 | # ----------------------- |
||
56 | |||
57 | generators/event_gen: |
||
58 | make -C generators event_gen |
||
59 | |||
60 | out/%.done: loadfile/%.fsf generators/event_gen |
||
61 | cd out; ../generators/event_gen ../loadfile/$(TEST).fsf |
||
62 | touch out/$*.done |
||
63 | |||
1279 | pj | 64 | # .FSF2 Format |
65 | # ----------------------- |
||
66 | |||
67 | generators/java/Applicazione.class: |
||
68 | make -C generators/java all |
||
69 | |||
70 | out/%.done: loadfile/%.fsf2 generators/java/Applicazione.class |
||
71 | cd generators/java; ./java_gen ../../loadfile/$(TEST).fsf2; mv event.c ../../out/ |
||
1273 | giacomo | 72 | touch out/$*.done |
1259 | pj | 73 | |
74 | # other file formats |
||
75 | # ----------------------- |
||
76 | out/%.done: loadfile/%.otherformat |
||
77 | echo Other file formats that are not specified yet... |
||
78 | touch out/$*.done |
||
79 | |||
80 | include $(OSINCLUDE) |