projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
9ac3091
)
update for changes in hetmet Makefile
author
Adam Megacz
<adam@megacz.com>
Sun, 10 Apr 2011 19:53:34 +0000
(19:53 +0000)
committer
Adam Megacz
<adam@megacz.com>
Sun, 10 Apr 2011 19:53:34 +0000
(19:53 +0000)
compiler/hetmet
patch
|
blob
|
history
ghc.mk
patch
|
blob
|
history
diff --git
a/compiler/hetmet
b/compiler/hetmet
index
97552c1
..
6c949de
160000
(submodule)
--- 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
(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)
- 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