diff --git a/makeCGAL b/makeCGAL index ef802aeba07dceb91cdf79f95630f43a80819a4d..4ad2dbbfd293585ed640079aef0683c9b884c0d8 100755 --- a/makeCGAL +++ b/makeCGAL @@ -354,7 +354,7 @@ else # For build echo "using gcc : mingw : ${c_compiler} ;" > user-config.jam buildOpt="--user-config=user-config.jam toolset=gcc" - buildOpt="$buildOpt target-os=windows release" + buildOpt="$buildOpt address-model=64 target-os=windows release" ;; (*)