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
+ 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