From 0a6e75c76532c7e603b57e09f4f92b2532bf51d7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr> Date: Fri, 9 Jul 2021 16:55:03 +0200 Subject: [PATCH] Add Makefile --- Makefile | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..177035f --- /dev/null +++ b/Makefile @@ -0,0 +1,2 @@ +all: + dune build @install caisar.opam nnet.opam -- GitLab