# -----------------------------------------------------------------------------
# Support for writing GHC passes in Coq
-compiler/coq/:
- 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)
- 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 $@