SRC_CC_OPTS += $(GhcRtsCcOpts)
SRC_HC_OPTS += $(GhcRtsHcOpts)
+ifneq "$(GhcWithSMP)" "YES"
+SRC_CC_OPTS += -DNOSMP
+SRC_HC_OPTS += -optc-DNOSMP
+endif
+
ifneq "$(DLLized)" "YES"
SRC_HC_OPTS += -static
endif
if [ -f gmp/config.status ]; then \
cd gmp && CC=$(WhatGccIsCalled) ./config.status; \
else \
- cd gmp && CC=$(WhatGccIsCalled) ./configure --enable-shared=no \
+ cd gmp && CC=$(WhatGccIsCalled) $(SHELL) configure --enable-shared=no \
--host=`echo $(HOSTPLATFORM) | sed 's/i[567]86/i486/g'`; \
fi