projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d48ce2d
)
Simplify a bit of makefile
author
Ian Lynagh
<igloo@earth.li>
Sun, 16 Jan 2011 17:52:18 +0000
(17:52 +0000)
committer
Ian Lynagh
<igloo@earth.li>
Sun, 16 Jan 2011 17:52:18 +0000
(17:52 +0000)
ghc.mk
patch
|
blob
|
history
diff --git
a/ghc.mk
b/ghc.mk
index
dd170bd
..
d1565e9
100644
(file)
--- a/
ghc.mk
+++ b/
ghc.mk
@@
-493,12
+493,10
@@
libraries/ghc-prim_dist-install_EXTRA_HADDOCK_SRCS = libraries/ghc-prim/dist-ins
ifneq "$(CLEANING)" "YES"
ifeq "$(INTEGER_LIBRARY)" "integer-gmp"
libraries/base_dist-install_CONFIGURE_OPTS += --flags=-integer-simple
ifneq "$(CLEANING)" "YES"
ifeq "$(INTEGER_LIBRARY)" "integer-gmp"
libraries/base_dist-install_CONFIGURE_OPTS += --flags=-integer-simple
+else ifeq "$(INTEGER_LIBRARY)" "integer-simple"
+libraries/base_dist-install_CONFIGURE_OPTS += --flags=integer-simple
else
else
- ifeq "$(INTEGER_LIBRARY)" "integer-simple"
- libraries/base_dist-install_CONFIGURE_OPTS += --flags=integer-simple
- else
$(error Unknown integer library: $(INTEGER_LIBRARY))
$(error Unknown integer library: $(INTEGER_LIBRARY))
- endif
endif
endif
endif
endif