Fix sysroot issue when running local

cognitive-engineering-lab · Sep 29, 2024 · 6460e87 · 6460e87
1 parent c8de9a1
commit 6460e87
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Makefile.toml b/Makefile.toml
@@ -12,7 +12,10 @@ script = "cargo watch -i frontend -x 'install --path crates/aquascope_front --of
 script = "cargo watch -w crates/mdbook-aquascope/src -w frontend/packages/aquascope-embed/dist --no-vcs-ignores -x 'install --path crates/mdbook-aquascope --debug --offline'"
 
 [tasks.watch-server]
-script = "cargo run --features=no-docker"
+script = """
+export MIRI_SYSROOT=$(cargo miri setup --print-sysroot)
+cargo run --features=no-docker
+"""
 
 [tasks.watch.run_task]
 name = ["watch-front", "watch-server", "watch-mdbook"]