Skip to content

Commit

Permalink
Run dune fmt before dev/ test without failure and add make watch-test (
Browse files Browse the repository at this point in the history
  • Loading branch information
cyrus- authored Aug 22, 2024
2 parents fce0b52 + 3be2e3e commit cb85b20
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,8 @@ setup-instructor:
setup-student:
cp src/haz3lweb/ExerciseSettings_student.re src/haz3lweb/ExerciseSettings.re

dev-helper:
dev-helper:
dune fmt --auto-promote || true
dune build @src/fmt --auto-promote src --profile dev

dev: setup-instructor dev-helper
Expand Down Expand Up @@ -58,8 +59,12 @@ repl:
dune utop src/haz3lcore

test:
dune fmt --auto-promote || true
dune build @src/fmt @test/fmt --auto-promote src test --profile dev
node $(TEST_DIR)/haz3ltest.bc.js

watch-test:
dune build @fmt @runtest --auto-promote --watch

clean:
dune clean

0 comments on commit cb85b20

Please sign in to comment.