From ec39b172441fa3739635e55ea8ebbc170c53f3f2 Mon Sep 17 00:00:00 2001 From: Son Ho Date: Tue, 2 Nov 2021 18:51:25 +0100 Subject: Setup the project --- Makefile | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 Makefile (limited to 'Makefile') 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 -- cgit v1.2.3