ghc_stage1_DISABLE = YES
endif
+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
+ $(error Unknown integer library: $(INTEGER_LIBRARY))
+ endif
+endif
+
ifneq "$(findstring $(phase),0 1 2 3)" ""
# In phases 0-3, we disable stage2-3, the full libraries and haddock
utils/haddock_dist_DISABLE = YES
libraries/hpc packages/hpc darcs
libraries/integer packages/integer darcs
libraries/integer-gmp packages/integer-gmp darcs
+libraries/integer-simple packages/integer-simple darcs
libraries/mtl packages/mtl darcs
libraries/old-locale packages/old-locale darcs
libraries/old-time packages/old-time darcs