From 163d12852002a67c5b661b4b3e7e3c5bb6faa5f3 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 10 Apr 2011 19:53:34 +0000 Subject: [PATCH] update for changes in hetmet Makefile --- compiler/hetmet | 2 +- ghc.mk | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/hetmet b/compiler/hetmet index 97552c1..6c949de 160000 --- a/compiler/hetmet +++ b/compiler/hetmet @@ -1 +1 @@ -Subproject commit 97552c1a6dfb32098d4491951929ab1d4aca96a0 +Subproject commit 6c949de6b044bda942fd0553e3eb9c0386a94e44 diff --git a/ghc.mk b/ghc.mk index 738b5ca..9a589d7 100644 --- 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) - 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 -- 1.7.10.4