deep_causality/makefile at main · deepcausality-rs/deep_causality · 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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
# Make will use bash instead of sh
SHELL := /usr/bin/env bash

.PHONY: help
help:
	@echo ' '
	@echo '    make build   	Builds the code base incrementally (fast) for dev.'
	@echo '    make bench   	Runs all benchmarks across all crates.'
	@echo '    make check   	Checks the code base for security vulnerabilities.'
	@echo '    make count   	Count LoC across the project.'
	@echo '    make check_alloc	Checks every alloc-only build builds or stops at the deep_causality_num guard.'
	@echo '    make check_core	Checks every core-only crate links without a global allocator.'
	@echo '    make check_examples	Checks that every Cargo example has a Bazel target.'
	@echo '    make check_no_std	Checks every crate builds for a bare-metal target or is listed as std-only.'
	@echo '    make check_precision	Checks every FloatType alias still builds at each precision.'
	@echo '    make check_publishable	Checks the workspace is publishable before a release.'
	@echo '    make fix   		Fixes linting issues as reported by clippy.'
	@echo '    make format   	Formats call code according to cargo fmt style.'
	@echo '    make install   	Tests and installs all make script dependencies.'
	@echo '    make lean       	Runs all LEAN proofs'
	@echo '    make miri   	Runs the test suite under the Miri interpreter for undefined-behavior detection.'
	@echo '    make start   	Starts the dev day with updating rust, pulling from git remote, and build the project.'
	@echo '    make test   	Runs all tests across all crates.'
	@echo '    make update   	Update all dependencies for all crates'
	@echo '    make sbom   	Generate SBOM for all crates'

# "---------------------------------------------------------"
# "---------------------------------------------------------"

.PHONY: build
build:
	@source scripts/build.sh


.PHONY: bench
bench:
	@source scripts/bench.sh


.PHONY: check
check:
	@source scripts/check.sh

.PHONY: count
count:
	@source scripts/count.sh


.PHONY: check_alloc
check_alloc:
	@source scripts/check_alloc.sh


.PHONY: check_core
check_core:
	@source scripts/check_core.sh


.PHONY: check_examples
check_examples:
	@source scripts/check_examples.sh


.PHONY: check_no_std
check_no_std:
	@source scripts/check_no_std.sh


.PHONY: check_precision
check_precision:
	@source scripts/check_precision.sh


.PHONY: check_publishable
check_publishable:
	@source scripts/check_publishable.sh


.PHONY: fix
fix:
	@source scripts/fix.sh


.PHONY: format
format:
	@source scripts/format.sh


.PHONY: install
install:
	@source scripts/install_deps.sh


.PHONY: lean
lean:
	@source scripts/lean.sh


.PHONY: miri
miri:
	@source scripts/miri.sh


.PHONY: release
release:
	@source scripts/release.sh


.PHONY: start
start:
	@source scripts/start.sh


.PHONY: test
test:
	@source scripts/test.sh


.PHONY: sbom
sbom:
	 @source scripts/sbom.sh


.PHONY: update
update:
	 @source scripts/update.sh