From 8c93df0b268c11e6123c846d6969413acb5ebd75 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 17 Oct 2018 16:59:21 +0200
Subject: [PATCH] [Makefile] Do not explicitly add gmp to the .merlin file.

Instead, plugins requirements should be automatically added to the .merlin file.
---
 Makefile.generating | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile.generating b/Makefile.generating
index af873d23e5c..7265432b405 100644
--- a/Makefile.generating
+++ b/Makefile.generating
@@ -195,7 +195,6 @@ endif
 	for PKG in $(LIBRARY_NAMES); do echo PKG $$PKG >> .merlin; done
 	for PKG in $(LIBRARY_NAMES_GUI); do echo PKG $$PKG >> .merlin; done
 	for PKG in $(MERLIN_PACKAGES); do echo PKG $$PKG >> .merlin; done
-	echo "PKG gmp" >> .merlin
 	echo "B lib/plugins" >> .merlin
 	echo "B lib/plugins/gui" >> .merlin
 	find src \( -name '.*' -o -name tests -o -name doc -o -name '*.cache' \) -prune \
-- 
GitLab