Add justfile to use just

nathanaelbosch · Oct 30, 2023 · 6cf140d · 6cf140d
1 parent 06c9ea6
commit 6cf140d
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/justfile b/justfile
@@ -0,0 +1,17 @@
+default:
+    just --list
+
+format:
+    julia -e 'using JuliaFormatter; format(".")'
+
+docs:
+    julia --project=docs docs/make.jl
+
+servedocs:
+    julia --project=docs -e 'using LiveServer; serve(dir="docs/build")'
+
+servedocs-continuously:
+    julia --project=docs -e 'using ProbNumDiffEq, LiveServer; servedocs()'
+
+benchmark:
+    julia --project=benchmarks -e 'include("benchmarks/runall.jl")'