X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=ghc.mk;h=3d3c3a60b2c592a41b24dd75a1572c2c6e7820a6;hp=b00d92578c622f1160c2ed42bb4ee27c448152ea;hb=1c6d61ee06972de3c4797e1925e265f7dc7c361c;hpb=93b6e53272695a66d97bd2672dd366797176d5c5

diff --git a/ghc.mk b/ghc.mk
index b00d925..3d3c3a6 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 $@