add arm-unknown-linux to platforms which do not support shared libs
authorKarel Gardas <karel.gardas@centrum.cz>
Thu, 4 Apr 2013 16:28:28 +0000 (18:28 +0200)
committerIan Lynagh <ian@well-typed.com>
Thu, 30 May 2013 22:07:05 +0000 (23:07 +0100)
commit8e51a7ab47ed37fbafbc497a5926227e8dd6a1be
treeb1e27e521364f6d501ba1ad87b6c14c8d38be11b
parent192a8f9f557e2fe04ecd5309f7de4779d59b56f1
add arm-unknown-linux to platforms which do not support shared libs

This patch disables shared libs support on arm-unknown-linux platform. It
unbreaks ghc-stage2 on this platform after recent Ian's changes
in dynamic/shared libs domain. The reason why ghc-stage2 fails when linked
with shared libs is still unknown so this is just a workaround at the moment,
but it at least recovers previous "correct" behavior of ghc-stage2
on ARM/Linux
mk/config.mk.in