From 2b35afe9eaf4dc01b05729d2cbb9ffbdf30429ff Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sun, 16 Jan 2011 17:52:18 +0000 Subject: [PATCH] Simplify a bit of makefile --- ghc.mk | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/ghc.mk b/ghc.mk index dd170bd..d1565e9 100644 --- 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 +else ifeq "$(INTEGER_LIBRARY)" "integer-simple" +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 $(error Unknown integer library: $(INTEGER_LIBRARY)) - endif endif endif -- 1.7.10.4