Commit 51984e25 authored by Ian Lynagh's avatar Ian Lynagh

Fix cleaning with the new integer changes

parent eeff9887
......@@ -535,15 +535,17 @@ ifneq "$(findstring $(phase),0 1 2)" ""
ghc_stage1_DISABLE = YES
endif
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
$(error Unknown integer library: $(INTEGER_LIBRARY))
$(error Unknown integer library: $(INTEGER_LIBRARY))
endif
endif
endif
ifneq "$(findstring $(phase),0 1 2 3)" ""
# In phases 0-3, we disable stage2-3, the full libraries and haddock
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment