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/.gitignore | 1 +
 compiler/Makefile   | 3 +++
 2 files changed, 4 insertions(+)
 create mode 100644 compiler/.gitignore
 create mode 100644 compiler/Makefile

(limited to 'compiler')

diff --git a/compiler/.gitignore b/compiler/.gitignore
new file mode 100644
index 00000000..8357dae7
--- /dev/null
+++ b/compiler/.gitignore
@@ -0,0 +1 @@
+charon
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