X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=ghc.mk;h=f818482e3458b4bd76b7691e82b99b47f627616d;hp=46b6c4e05e6f5b8afcba46dd18031c6e93c343a6;hb=9e5a454cd78650a0c9e2a859693ee1af056b3fb9;hpb=6f573eb5dedb0625d1df9a6fdf9839bcaa9cba8e

diff --git a/ghc.mk b/ghc.mk
index 46b6c4e..f818482 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -1212,3 +1212,15 @@ phase_0_builds: $(utils/genprimopcode_dist_depfile_c_asm)
 .PHONY: phase_1_builds
 phase_1_builds: $(PACKAGE_DATA_MKS)
 
+# -----------------------------------------------------------------------------
+# Support for writing GHC passes in Coq
+
+compiler/coq/Makefile:
+	git submodule update --init compiler/coq
+	cd compiler/coq/; git checkout master
+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 $@
+compiler/stage2/build/CoqPass.hs: compiler/coq/build/CoqPass.hs
+	cp compiler/coq/build/CoqPass.hs $@