summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSon Ho2021-11-02 18:51:25 +0100
committerSon Ho2021-11-02 18:51:25 +0100
commitec39b172441fa3739635e55ea8ebbc170c53f3f2 (patch)
tree3d4e1894b6e9b3f4a99929c47307145c8cc357f1 /Makefile
parent09bfbde5ebdc60cef109b570b6c6f567a5b516b0 (diff)
Setup the project
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 00000000..c44454e9
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,5 @@
+all:
+ dune build src/main.exe && dune exec src/main.exe
+
+doc:
+ dune build @doc