everparse/nofstar.Makefile at master · project-everest/everparse · 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
63
64
65
66
67
68
all-nofstar: cbor cose

clean_rules += clean-cbor clean-cose

.PHONY: all-nofstar

cbor: cbor-det cbor-nondet

cbor-det:
	+$(MAKE) -C src/cbor/pulse/det

cbor-nondet:
	+$(MAKE) -C src/cbor/pulse/nondet

.PHONY: cbor cbor-det cbor-nondet

cose: cbor
	+$(MAKE) -C src/cose

.PHONY: cose

cbor-det-c-test: cbor
	+$(MAKE) -C src/cbor/pulse/det/c all-tests

.PHONY: cbor-det-c-test

cbor-nondet-c-test: cbor
	+$(MAKE) -C src/cbor/pulse/nondet/c all-tests

.PHONY: cbor-nondet-c-test

# NOTE: I wish we could use `cargo -C ...` but see https://github.com/rust-lang/cargo/pull/11960
cbor-det-rust-test: cbor
	+cd src/cbor/pulse/det/rust && cargo test

.PHONY: cbor-det-rust-test

cbor-nondet-rust-test: cbor
	+cd src/cbor/pulse/nondet/rust && cargo test

.PHONY: cbor-nondet-rust-test

cbor-test-unverified: cbor-det-c-test cbor-det-rust-test cbor-nondet-c-test cbor-nondet-rust-test

.PHONY: cbor-test-unverified

cose-extracted-test: cose
	+$(MAKE) -C src/cose test-extracted

.PHONY: cose-extracted-test

test-nofstar: all-nofstar cbor-test-unverified cose-extracted-test

.PHONY: test-nofstar

clean-cbor:
	+$(MAKE) -C src/cbor clean

.PHONY: clean-cbor

clean-cose:
	+$(MAKE) -C src/cose clean

.PHONY: clean-cose

clean: $(clean_rules)

.PHONY: clean