X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=ghc.mk;h=738b5ca11fbf3ea209a55f0d314676480331e3d9;hp=f818482e3458b4bd76b7691e82b99b47f627616d;hb=e2f84335da9ff9e91951f935c92ea444a13125de;hpb=2c1c4d3540e5671274d45a473f1d1da5d37f76c1;ds=sidebyside

diff --git a/ghc.mk b/ghc.mk
index f818482..738b5ca 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -1215,12 +1215,12 @@ 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 $@
+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
+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 $@