update for changes in hetmet Makefile

[ghc-hetmet.git] / ghc.mk

diff --git a/ghc.mk b/ghc.mk
index 738b5ca..9a589d7 100644 (file)
--- a/ghc.mk
+++ b/ghc.mk
@@ -1219,7 +1219,7 @@ 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)
        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
 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