add run-profile cmd

anoma · Feb 1, 2024 · 8373dc2 · 8373dc2
1 parent 540d355
commit 8373dc2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/justfile b/justfile
@@ -77,6 +77,10 @@ test *filter:
     fi
     {{ stack }} test {{ stackArgs }} --ta "{{ testArgs }} {{ rtsFlag }} $filter"
 
+# Run a juvix command and profile it
+run-profile +cmd:
+    cabal run --enable-profiling juvix -- {{ cmd }} +RTS -p
+
 # Build the juvix runtime
 _buildRuntime:
     cd runtime && make -j 4 -s