blob: d218586686f8083760bc1c4d2495df599db27959 (
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
|
# Disable built-in make madness
MAKEFLAGS=-r
.SUFFIXES:
TESTS=div.sail
BITBUCKET_DIR:=$(realpath ../../../../)
LEM_DIR:=$(BITBUCKET_DIR)/lem
LEM:=$(LEM_DIR)/lem
LEMLIB = $(LEM_DIR)/ocaml-lib
SAIL_DIR:=$(BITBUCKET_DIR)/sail/src
SAIL:=$(SAIL_DIR)/sail.native
ZARITH_DIR:=$(LEM_DIR)/ocaml-lib/dependencies/zarith
ZARITH_LIB:=$(ZARITH_DIR)/zarith.cmxa
SAIL_VALUES:=$(SAIL_DIR)/gen_lib/sail_values.ml
BUILD_DIR:=_build
TESTS:=$(wildcard tests/*.sail)
OCAML_RESULTS:=$(addsuffix _embed.out,$(addprefix $(BUILD_DIR)/,$(notdir $(basename $(TESTS)))))
INTERP_RESULTS:=$(addsuffix _interp.out,$(addprefix $(BUILD_DIR)/,$(notdir $(basename $(TESTS)))))
all: tests.xml
clean:
rm -rf $(BUILD_DIR) tests.xml
$(BUILD_DIR):
mkdir -p $@
$(BUILD_DIR)/run_test_embed.ml: | $(BUILD_DIR)
cp run_test_embed.ml $(BUILD_DIR)
$(BUILD_DIR)/run_test_interp.ml: | $(BUILD_DIR)
cp run_test_interp.ml $(BUILD_DIR)
$(BUILD_DIR)/sail_values.ml: | $(BUILD_DIR)
cp $(SAIL_VALUES) $(BUILD_DIR)
$(BUILD_DIR)/%_embed.out : tests/%.sail $(BUILD_DIR)/run_test_embed.ml $(BUILD_DIR)/sail_values.ml
cd $(BUILD_DIR) && \
$(SAIL) -ocaml ../test_prelude.sail ../$< ../test_epilogue.sail -o test && \
ocamlopt -I $(ZARITH_DIR) $(ZARITH_LIB) sail_values.ml test.ml run_test_embed.ml -o test_embed.native && \
./test_embed.native > $(notdir $@)
$(BUILD_DIR)/%_interp.out : tests/%.sail $(BUILD_DIR)/run_test_interp.ml
cd $(BUILD_DIR) && \
$(SAIL) -lem_ast ../test_prelude.sail ../$< ../test_epilogue.sail -o test_lem_ast && \
$(LEM) -ocaml test_lem_ast.lem -lib $(SAIL_DIR)/lem_interp && \
ocamlfind ocamlopt -g -package num -I $(ZARITH_DIR) -I $(SAIL_DIR)/_build/lem_interp -I $(LEMLIB) -linkpkg $(ZARITH_LIB) $(LEMLIB)/extract.cmxa $(SAIL_DIR)/_build/lem_interp/extract.cmxa test_lem_ast.ml run_test_interp.ml -o test_interp.native && \
./test_interp.native >$(notdir $@) 2>&1
tests.xml: $(OCAML_RESULTS) $(INTERP_RESULTS)
./test_to_junit.sh $^
|
