Subversion Repositories shark

Rev

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)