X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=ghc.mk;fp=ghc.mk;h=76120bab9de9289475af1e3b3b92f17759349d14;hp=0f58876c3635027b5234f62b9f88bac85d710a50;hb=6cec61d14a324285dbb8ce73d4c7215f1f8d6766;hpb=11b33eaeaef39fcba8ee9258213068ed90362aa7

diff --git a/ghc.mk b/ghc.mk
index 0f58876..76120ba 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -1211,3 +1211,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/hetmet/Makefile:
+	git submodule update --init compiler/hetmet
+	cd compiler/hetmet/; git checkout master
+compiler/hetmet/build/CoqPass.hs: compiler/hetmet/Makefile $(wildcard compiler/hetmet/src/*.v) $(wildcard compiler/hetmet/src/*.hs)
+	cd compiler/hetmet; make build/CoqPass.hs
+compiler/stage1/build/CoqPass.hs: compiler/hetmet/build/CoqPass.hs
+	cp compiler/hetmet/build/CoqPass.hs $@
+compiler/stage2/build/CoqPass.hs: compiler/hetmet/build/CoqPass.hs
+	cp compiler/hetmet/build/CoqPass.hs $@