From bc7479b9475ef51df2d455498c5d244b55b604f6 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 5 Mar 2018 09:48:33 +0100
Subject: [PATCH] [Makefile] more accurate deps for generating transitioning.ml

also put the target into `Makefile.generating`.
---
 Makefile            | 7 -------
 Makefile.generating | 9 +++++++++
 2 files changed, 9 insertions(+), 7 deletions(-)

diff --git a/Makefile b/Makefile
index 746a5d2d232..1a6361c38cc 100644
--- a/Makefile
+++ b/Makefile
@@ -397,13 +397,6 @@ LIB_CMO =\
 	src/libraries/utils/filepath \
 	src/libraries/utils/json
 
-GENERATED+= src/libraries/utils/json.ml src/libraries/stdlib/transitioning.ml
-
-src/libraries/stdlib/transitioning.ml: src/libraries/stdlib/transitioning.ml.in
-	rm -f $@
-	sed -e 's/@SPLIT_ON_CHAR@/$(SPLIT_ON_CHAR)/g' $< > $@
-	$(CHMOD_RO) $@
-
 NON_OPAQUE_DEPS+=\
   src/libraries/datatype/unmarshal_z \
   src/libraries/stdlib/integer
diff --git a/Makefile.generating b/Makefile.generating
index 44b7af581e1..04345cfadc6 100644
--- a/Makefile.generating
+++ b/Makefile.generating
@@ -118,7 +118,16 @@ $(MACHDEP_PATH)/local_machdep.ml: \
 
 endif
 
+# transitioning.ml
 
+GENERATED+= src/libraries/utils/json.ml src/libraries/stdlib/transitioning.ml
+
+src/libraries/stdlib/transitioning.ml: \
+  src/libraries/stdlib/transitioning.ml.in \
+  Makefile.generating share/Makefile.config
+	rm -f $@
+	sed -e 's/@SPLIT_ON_CHAR@/$(SPLIT_ON_CHAR)/g' $< > $@
+	$(CHMOD_RO) $@
 
 ##################
 # Frama-C-config #
-- 
GitLab