From a0fa1f3e4ba5ba78e2f2de8631003df1841e9f69 Mon Sep 17 00:00:00 2001
From: Gerard Huet <Gerard.Huet@inria.fr>
Date: Tue, 27 Nov 2018 15:59:15 +0100
Subject: [PATCH] ZEN symbolic link for ML/Makefile

---
 SETUP/MMakefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/SETUP/MMakefile b/SETUP/MMakefile
index ddaf707..8329284 100644
--- a/SETUP/MMakefile
+++ b/SETUP/MMakefile
@@ -400,6 +400,7 @@ all:
 	test -e $(DATA) && echo "Heritage_Resources detected" && exit 0 \
 || echo "You should first install Heritage_Resources at $(DATA)" && exit 1
 	cd $(ZEN) && $(MAKE) all
+	ln -sf $(ZEN) ZEN
 	cp -Rp $(HERITAGE) . # local copy of DICO from Resources/DICO
 	cp -Rp $(MW) . # local copy of MW
 #	cd ML && $(MAKE) depend # reset dependencies (might be partial subset)
-- 
GitLab