From e07d97931f05bc966b12f30790325ea25a7472f2 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@lri.fr>
Date: Wed, 25 Sep 2019 18:34:03 +0200
Subject: Top-level Makefile

---
 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 0000000..5e3b013
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,5 @@
+all:
+	cd src && ./configure.sh && $(MAKE)
+
+install: all
+	cd src && $(MAKE) install
-- 
cgit