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