From 1baa776da1a452a094b34e59bd7e796b9df6fcc8 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 7 Dec 2021 18:00:44 +0100
Subject: Make minor modifications to the Makefile

---
 Makefile | 17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index fd2b5f1f..03444d51 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,15 @@
-# The all target builds the project and runs it on a test file (whose path
-# is currently hardcoded in main.ml). In order to check that we don't alter
-# the behaviour of the interpreter while updating it, we check that the trace
-# remains unchanged.
-all:
+all: build-run-check-trace
+
+# Build the project and run the executable
+.PHONY: build-run
+build-run:
+	dune build src/main.exe && dune exec src/main.exe
+
+# Build the project and run the executable, then check that the behaviour
+# of the interpreter didn't change by comparing the newly generated trace
+# with a reference.
+.PHONY: build-run-check-trace
+build-run-check-trace:
 	dune build src/main.exe && \
 	dune exec src/main.exe > tests/trace_current.txt && \
 	cmp tests/trace_reference.txt tests/trace_current.txt && \
-- 
cgit v1.2.3