Commit 06fb099d authored by kgardas's avatar kgardas
Browse files

simplify code and fix naming conventions based on Andrey's comments

parent 88af41cf
......@@ -15,17 +15,13 @@ import Oracles.Config.Setting
integerGmpPackageArgs :: Args
integerGmpPackageArgs = package integerGmp ? do
let includeGmp = "-I" ++ gmpBuildPath -/- "include"
gmp_includedir <- getSetting GmpIncludeDir
gmp_libdir <- getSetting GmpLibDir
let gmp_args = if (gmp_includedir == "" && gmp_libdir == "")
then
[ arg "--configure-option=--with-intree-gmp" ]
else
[]
gmpIncludeDir <- getSetting GmpIncludeDir
gmpLibDir <- getSetting GmpLibDir
mconcat [ builder GhcCabal ? mconcat
(gmp_args ++
[ appendSub "--configure-option=CFLAGS" [includeGmp]
, appendSub "--gcc-options" [includeGmp] ] )
[ (null gmpIncludeDir && null gmpLibDir) ?
arg "--configure-option=--with-intree-gmp"
, appendSub "--configure-option=CFLAGS" [includeGmp]
, appendSub "--gcc-options" [includeGmp] ]
, builderGcc ? arg includeGmp ]
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