blob: bd1ff3064ee1ffd7a829ca491f742224d85ff42c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
BITBUCKETDIR= ~/bitbucket
SAILDIR=$(BITBUCKETDIR)/l2/
SAIL=$(SAILDIR)/src/_build/sail.native
BUILDDIR=./build/
LEMDIR=$(BITBUCKETDIR)/lem/
LEM=$(LEMDIR)/lem
# we need bash to use PIPESTATUS for the error parsing
# (if bash is not found the build will still work)
ifneq ("$(wildcard /bin/bash)","")
SHELL=/bin/bash
endif
# the order of the files is important
MIPSSOURCES= mips.sail
all: $(BUILDDIR)mips.ml $(BUILDDIR)mips_extras.ml run_native
run_native: run_with_elf.native
run_byte: run_with_elf.byte
lem: $(BUILDDIR)mips.lem
# this will force build everything, including the tools
full:
$(MAKE) -B
test: $(BUILDDIR)/test.lem
### tools: these will run only if the tools don't already exist or with 'make full'
$(SAIL):
$(MAKE) -C $(SAILDIR)
$(LEM):
$(MAKE) -C $(LEMDIR)
### tools end
$(BUILDDIR):
mkdir -p $@
$(BUILDDIR)mips.lem: $(MIPSSOURCES) $(SAIL) | $(BUILDDIR)
# if bash is detected we can print nicer errors
ifeq ($(SHELL),/bin/bash)
# the test at the end is so we return the exit code of sail and not parse_sail.sh
$(SAIL) -lem_ast $(MIPSSOURCES) 2>&1 | ./parse_sail.sh; test "$${PIPESTATUS[0]}" -eq 0
else
$(SAIL) -lem_ast $(MIPSSOURCES)
endif
# sail uses the name of the first file on the list
@mv $(<:.sail=.lem) $(BUILDDIR)mips.lem
$(BUILDDIR)mips.ml: $(BUILDDIR)mips.lem $(LEM)
$(LEM) -ocaml -only_changed_output -lib $(SAILDIR)/src/lem_interp/ $<
# FIXME: lem bug, does not change modification time
touch $@
$(BUILDDIR)mips_extras.ml:
cp mips_extras.lem $@
$(LEM) -ocaml -only_changed_output -lib $(SAILDIR)/src/lem_interp/ $<
touch $@
run_with_elf.ml: $(SAILDIR)/src/lem_interp/run_with_elf.ml
cp $< $@
run_with_elf.native: run_with_elf.ml
ocamlbuild -use-ocamlfind run_with_elf.native
run_with_elf.byte: run_with_elf.ml
ocamlbuild -use-ocamlfind run_with_elf.byte
$(BUILDDIR)/test.lem: test.sail $(SAIL) | $(BUILDDIR)
# if bash is detected we can print nicer errors
ifeq ($(SHELL),/bin/bash)
# the test at the end is so we return the exit code of sail and not parse_sail.sh
$(SAIL) -lem_ast test.sail 2>&1 | ./parse_sail.sh; test "$${PIPESTATUS[0]}" -eq 0
else
$(SAIL) -lem_ast test.sail
endif
clean:
rm -rf $(BUILDDIR)
.PHONY: all full clean test
|
