dx/Makefile at main · typeeffect/dx · GitHub

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
.PHONY: \
	demo-emit \
	demo-verify \
	demo-plan \
	demo-build \
	demo-build-verify \
	prove-subset \
	prove-subset-verify \
	prove-subset-dry-run \
	prove-runnable \
	prove-runnable-verify \
	runtime-stub-info \
	runtime-stub-plan \
	runtime-stub-build-plan

DEMO ?= examples/backend/closure_call_int.dx
BUILD_DIR ?= build
DEMO_NAME := $(notdir $(basename $(DEMO)))
LLVM_OUT ?= $(BUILD_DIR)/$(DEMO_NAME).ll
OBJ_OUT ?= $(BUILD_DIR)/$(DEMO_NAME).o
EXE_OUT ?= $(BUILD_DIR)/$(DEMO_NAME)
RUNTIME_PROFILE ?= debug
RUNTIME_TARGET_DIR ?=

demo-emit:
	cargo run -q -p dx-llvm-ir --bin dx-emit-llvm -- $(DEMO) $(LLVM_OUT)

demo-verify:
	cargo run -q -p dx-llvm-ir --bin dx-emit-llvm -- --verify $(DEMO) $(LLVM_OUT)

demo-plan:
	cargo run -q -p dx-llvm-ir --bin dx-plan-exec -- $(DEMO) $(BUILD_DIR)

demo-build:
	scripts/build_backend_demo.sh $(DEMO) $(BUILD_DIR)

demo-build-verify:
	scripts/build_backend_demo.sh --verify $(DEMO) $(BUILD_DIR)

prove-subset:
	scripts/prove_backend_subset.sh

prove-subset-verify:
	scripts/prove_backend_subset.sh --verify

prove-subset-dry-run:
	scripts/prove_backend_subset.sh --dry-run

prove-runnable:
	scripts/prove_executable_entry_subset.sh

prove-runnable-verify:
	scripts/prove_executable_entry_subset.sh --verify

runtime-stub-info:
	cargo run -q -p dx-runtime-stub --bin dx-runtime-stub-info

runtime-stub-plan:
	cargo run -q -p dx-runtime-stub --bin dx-runtime-stub-plan -- $(OBJ_OUT) $(EXE_OUT)

runtime-stub-build-plan:
	cargo run -q -p dx-runtime-stub --bin dx-runtime-stub-build-plan -- $(RUNTIME_PROFILE) $(RUNTIME_TARGET_DIR)