Fix Makefile

Signed-off-by: Kakadu <Kakadu@pm.me>
PLTools · Sep 5, 2024 · 59273f7 · 59273f7
1 parent cee8955
commit 59273f7
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -5,11 +5,12 @@ INSTALL ?= install -v
 MKDIR ?= mkdir
 BUILDDIR = _build
 
+.DEFAULT_GOAL := build
 
+all: build test
 
-all: dune test regression
-
-build: dune b regression
+build:
+	dune b src runtime runtime32 stdlib
 
 install: all
 	dune b @install --profile=release