import Base
import GHC
import Oracles.Config.Setting
-import Predicates
+import Predicate
import Settings.Paths
-- TODO: move build artefacts to buildRootPath, see #113
gmpIncludeDir <- getSetting GmpIncludeDir
gmpLibDir <- getSetting GmpLibDir
- mconcat [ builder GhcCabal ? mconcat
+ mconcat [ builder Cc ? arg includeGmp
+
+ , builder GhcCabal ? mconcat
[ (null gmpIncludeDir && null gmpLibDir) ?
arg "--configure-option=--with-intree-gmp"
, appendSub "--configure-option=CFLAGS" [includeGmp]
- , appendSub "--gcc-options" [includeGmp] ]
-
- , builder Cc ? arg includeGmp ]
+ , appendSub "--gcc-options" [includeGmp]
+ ]
+ ]