Subversion Repositories shark

Rev

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)