From: Adam Megacz <adam@megacz.com>
Date: Mon, 7 Mar 2011 19:35:53 +0000 (-0800)
Subject: use compiler/coq/Makefile to decide if "git submodule update" is required
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=f07b01e57f4c08a68e22eb81f25c865d1d7c15c3;hp=aee44bbe090c356d649398a93e260d967a7c50db

use compiler/coq/Makefile to decide if "git submodule update" is required
---

diff --git a/ghc.mk b/ghc.mk
index f7d236b..f818482 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -1215,10 +1215,10 @@ phase_1_builds: $(PACKAGE_DATA_MKS)
 # -----------------------------------------------------------------------------
 # Support for writing GHC passes in Coq
 
-compiler/coq/:
+compiler/coq/Makefile:
 	git submodule update --init compiler/coq
 	cd compiler/coq/; git checkout master
-compiler/coq/build/CoqPass.hs: compiler/coq/ $(wildcard compiler/coq/src/*.v) $(wildcard compiler/coq/src/*.hs)
+compiler/coq/build/CoqPass.hs: compiler/coq/Makefile $(wildcard compiler/coq/src/*.v) $(wildcard compiler/coq/src/*.hs)
 	cd compiler/coq; make
 compiler/stage1/build/CoqPass.hs: compiler/coq/build/CoqPass.hs
 	cp compiler/coq/build/CoqPass.hs $@