From d6fb79417c2fed9c9478ef5e4a2fddb23275aef2 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Mon, 23 Jan 2023 18:18:11 -0800
Subject: Facilitate development by having a local Makefile invoke dune

---
 compiler/Makefile | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 compiler/Makefile

(limited to 'compiler/Makefile')

diff --git a/compiler/Makefile b/compiler/Makefile
new file mode 100644
index 00000000..ea179dd2
--- /dev/null
+++ b/compiler/Makefile
@@ -0,0 +1,3 @@
+.PHONY: all
+all:
+	@dune build
-- 
cgit v1.2.3