-
Notifications
You must be signed in to change notification settings - Fork 9
/
Copy pathmakefile
203 lines (150 loc) · 5 KB
/
makefile
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
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
.DEFAULT_GOAL := default
examples_dir=examples
tests_dir=tests
include examples/makefile
include sglang/makefile
default:
update-python-requirements:
pipreqs ./ --force
# ad hoc
install-toolchain:
mkdir -p ~/.huskyup/toolchains/nightly/lib/rustlib/src/husky/library
rsync -a library ~/.huskyup/toolchains/nightly/lib/rustlib/src/husky/
vscode: install-toolchain
# scripts/vscode_prepublish.sh
# rsync -a extensions/husky-analyzer ~/.vscode/extensions/husky-lang.husky-analyzer-0.1.0
cargo install --path crates/apps/husky-analyzer --bin husky-analyzer-server
spd-say "vscode is done"
vscode-server: install-toolchain
# scripts/vscode_prepublish.sh
# rsync -a extensions/husky-analyzer/language-configuration.json ~/.vscode-server/extensions/husky-lang.husky-analyzer-0.1.0/language-configuration.json
cargo install --path crates/apps/husky-analyzer --bin husky-analyzer-server
install-compiler:
cargo install --path crates/apps/husky-compiler --bin husky-compiler
count-todo:
scripts/pattern_statistics.py "todo!()" crates 1 10
scripts/pattern_statistics.py "todo!()" crates 2 10
update-jar-tree:
UPDATE_EXPECT=1 cargo test -p husky-jar-utils
cargo test -p husky-jar-utils
cargo check
update-expect:
scripts/update_expect.sh
update-expect-plain:
scripts/update_expect_plain.sh
update-expect-package:
scripts/update_expect_package.sh husky-text
update-expect-local:
cargo fmt
cargo check --tests
UPDATE_EXPECT=1 cargo test --features "allow-print" -- --nocapture\
|| scripts/play_update_expect_failure_music.sh
scripts/play_update_expect_success_music.sh
update-expect-local-job-1:
cargo fmt
cargo check --tests
UPDATE_EXPECT=1 cargo test --features "allow-print" -- --nocapture\
|| scripts/play_update_expect_failure_music.sh
scripts/play_update_expect_success_music.sh
update-expect-server:
cargo fmt
cargo check --tests
UPDATE_EXPECT=1 cargo test --features "allow-print" -- --nocapture
ubuntu-setup:
scripts/ubuntu_setup.sh
test-digitize:
cargo run --bin digitize -- data/typical-huskies0/n02109961_57.JPEG
test-digitize-ultraman:
cargo run --bin digitize -- data/ultraman/leo/images.jpeg
install-devtools:
cargo install --path crates/gadgets/cargo-organise
organise: install-devtools
cargo organise
adversarial:
# cargo test
ADVERSARIAL_ROUND=1000 cargo test
mnist-developer:
# SKIP_COMPILATION=1 cargo run --bin husky-mnist-classifier-developer
# cargo run --bin husky-mnist-classifier-developer -- --nocapture
cargo run --bin husky-developer -- --session sessions/mnist.yaml
mnist-notebook:
cargo run --bin husky-notebook -- --session sessions/mnist.yaml
latex2lean-developer:
cargo run --bin husky-developer -- --session sessions/latex2lean.yaml
latex2lean-notebook:
cargo run --bin husky-notebook -- --session sessions/latex2lean.yaml
cybertron-mini-lean-compiler-developer:
# SKIP_COMPILATION=1 cargo run --bin husky-mnist-classifier-developer
cargo run --bin cybertron-mini-lean-compiler-developer -- --nocapture
save:
# git add -A
# git commit -m "save"
# git push
cargo fmt
cargo install --path crates/gadgets/git-save
git-save
fix:
scripts/fix.sh
save-clean:
cargo fmt
git add -A
git commit -m "clean"
git push
save-improve-debug:
cargo fmt
git add -A
git commit -m "improve-debug"
git push
syn-tree-build-timings:
cargo fmt
cargo clean
cargo build -p husky-entity-tree --timings
cp target/cargo-timings/cargo-timing.html benchmarks/syn-tree-build-timings.html
build-timings:
cargo clean
cargo build --timings
cp target/cargo-timings/cargo-timing.html benchmarks/build-timings.html
test-build-timings:
cargo clean
cargo build --tests --timings
cp target/cargo-timings/cargo-timing.html benchmarks/test-build-timings.html
doc:
cargo doc --open
clean-mnist:
cd examples/mnist-classifier/target-rs && cargo clean
mnist-game:
cargo run -p husky-mnist-game
typst-egui:
cargo run -p husky-typst-egui
eliminate-mods:
cargo run -p cargo-eliminate-mods
chicago-typewriter:
cargo run -p husky-chicago-typewriter
quick:
scripts/update_expect_quick.sh
gen-mini-husky-basic:
cargo run --bin gen_mini_husky_basic
bibtex:
scripts/research/bibtex_finder.py references/papers.txt -o references/papers.bib --use semantic --max-sleep 0
chmod-local-scripts:
chmod +x .local/scripts/*G
debug: chmod-local-scripts
.local/scripts/debug.sh
debug-tracked: chmod-local-scripts
.local/scripts/debug_tracked.sh
measure-ring:
cargo run -p visored-tactics --release --bin measure_ring
visored-pipeline-try-it:
cargo run -p visored-cli --bin visored-cli -- --config projects/ai-math-autoformalization/pipeline/shorts/batch0/config.yaml projects/ai-math-autoformalization/pipeline/shorts/batch0/try_it.tex
pip-freeze:
pip freeze > requirements.txt
pip-upgrade-requirements:
pip install --upgrade -r requirements.txt
pip-activate-venv-fish:
echo "Type: source .venv/bin/activate.fish"
pip-activate-venv-bash:
echo "Type: source .venv/bin/activate"
pip-sync:
pip-sync
gemini-exceeds-limit:
fish -c '. .llmenvs/ai-math-autoformalization-activate.fish && cargo run -p gemini --example exceeds_limit'