forked from sybila/biodivine-lib-bdd
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile.toml
35 lines (29 loc) · 1.01 KB
/
Makefile.toml
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
# Use cargo make to run scripts in this file. Most scripts are used to provide safe defaults for
# standard operations (generate docs with mermaid and KaTeX support, run benchmarks with shilds_up
# disabled, ...)
# Enable docs with Mermaid, KaTeX and some small design tweaks.
[tasks.rich-doc-dev]
env = { "RUSTDOCFLAGS" = "--html-in-header ./res/docs-head.html" }
command = "cargo"
args = ["doc", "--no-deps", "--document-private-items"]
[tasks.rich-doc]
env = { "RUSTDOCFLAGS" = "--html-in-header ./res/docs-head.html" }
command = "cargo"
args = ["doc", "--no-deps"]
[tasks.all]
dependencies = [
"docs",
"doc-katex",
]
# Make a release build with shields_up enabled.
[tasks.build-release-safe]
command = "cargo"
args = ["build", "--release", "--features", "shields_up"]
# Make a debug build with shields_up enabled.
[tasks.build-safe]
command = "cargo"
args = ["build", "--features", "shields_up"]
# Make a test build with shields_up enabled.
[tasks.test-safe]
command = "cargo"
args = ["test", "--features", "shields_up"]