Go to most recent revision | 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) |