Set integer-gmp flag when appropriate (#684)
authorAlp Mestanogullari <alpmestan@gmail.com>
Wed, 12 Sep 2018 17:18:18 +0000 (19:18 +0200)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Wed, 12 Sep 2018 17:18:18 +0000 (19:18 +0200)
commit97f93453e46eb52c64d661ba73c0bb03bfa81585
tree5eee077f122a5cc5489e44e3909308a55dd07e42
parent9bf046f153911f3e5aedf081a394af9ae33bf1c6
Set integer-gmp flag when appropriate (#684)

* set integer-gmp flag when appropriate, when building the compiler lib

* address Andrey's feedback
src/Settings/Packages.hs