aclocal.m4 79.4 KB
Newer Older
1 2 3 4
# Extra autoconf macros for the Glasgow fptools
#
# To be a good autoconf citizen, names of local macros have prefixed with FP_ to
# ensure we don't clash with any pre-supplied autoconf ones.
sof's avatar
sof committed
5

6

7 8 9 10 11 12 13 14 15 16
AC_DEFUN([GHC_SELECT_FILE_EXTENSIONS],
[
    $2=''
    $3='.so'
    case $1 in
    *-unknown-cygwin32)
        AC_MSG_WARN([GHC does not support the Cygwin target at the moment])
        AC_MSG_WARN([I'm assuming you wanted to build for i386-unknown-mingw32])
        exit 1
        ;;
17 18
    # examples: i386-unknown-mingw32, i686-w64-mingw32, x86_64-w64-mingw32
    *-mingw32)
19 20 21 22
        windows=YES
        $2='.exe'
        $3='.dll'
        ;;
23 24
    # apple platform uses .dylib (macOS, iOS, ...)
    *-apple-*)
25 26 27 28 29
        $3='.dylib'
        ;;
    esac
])

30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61
# FPTOOLS_SET_PLATFORM_VARS
# ----------------------------------
# Set the platform variables
AC_DEFUN([FPTOOLS_SET_PLATFORM_VARS],
[
    # If no argument was given for a configuration variable, then discard
    # the guessed canonical system and use the configuration of the
    # bootstrapping ghc. If an argument was given, map it from gnu format
    # to ghc format.
    #
    # For why we do it this way, see: #3637, #1717, #2951
    #
    # In bindists, we haven't called AC_CANONICAL_{BUILD,HOST,TARGET}
    # so this justs uses $bootstrap_target.

    if test "$build_alias" = ""
    then
        if test "$bootstrap_target" != ""
        then
            build=$bootstrap_target
            echo "Build platform inferred as: $build"
        else
            echo "Can't work out build platform"
            exit 1
        fi

        BuildArch=`echo "$build" | sed 's/-.*//'`
        BuildVendor=`echo "$build" | sed -e 's/.*-\(.*\)-.*/\1/'`
        BuildOS=`echo "$build" | sed 's/.*-//'`
    else
        GHC_CONVERT_CPU([$build_cpu], [BuildArch])
        GHC_CONVERT_VENDOR([$build_vendor], [BuildVendor])
62
        GHC_CONVERT_OS([$build_os], [$BuildArch], [BuildOS])
63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81
    fi

    if test "$host_alias" = ""
    then
        if test "$bootstrap_target" != ""
        then
            host=$bootstrap_target
            echo "Host platform inferred as: $host"
        else
            echo "Can't work out host platform"
            exit 1
        fi

        HostArch=`echo "$host" | sed 's/-.*//'`
        HostVendor=`echo "$host" | sed -e 's/.*-\(.*\)-.*/\1/'`
        HostOS=`echo "$host" | sed 's/.*-//'`
    else
        GHC_CONVERT_CPU([$host_cpu], [HostArch])
        GHC_CONVERT_VENDOR([$host_vendor], [HostVendor])
82
        GHC_CONVERT_OS([$host_os], [$HostArch], [HostOS])
83 84 85 86
    fi

    if test "$target_alias" = ""
    then
Simon Marlow's avatar
Simon Marlow committed
87
        if test "$host_alias" != ""
88
        then
Simon Marlow's avatar
Simon Marlow committed
89 90
            GHC_CONVERT_CPU([$host_cpu], [TargetArch])
            GHC_CONVERT_VENDOR([$host_vendor], [TargetVendor])
91
            GHC_CONVERT_OS([$host_os], [$TargetArch],[TargetOS])
92
        else
Simon Marlow's avatar
Simon Marlow committed
93 94 95 96 97 98 99 100
            if test "$bootstrap_target" != ""
            then
                target=$bootstrap_target
                echo "Target platform inferred as: $target"
            else
                echo "Can't work out target platform"
                exit 1
            fi
101

Simon Marlow's avatar
Simon Marlow committed
102 103 104
            TargetArch=`echo "$target" | sed 's/-.*//'`
            TargetVendor=`echo "$target" | sed -e 's/.*-\(.*\)-.*/\1/'`
            TargetOS=`echo "$target" | sed 's/.*-//'`
105 106 107 108
        fi
    else
        GHC_CONVERT_CPU([$target_cpu], [TargetArch])
        GHC_CONVERT_VENDOR([$target_vendor], [TargetVendor])
109
        GHC_CONVERT_OS([$target_os], [$TargetArch], [TargetOS])
110
    fi
111

112 113
    GHC_LLVM_TARGET([$target_cpu],[$target_vendor],[$target_os],[LlvmTarget])

114 115
    GHC_SELECT_FILE_EXTENSIONS([$host], [exeext_host], [soext_host])
    GHC_SELECT_FILE_EXTENSIONS([$target], [exeext_target], [soext_target])
116 117 118 119 120 121
    windows=NO
    case $host in
    *-unknown-mingw32)
        windows=YES
        ;;
    esac
122

123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140
    BuildPlatform="$BuildArch-$BuildVendor-$BuildOS"
    BuildPlatform_CPP=`echo "$BuildPlatform" | sed -e 's/\./_/g' -e 's/-/_/g'`
    BuildArch_CPP=`    echo "$BuildArch"     | sed -e 's/\./_/g' -e 's/-/_/g'`
    BuildVendor_CPP=`  echo "$BuildVendor"   | sed -e 's/\./_/g' -e 's/-/_/g'`
    BuildOS_CPP=`      echo "$BuildOS"       | sed -e 's/\./_/g' -e 's/-/_/g'`

    HostPlatform="$HostArch-$HostVendor-$HostOS"
    HostPlatform_CPP=`echo "$HostPlatform" | sed -e 's/\./_/g' -e 's/-/_/g'`
    HostArch_CPP=`    echo "$HostArch"     | sed -e 's/\./_/g' -e 's/-/_/g'`
    HostVendor_CPP=`  echo "$HostVendor"   | sed -e 's/\./_/g' -e 's/-/_/g'`
    HostOS_CPP=`      echo "$HostOS"       | sed -e 's/\./_/g' -e 's/-/_/g'`

    TargetPlatform="$TargetArch-$TargetVendor-$TargetOS"
    TargetPlatform_CPP=`echo "$TargetPlatform" | sed -e 's/\./_/g' -e 's/-/_/g'`
    TargetArch_CPP=`    echo "$TargetArch"     | sed -e 's/\./_/g' -e 's/-/_/g'`
    TargetVendor_CPP=`  echo "$TargetVendor"   | sed -e 's/\./_/g' -e 's/-/_/g'`
    TargetOS_CPP=`      echo "$TargetOS"       | sed -e 's/\./_/g' -e 's/-/_/g'`

141
    # we intend to pass trough --targets to llvm as is.
142
    LLVMTarget_CPP=`    echo "$LlvmTarget"`
143

144 145 146
    echo "GHC build  : $BuildPlatform"
    echo "GHC host   : $HostPlatform"
    echo "GHC target : $TargetPlatform"
147
    echo "LLVM target: $LlvmTarget"
148 149 150 151 152 153 154 155 156 157 158 159 160 161 162

    AC_SUBST(BuildPlatform)
    AC_SUBST(HostPlatform)
    AC_SUBST(TargetPlatform)
    AC_SUBST(HostPlatform_CPP)
    AC_SUBST(BuildPlatform_CPP)
    AC_SUBST(TargetPlatform_CPP)

    AC_SUBST(HostArch_CPP)
    AC_SUBST(BuildArch_CPP)
    AC_SUBST(TargetArch_CPP)

    AC_SUBST(HostOS_CPP)
    AC_SUBST(BuildOS_CPP)
    AC_SUBST(TargetOS_CPP)
163
    AC_SUBST(LLVMTarget_CPP)
164 165 166 167 168

    AC_SUBST(HostVendor_CPP)
    AC_SUBST(BuildVendor_CPP)
    AC_SUBST(TargetVendor_CPP)

169 170 171 172
    AC_SUBST(exeext_host)
    AC_SUBST(exeext_target)
    AC_SUBST(soext_host)
    AC_SUBST(soext_target)
173 174 175 176 177 178 179 180
])


# FPTOOLS_SET_HASKELL_PLATFORM_VARS
# ----------------------------------
# Set the Haskell platform variables
AC_DEFUN([FPTOOLS_SET_HASKELL_PLATFORM_VARS],
[
181 182
    checkArch() {
        case [$]1 in
183 184 185
        i386)
            test -z "[$]2" || eval "[$]2=ArchX86"
            ;;
186
        x86_64|amd64)
187 188 189 190 191 192
            test -z "[$]2" || eval "[$]2=ArchX86_64"
            ;;
        powerpc)
            test -z "[$]2" || eval "[$]2=ArchPPC"
            ;;
        powerpc64)
193 194 195 196
            test -z "[$]2" || eval "[$]2=\"ArchPPC_64 {ppc_64ABI = ELF_V1}\""
            ;;
        powerpc64le)
            test -z "[$]2" || eval "[$]2=\"ArchPPC_64 {ppc_64ABI = ELF_V2}\""
197
            ;;
198 199 200
        s390x)
            test -z "[$]2" || eval "[$]2=ArchS390X"
            ;;
201 202 203
        sparc)
            test -z "[$]2" || eval "[$]2=ArchSPARC"
            ;;
204 205 206
        sparc64)
            test -z "[$]2" || eval "[$]2=ArchSPARC64"
            ;;
207 208
        arm)
            GET_ARM_ISA()
209
            test -z "[$]2" || eval "[$]2=\"ArchARM {armISA = \$ARM_ISA, armISAExt = \$ARM_ISA_EXT, armABI = \$ARM_ABI}\""
210
            ;;
Colin Watson's avatar
Colin Watson committed
211 212 213
        aarch64)
            test -z "[$]2" || eval "[$]2=ArchARM64"
            ;;
214 215 216 217 218 219 220 221 222
        alpha)
            test -z "[$]2" || eval "[$]2=ArchAlpha"
            ;;
        mips|mipseb)
            test -z "[$]2" || eval "[$]2=ArchMipseb"
            ;;
        mipsel)
            test -z "[$]2" || eval "[$]2=ArchMipsel"
            ;;
223
        hppa|hppa1_1|ia64|m68k|nios2|riscv32|riscv64|rs6000|s390|sh4|vax)
224
            test -z "[$]2" || eval "[$]2=ArchUnknown"
225 226 227 228 229 230 231 232 233 234
            ;;
        *)
            echo "Unknown arch [$]1"
            exit 1
            ;;
        esac
    }

    checkVendor() {
        case [$]1 in
235
        dec|none|unknown|hp|apple|next|sun|sgi|ibm|montavista|portbld|alpine)
236 237
            ;;
        *)
238
            AC_MSG_WARN([Unknown vendor [$]1])
239 240 241 242 243 244
            ;;
        esac
    }

    checkOS() {
        case [$]1 in
245
        linux|linux-android)
246 247
            test -z "[$]2" || eval "[$]2=OSLinux"
            ;;
248
        darwin|ios|watchos|tvos)
249 250 251 252 253 254 255 256 257 258 259
            test -z "[$]2" || eval "[$]2=OSDarwin"
            ;;
        solaris2)
            test -z "[$]2" || eval "[$]2=OSSolaris2"
            ;;
        mingw32)
            test -z "[$]2" || eval "[$]2=OSMinGW32"
            ;;
        freebsd)
            test -z "[$]2" || eval "[$]2=OSFreeBSD"
            ;;
260 261 262
        dragonfly)
            test -z "[$]2" || eval "[$]2=OSDragonFly"
            ;;
263 264 265
        kfreebsdgnu)
            test -z "[$]2" || eval "[$]2=OSKFreeBSD"
            ;;
266 267 268
        openbsd)
            test -z "[$]2" || eval "[$]2=OSOpenBSD"
            ;;
Ian Lynagh's avatar
Ian Lynagh committed
269 270 271
        netbsd)
            test -z "[$]2" || eval "[$]2=OSNetBSD"
            ;;
pcapriotti's avatar
pcapriotti committed
272 273 274
        haiku)
            test -z "[$]2" || eval "[$]2=OSHaiku"
            ;;
275 276 277
        nto-qnx)
            test -z "[$]2" || eval "[$]2=OSQNXNTO"
            ;;
278
        dragonfly|hpux|linuxaout|freebsd2|nextstep2|nextstep3|sunos4|ultrix)
279
            test -z "[$]2" || eval "[$]2=OSUnknown"
280
            ;;
281 282 283
        aix)
            test -z "[$]2" || eval "[$]2=OSAIX"
            ;;
284 285 286
        gnu)
            test -z "[$]2" || eval "[$]2=OSHurd"
            ;;
287 288 289 290 291
        *)
            echo "Unknown OS '[$]1'"
            exit 1
            ;;
        esac
292
    }
293

294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312
    dnl Note [autoconf assembler checks and -flto]
    dnl ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    dnl
    dnl Autoconf's AC_COMPILE_IFELSE macro is fragile in the case of checks
    dnl which require that the assembler is run. Specifically, GCC does not run
    dnl the assembler if invoked with `-c -flto`; it merely dumps its internal
    dnl AST to the object file, to be compiled and assembled during the final
    dnl link.
    dnl
    dnl This can cause configure checks like that for the
    dnl .subsections_via_symbols directive to pass unexpected (see #16440),
    dnl leading the build system to incorrectly conclude that the directive is
    dnl supported.
    dnl
    dnl For this reason, it is important that configure checks that rely on the
    dnl assembler failing use AC_LINK_IFELSE rather than AC_COMPILE_IFELSE,
    dnl ensuring that the assembler sees the check.
    dnl

313 314 315 316
    dnl ** check for Apple-style dead-stripping support
    dnl    (.subsections-via-symbols assembler directive)

    AC_MSG_CHECKING(for .subsections_via_symbols)
317 318
    dnl See Note [autoconf assembler checks and -flto]
    AC_LINK_IFELSE(
319 320
        [AC_LANG_PROGRAM([], [__asm__ (".subsections_via_symbols");])],
        [AC_MSG_RESULT(yes)
321
         TargetHasSubsectionsViaSymbols=YES
322 323 324
         AC_DEFINE([HAVE_SUBSECTIONS_VIA_SYMBOLS],[1],
                   [Define to 1 if Apple-style dead-stripping is supported.])
        ],
325
        [TargetHasSubsectionsViaSymbols=NO
326 327
         AC_MSG_RESULT(no)])

328 329 330
    dnl ** check for .ident assembler directive

    AC_MSG_CHECKING(whether your assembler supports .ident directive)
331 332 333
    dnl See Note [autoconf assembler checks and -flto]
    AC_LINK_IFELSE(
        [AC_LANG_PROGRAM([__asm__ (".ident \"GHC x.y.z\"");], [])],
334
        [AC_MSG_RESULT(yes)
335
         TargetHasIdentDirective=YES],
336
        [AC_MSG_RESULT(no)
337
         TargetHasIdentDirective=NO])
338

339 340 341 342 343 344 345 346
    dnl *** check for GNU non-executable stack note support (ELF only)
    dnl     (.section .note.GNU-stack,"",@progbits)

    dnl This test doesn't work with "gcc -g" in gcc 4.4 (GHC trac #3889:
    dnl     Error: can't resolve `.note.GNU-stack' {.note.GNU-stack section} - `.Ltext0' {.text section}
    dnl so we empty CFLAGS while running this test
    CFLAGS2="$CFLAGS"
    CFLAGS=
347 348 349 350 351 352 353 354 355
    case $TargetArch in
      arm)
        dnl See #13937.
        progbits="%progbits"
        ;;
      *)
        progbits="@progbits"
        ;;
    esac
356
    AC_MSG_CHECKING(for GNU non-executable stack support)
357 358 359 360 361 362 363 364 365
    dnl See Note [autoconf assembler checks and -flto]
    AC_LINK_IFELSE(
       dnl the `main` function is placed after the .note.GNU-stack directive
       dnl so we need to ensure that the active segment is correctly set,
       dnl otherwise `main` will be placed in the wrong segment.
        [AC_LANG_PROGRAM([
           __asm__ (".section .note.GNU-stack,\"\",$progbits");
           __asm__ (".section .text");
         ], [0])],
366
        [AC_MSG_RESULT(yes)
367
         TargetHasGnuNonexecStack=YES],
368
        [AC_MSG_RESULT(no)
369
         TargetHasGnuNonexecStack=NO])
370 371
    CFLAGS="$CFLAGS2"

372
    checkArch "$BuildArch" "HaskellBuildArch"
373 374 375
    checkVendor "$BuildVendor"
    checkOS "$BuildOS" ""

376
    checkArch "$HostArch" "HaskellHostArch"
377
    checkVendor "$HostVendor"
378
    checkOS "$HostOS" "HaskellHostOs"
379 380 381 382 383

    checkArch "$TargetArch" "HaskellTargetArch"
    checkVendor "$TargetVendor"
    checkOS "$TargetOS" "HaskellTargetOs"

384 385
    AC_SUBST(HaskellHostArch)
    AC_SUBST(HaskellHostOs)
386 387
    AC_SUBST(HaskellTargetArch)
    AC_SUBST(HaskellTargetOs)
388 389 390
    AC_SUBST(TargetHasSubsectionsViaSymbols)
    AC_SUBST(TargetHasIdentDirective)
    AC_SUBST(TargetHasGnuNonexecStack)
391 392 393 394 395
])


# GET_ARM_ISA
# ----------------------------------
Gabor Greif's avatar
Gabor Greif committed
396
# Get info about the ISA on the ARM arch
397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431
AC_DEFUN([GET_ARM_ISA],
[
    AC_COMPILE_IFELSE([
        AC_LANG_PROGRAM(
            [],
            [#if defined(__ARM_ARCH_2__)  || \
                 defined(__ARM_ARCH_3__)  || \
                 defined(__ARM_ARCH_3M__) || \
                 defined(__ARM_ARCH_4__)  || \
                 defined(__ARM_ARCH_4T__) || \
                 defined(__ARM_ARCH_5__)  || \
                 defined(__ARM_ARCH_5T__) || \
                 defined(__ARM_ARCH_5E__) || \
                 defined(__ARM_ARCH_5TE__)
                 return 0;
             #else
                 not pre arm v6
             #endif]
        )],
        [AC_DEFINE(arm_HOST_ARCH_PRE_ARMv6, 1, [ARM pre v6])
         AC_DEFINE(arm_HOST_ARCH_PRE_ARMv7, 1, [ARM pre v7])
         changequote(, )dnl
         ARM_ISA=ARMv5
         ARM_ISA_EXT="[]"
         changequote([, ])dnl
        ],
        [
            AC_COMPILE_IFELSE([
                AC_LANG_PROGRAM(
                    [],
                    [#if defined(__ARM_ARCH_6__)   || \
                         defined(__ARM_ARCH_6J__)  || \
                         defined(__ARM_ARCH_6T2__) || \
                         defined(__ARM_ARCH_6Z__)  || \
                         defined(__ARM_ARCH_6ZK__) || \
Moritz Angermann's avatar
Moritz Angermann committed
432 433
                         defined(__ARM_ARCH_6K__)  || \
                         defined(__ARM_ARCH_6KZ__) || \
434 435 436 437 438 439 440 441
                         defined(__ARM_ARCH_6M__)
                         return 0;
                     #else
                         not pre arm v7
                     #endif]
                )],
                [AC_DEFINE(arm_HOST_ARCH_PRE_ARMv7, 1, [ARM pre v7])
                 ARM_ISA=ARMv6
442 443 444 445 446 447 448 449 450 451 452
                 AC_COMPILE_IFELSE([
                        AC_LANG_PROGRAM(
                                [],
                                [#if defined(__VFP_FP__)
                                     return 0;
                                #else
                                     no vfp
                                #endif]
                        )],
                        [changequote(, )dnl
                         ARM_ISA_EXT="[VFPv2]"
453 454
                         changequote([, ])dnl
                        ],
455 456
                        [changequote(, )dnl
                         ARM_ISA_EXT="[]"
457 458
                         changequote([, ])dnl
                        ]
459
                )],
460 461
                [changequote(, )dnl
                 ARM_ISA=ARMv7
462
                 ARM_ISA_EXT="[VFPv3,NEON]"
463 464 465
                 changequote([, ])dnl
                ])
        ])
466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492

        AC_COMPILE_IFELSE(
               [AC_LANG_PROGRAM(
                       [],
                       [#if defined(__SOFTFP__)
                            return 0;
                       #else
                            not softfp
                       #endif]
               )],
               [changequote(, )dnl
                ARM_ABI="SOFT"
                changequote([, ])dnl
               ],
               [AC_COMPILE_IFELSE(
                    [AC_LANG_PROGRAM(
                       [],
                       [#if defined(__ARM_PCS_VFP)
                            return 0;
                       #else
                            no hard float ABI
                       #endif]
                    )],
                    [ARM_ABI="HARD"],
                    [ARM_ABI="SOFTFP"]
               )]
        )
493 494

        AC_SUBST(ARM_ISA)
495 496 497 498 499 500 501 502
])


# FP_SETTINGS
# ----------------------------------
# Set the variables used in the settings file
AC_DEFUN([FP_SETTINGS],
[
503
    if test "$windows" = YES -a "$EnableDistroToolchain" = "NO"
504
    then
505 506 507
        mingw_bin_prefix='$$tooldir/mingw/bin/'
        SettingsCCompilerCommand="${mingw_bin_prefix}gcc.exe"
        SettingsHaskellCPPCommand="${mingw_bin_prefix}gcc.exe"
508
        SettingsHaskellCPPFlags="$HaskellCPPArgs"
509 510 511 512 513 514
        SettingsLdCommand="${mingw_bin_prefix}ld.exe"
        SettingsArCommand="${mingw_bin_prefix}ar.exe"
        SettingsRanlibCommand="${mingw_bin_prefix}ranlib.exe"
        SettingsDllWrapCommand="${mingw_bin_prefix}dllwrap.exe"
        SettingsWindresCommand="${mingw_bin_prefix}windres.exe"
        SettingsTouchCommand='$$topdir/bin/touchy.exe'
515 516 517 518
    elif test "$EnableDistroToolchain" = "YES"
    then
        SettingsCCompilerCommand="$(basename $CC)"
        SettingsCCompilerFlags="$CONF_CC_OPTS_STAGE2"
519
        SettingsCxxCompilerFlags="$CONF_CXX_OPTS_STAGE2"
520 521 522 523 524 525
        SettingsHaskellCPPCommand="$(basename $HaskellCPPCmd)"
        SettingsHaskellCPPFlags="$HaskellCPPArgs"
        SettingsLdCommand="$(basename $LdCmd)"
        SettingsArCommand="$(basename $ArCmd)"
        SettingsDllWrapCommand="$(basename $DllWrapCmd)"
        SettingsWindresCommand="$(basename $WindresCmd)"
526
        SettingsTouchCommand='$$topdir/bin/touchy.exe'
527
    else
528 529 530 531 532
        SettingsCCompilerCommand="$CC"
        SettingsHaskellCPPCommand="$HaskellCPPCmd"
        SettingsHaskellCPPFlags="$HaskellCPPArgs"
        SettingsLdCommand="$LdCmd"
        SettingsArCommand="$ArCmd"
Moritz Angermann's avatar
Moritz Angermann committed
533
        SettingsRanlibCommand="$RanlibCmd"
534
        if test -z "$DllWrapCmd"
535 536 537
        then
            SettingsDllWrapCommand="/bin/false"
        else
538
            SettingsDllWrapCommand="$DllWrapCmd"
539
        fi
540
        if test -z "$WindresCmd"
541 542 543
        then
            SettingsWindresCommand="/bin/false"
        else
544
            SettingsWindresCommand="$WindresCmd"
545
        fi
Moritz Angermann's avatar
Moritz Angermann committed
546 547 548 549 550 551 552
       SettingsTouchCommand='touch'
    fi
    if test -z "$LibtoolCmd"
    then
      SettingsLibtoolCommand="libtool"
    else
      SettingsLibtoolCommand="$LibtoolCmd"
553
    fi
Moritz Angermann's avatar
Moritz Angermann committed
554 555 556 557 558 559
    if test -z "$ClangCmd"
    then
        SettingsClangCommand="clang"
    else
        SettingsClangCommand="$ClangCmd"
    fi
560 561 562 563 564 565 566 567 568 569 570
    if test -z "$LlcCmd"
    then
      SettingsLlcCommand="llc"
    else
      SettingsLlcCommand="$LlcCmd"
    fi
    if test -z "$OptCmd"
    then
      SettingsOptCommand="opt"
    else
      SettingsOptCommand="$OptCmd"
571
    fi
572
    SettingsCCompilerFlags="$CONF_CC_OPTS_STAGE2"
573
    SettingsCxxCompilerFlags="$CONF_CXX_OPTS_STAGE2"
574
    SettingsCCompilerLinkFlags="$CONF_GCC_LINKER_OPTS_STAGE2"
Ben Gamari's avatar
Ben Gamari committed
575
    SettingsCCompilerSupportsNoPie="$CONF_GCC_SUPPORTS_NO_PIE"
576
    SettingsLdFlags="$CONF_LD_LINKER_OPTS_STAGE2"
577
    AC_SUBST(SettingsCCompilerCommand)
578 579
    AC_SUBST(SettingsHaskellCPPCommand)
    AC_SUBST(SettingsHaskellCPPFlags)
580
    AC_SUBST(SettingsCCompilerFlags)
581
    AC_SUBST(SettingsCxxCompilerFlags)
582
    AC_SUBST(SettingsCCompilerLinkFlags)
Ben Gamari's avatar
Ben Gamari committed
583
    AC_SUBST(SettingsCCompilerSupportsNoPie)
Simon Marlow's avatar
Simon Marlow committed
584
    AC_SUBST(SettingsLdCommand)
585
    AC_SUBST(SettingsLdFlags)
586
    AC_SUBST(SettingsArCommand)
Moritz Angermann's avatar
Moritz Angermann committed
587
    AC_SUBST(SettingsRanlibCommand)
588 589
    AC_SUBST(SettingsDllWrapCommand)
    AC_SUBST(SettingsWindresCommand)
590
    AC_SUBST(SettingsLibtoolCommand)
591
    AC_SUBST(SettingsTouchCommand)
Moritz Angermann's avatar
Moritz Angermann committed
592
    AC_SUBST(SettingsClangCommand)
593 594
    AC_SUBST(SettingsLlcCommand)
    AC_SUBST(SettingsOptCommand)
595 596
])

597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638
# Helper for cloning a shell variable's state
AC_DEFUN([FP_COPY_SHELLVAR],
[if test -n "${$1+set}"; then $2="$$1"; else unset $2; fi ])

# FP_SET_CFLAGS_C99
# ----------------------------------
# figure out which CFLAGS are needed to place the compiler into C99 mode
# $1 is name of CC variable (unmodified)
# $2 is name of CC flags variable (augmented if needed)
# $3 is name of CPP flags variable (augmented if needed)
AC_DEFUN([FP_SET_CFLAGS_C99],
[
    dnl save current state of AC_PROG_CC_C99
    FP_COPY_SHELLVAR([CC],[fp_save_CC])
    FP_COPY_SHELLVAR([CFLAGS],[fp_save_CFLAGS])
    FP_COPY_SHELLVAR([CPPFLAGS],[fp_save_CPPFLAGS])
    FP_COPY_SHELLVAR([ac_cv_prog_cc_c99],[fp_save_cc_c99])
    dnl set local state
    CC="$$1"
    CFLAGS="$$2"
    CPPFLAGS="$$3"
    unset ac_cv_prog_cc_c99
    dnl perform detection
    _AC_PROG_CC_C99
    fp_cc_c99="$ac_cv_prog_cc_c99"
    case "x$ac_cv_prog_cc_c99" in
      x)   ;; # noop
      xno) AC_MSG_ERROR([C99-compatible compiler needed]) ;;
      *)   $2="$$2 $ac_cv_prog_cc_c99"
           $3="$$3 $ac_cv_prog_cc_c99"
           ;;
    esac
    dnl restore saved state
    FP_COPY_SHELLVAR([fp_save_CC],[CC])
    FP_COPY_SHELLVAR([fp_save_CFLAGS],[CFLAGS])
    FP_COPY_SHELLVAR([fp_save_CPPFLAGS],[CPPFLAGS])
    FP_COPY_SHELLVAR([fp_save_cc_c99],[ac_cv_prog_cc_c99])
    dnl cleanup
    unset fp_save_CC
    unset fp_save_CFLAGS
    unset fp_save_cc_c99
])
639

640 641
# FPTOOLS_SET_C_LD_FLAGS
# ----------------------------------
642
# Set the C, LD and CPP flags for a given platform.
643
# $1 is the platform
644 645 646 647
# $2 is the name of the CC flags variable
# $3 is the name of the linker flags variable when linking with gcc
# $4 is the name of the linker flags variable when linking with ld
# $5 is the name of the CPP flags variable
648 649
AC_DEFUN([FPTOOLS_SET_C_LD_FLAGS],
[
650
    AC_REQUIRE([FP_PROG_LD_IS_GNU])
651
    AC_MSG_CHECKING([Setting up $2, $3, $4 and $5])
652
    case $$1 in
653
    i386-*)
654 655 656 657 658
        # Workaround for #7799
        $2="$$2 -U__i686"
        ;;
    esac

659
    case $$1 in
660 661 662
    i386-unknown-mingw32)
        $2="$$2 -march=i686"
        ;;
663 664 665
    i386-portbld-freebsd*)
        $2="$$2 -march=i686"
        ;;
666
    x86_64-unknown-solaris2)
667 668 669 670 671 672
        # Solaris is a multi-lib platform, providing both 32- and 64-bit
        # user-land. It appears to default to 32-bit builds but we of course want to
        # compile for 64-bits on x86-64.
        #
        # On OpenSolaris uses gnu ld whereas SmartOS appears to use the Solaris
        # implementation, which rather uses the -64 flag.
673 674 675
        $2="$$2 -m64"
        $3="$$3 -m64"
        $5="$$5 -m64"
676 677 678 679 680
        if test "$fp_cv_gnu_ld" = "yes"; then
            $4="$$4 -m64"
        else
            $4="$$4 -64"
        fi
681
        ;;
682 683 684 685 686 687 688 689 690 691 692 693 694 695 696
    alpha-*)
        # For now, to suppress the gcc warning "call-clobbered
        # register used for global register variable", we simply
        # disable all warnings altogether using the -w flag. Oh well.
        $2="$$2 -w -mieee -D_REENTRANT"
        $3="$$3 -w -mieee -D_REENTRANT"
        $5="$$5 -w -mieee -D_REENTRANT"
        ;;
    hppa*)
        # ___HPUX_SOURCE, not _HPUX_SOURCE, is #defined if -ansi!
        # (very nice, but too bad the HP /usr/include files don't agree.)
        $2="$$2 -D_HPUX_SOURCE"
        $3="$$3 -D_HPUX_SOURCE"
        $5="$$5 -D_HPUX_SOURCE"
        ;;
Ben Gamari's avatar
Ben Gamari committed
697 698 699 700 701 702 703 704

    arm*freebsd*)
        # On arm/freebsd, tell gcc to generate Arm
        # instructions (ie not Thumb).
        $2="$$2 -marm"
        $3="$$3 -Wl,-z,noexecstack"
        $4="$$4 -z noexecstack"
        ;;
705 706
    arm*linux*)
        # On arm/linux and arm/android, tell gcc to generate Arm
707
        # instructions (ie not Thumb).
708
        $2="$$2 -marm"
709
        $3="$$3 -Wl,-z,noexecstack"
710 711 712
        $4="$$4 -z noexecstack"
        ;;

Ben Gamari's avatar
Ben Gamari committed
713 714 715 716
    aarch64*freebsd*)
        $3="$$3 -Wl,-z,noexecstack"
        $4="$$4 -z noexecstack"
        ;;
717
    aarch64*linux*)
718
        $3="$$3 -Wl,-z,noexecstack"
719
        $4="$$4 -z noexecstack"
720
        ;;
721 722

    powerpc-ibm-aix*)
723 724 725 726
        # We need `-D_THREAD_SAFE` to unlock the thread-local `errno`.
        $2="$$2 -D_THREAD_SAFE"
        $3="$$3 -D_THREAD_SAFE -Wl,-bnotextro"
        $4="$$4 -bnotextro"
727 728 729
        $5="$$5 -D_THREAD_SAFE"
        ;;

730 731 732
    x86_64-*-openbsd*)
        # We need -z wxneeded at least to link ghc-stage2 to workaround
        # W^X issue in GHCi on OpenBSD current (as of Aug 2016)
733
        $3="$$3 -Wl,-z,wxneeded"
734 735 736
        $4="$$4 -z wxneeded"
        ;;

737
    esac
738

Ian Lynagh's avatar
Ian Lynagh committed
739
    AC_MSG_RESULT([done])
740 741 742
])


743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760
# FP_VISIBILITY_HIDDEN
# ----------------------------------
# Is the visibility hidden attribute supported?
AC_DEFUN([FP_VISIBILITY_HIDDEN],
[
    AC_MSG_CHECKING([whether __attribute__((visibility("hidden"))) is supported])
    echo '__attribute__((visibility("hidden"))) void foo(void) {}' > conftest.c
    if $CC -Wall -Werror -c conftest.c > /dev/null 2>&1
    then
        AC_MSG_RESULT([yes])
        AC_DEFINE(HAS_VISIBILITY_HIDDEN, 1, [Has visibility hidden])
    else
        AC_MSG_RESULT([no])
    fi
    rm -f conftest.c conftest.o
])


761 762
# FPTOOLS_FLOAT_WORD_ORDER_BIGENDIAN
# ----------------------------------
Gabor Greif's avatar
Gabor Greif committed
763
# Little endian ARM on Linux with some ABIs has big endian word order
764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787
# in doubles. Define FLOAT_WORDS_BIGENDIAN if this is the case.
AC_DEFUN([FPTOOLS_FLOAT_WORD_ORDER_BIGENDIAN],
  [AC_CACHE_CHECK([whether float word order is big endian], [fptools_cv_float_word_order_bigendian],
    [AC_COMPILE_IFELSE(
      [AC_LANG_PROGRAM(
        [#include <endian.h>],
        [#if defined(__FLOAT_WORD_ORDER) && __FLOAT_WORD_ORDER == BIG_ENDIAN
             return 0;
         #else
             not float word order big endian
         #endif]
      )],
      [fptools_cv_float_word_order_bigendian=yes],
      [fptools_cv_float_word_order_bigendian=no])
    ])
  case $fptools_cv_float_word_order_bigendian in
      yes)
          AC_DEFINE([FLOAT_WORDS_BIGENDIAN], 1,
          [Define to 1 if your processor stores words of floats with
           the most significant byte first]) ;;
  esac
])


788 789 790
# FP_PROG_CONTEXT_DIFF
# --------------------
# Figure out how to do context diffs. Sets the output variable ContextDiffCmd.
791 792
#
# Note: NeXTStep thinks diff'ing a file against itself is "trouble".
793 794 795 796 797
AC_DEFUN([FP_PROG_CONTEXT_DIFF],
[AC_CACHE_CHECK([for a working context diff], [fp_cv_context_diff],
[echo foo > conftest1
echo foo > conftest2
fp_cv_context_diff=no
Ian Lynagh's avatar
Ian Lynagh committed
798
for fp_var in '-U 1' '-u1' '-C 1' '-c1'
799 800 801 802 803 804 805 806 807 808 809 810 811
do
  if diff $fp_var conftest1 conftest2 > /dev/null 2>&1; then
    fp_cv_context_diff="diff $fp_var"
    break
  fi
done])
if test x"$fp_cv_context_diff" = xno; then
   AC_MSG_ERROR([cannot figure out how to do context diffs])
fi
AC_SUBST(ContextDiffCmd, [$fp_cv_context_diff])
])# FP_PROG_CONTEXT_DIFF


812
# FP_COMPUTE_INT(EXPRESSION, VARIABLE, INCLUDES, IF-FAILS)
813
# --------------------------------------------------------
814 815 816
# Assign VARIABLE the value of the compile-time EXPRESSION using INCLUDES for
# compilation. Execute IF-FAILS when unable to determine the value. Works for
# cross-compilation, too.
817 818 819 820
#
# Implementation note: We are lazy and use an internal autoconf macro, but it
# is supported in autoconf versions 2.50 up to the actual 2.57, so there is
# little risk.
821 822 823 824 825 826 827 828 829 830
AC_DEFUN([FP_COMPUTE_INT],
[_AC_COMPUTE_INT([$1], [$2], [$3], [$4])[]dnl
])# FP_COMPUTE_INT


# FP_CHECK_ALIGNMENT(TYPE, [IGNORED], [INCLUDES = DEFAULT-INCLUDES])
# ------------------------------------------------------------------
# A variation of AC_CHECK_SIZEOF for computing the alignment restrictions of a
# given type. Defines ALIGNMENT_TYPE.
AC_DEFUN([FP_CHECK_ALIGNMENT],
831
[AS_LITERAL_IF(m4_translit([[$1]], [*], [p]), [],
832
               [AC_FATAL([$0: requires literal arguments])])[]dnl
833 834 835
AC_CHECK_TYPE([$1], [], [], [$3])[]dnl
m4_pushdef([fp_Cache], [AS_TR_SH([fp_cv_alignment_$1])])[]dnl
AC_CACHE_CHECK([alignment of $1], [fp_Cache],
836
[if test "$AS_TR_SH([ac_cv_type_$1])" = yes; then
837
  FP_COMPUTE_INT([offsetof(struct { char c; $1 ty; },ty)],
838
                 [fp_Cache],
839
                 [AC_INCLUDES_DEFAULT([$3])],
840 841
                 [AC_MSG_ERROR([cannot compute alignment ($1)
See `config.log' for more details.], [77])])
842
else
843 844 845 846
  fp_Cache=0
fi])[]dnl
AC_DEFINE_UNQUOTED(AS_TR_CPP(alignment_$1), $fp_Cache, [The alignment of a `$1'.])[]dnl
m4_popdef([fp_Cache])[]dnl
847 848 849
])# FP_CHECK_ALIGNMENT


850 851 852 853 854 855 856 857 858

# FP_CHECK_SIZEOF_AND_ALIGNMENT(TYPE)
# ------------------------------------------------------------------
# Combines AC_CHECK_SIZEOF and FP_CHECK_ALIGNMENT.
AC_DEFUN([FP_CHECK_SIZEOF_AND_ALIGNMENT],
[AC_CHECK_SIZEOF([$1])
FP_CHECK_ALIGNMENT([$1])
])# FP_CHECK_SIZEOF_AND_ALIGNMENT

859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900
# FP_DEFAULT_CHOICE_OVERRIDE_CHECK(
#   flag, name, anti name, var name, help string,
#   [var true val], [var false val], [flag true val])
# ---------------------------------------------------
# Helper for when there is a automatic detection and an explicit flag for the
# user to override disable a feature, but not override enable a feature.
#
# $1 = flag of feature
# $2 = name of feature
# $3 = name of anti feature
# $4 = name of variable
# $5 = help string
# $6 = when true
# $7 = when false
# $8 = default explicit case (yes/no). Used for handle "backwards" legacy
#      options where enabling makes fewer assumptions than disabling.
AC_DEFUN(
    [FP_DEFAULT_CHOICE_OVERRIDE_CHECK],
    [AC_ARG_ENABLE(
        [$1],
        [AC_HELP_STRING(
            [--enable-$1],
            [$5])],
        [AS_IF(
           [test x"$enableval" = x"m4_default([$8],yes)"],
           [AS_CASE(
               [x"$$4Default"],
               [x"m4_default([$6],YES)"],
                 [AC_MSG_NOTICE([user chose $2 matching default for platform])],
               [x"m4_default([$7],NO)"],
                 [AC_MSG_ERROR([user chose $2 overriding only supported option for platform])],
               [AC_MSG_ERROR([invalid default])])
            $4=m4_default([$6],YES)],
           [AS_CASE(
               [x"$$4Default"],
               [x"m4_default([$6],YES)"],
                 [AC_MSG_NOTICE([user chose $3 overriding for platform])],
               [x"m4_default([$7],NO)"],
                 [AC_MSG_NOTICE([user chose $3 matching default for platform])],
               [AC_MSG_ERROR([invalid default])])
            $4=m4_default([$7],NO)])],
        [$4="$$4Default"])])
901

902 903 904 905 906 907 908 909 910 911 912
# FP_LEADING_UNDERSCORE
# ---------------------
# Test for determining whether symbol names have a leading underscore. We assume
# that they _haven't_ if anything goes wrong. Sets the output variable
# LeadingUnderscore to YES or NO and defines LEADING_UNDERSCORE correspondingly.
#
# Some nlist implementations seem to try to be compatible by ignoring a leading
# underscore sometimes (eg. FreeBSD). We therefore have to work around this by
# checking for *no* leading underscore first. Sigh.  --SDM
#
# Similarly on OpenBSD, but this test doesn't help. -- dons
913
#
914 915 916 917 918
AC_DEFUN([FP_LEADING_UNDERSCORE],
[AC_CHECK_LIB([elf], [nlist], [LIBS="-lelf $LIBS"])
AC_CACHE_CHECK([leading underscore in symbol names], [fptools_cv_leading_underscore], [
# Hack!: nlist() under Digital UNIX insist on there being an _,
# but symbol table listings shows none. What is going on here?!?
919
case $TargetPlatform in
920 921 922 923 924 925 926 927 928 929
    # Apples mach-o platforms use leading underscores
    *-apple-*) fptools_cv_leading_underscore=yes;;
    *linux-android*) fptools_cv_leading_underscore=no;;
    *openbsd*) # x86 openbsd is ELF from 3.4 >, meaning no leading uscore
      case $build in
        i386-*2\.@<:@0-9@:>@ | i386-*3\.@<:@0-3@:>@ ) fptools_cv_leading_underscore=yes ;;
        *) fptools_cv_leading_underscore=no ;;
      esac ;;
    i386-unknown-mingw32) fptools_cv_leading_underscore=yes;;
    x86_64-unknown-mingw32) fptools_cv_leading_underscore=no;;
Ben Gamari's avatar
Ben Gamari committed
930
    *) AC_RUN_IFELSE([AC_LANG_SOURCE([[#if defined(HAVE_NLIST_H)
sof's avatar
sof committed
931
#include <nlist.h>
932 933
struct nlist xYzzY1[] = {{"xYzzY1", 0},{0}};
struct nlist xYzzY2[] = {{"_xYzzY2", 0},{0}};
sof's avatar
sof committed
934 935
#endif

936 937 938
int main(argc, argv)
int argc;
char **argv;
sof's avatar
sof committed
939
{
Ben Gamari's avatar
Ben Gamari committed
940
#if defined(HAVE_NLIST_H)
941 942 943
    if(nlist(argv[0], xYzzY1) == 0 && xYzzY1[0].n_value != 0)
        exit(1);
    if(nlist(argv[0], xYzzY2) == 0 && xYzzY2[0].n_value != 0)
944
        exit(0);
sof's avatar
sof committed
945 946
#endif
    exit(1);
947
}]])],[fptools_cv_leading_underscore=yes],[fptools_cv_leading_underscore=no],[fptools_cv_leading_underscore=no])
948
;;
949 950 951
esac]);
AC_SUBST([LeadingUnderscore], [`echo $fptools_cv_leading_underscore | sed 'y/yesno/YESNO/'`])
if test x"$fptools_cv_leading_underscore" = xyes; then
952
   AC_SUBST([CabalLeadingUnderscore],[True])
953
   AC_DEFINE([LEADING_UNDERSCORE], [1], [Define to 1 if C symbols have a leading underscore added by the compiler.])
954 955 956 957
else
   AC_SUBST([CabalLeadingUnderscore],[False])
fi
])# FP_LEADING_UNDERSCORE
sof's avatar
sof committed
958

959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986

# FP_COMPARE_VERSIONS(VERSION1, TEST, VERSION2, [ACTION-IF-TRUE], [ACTION-IF-FALSE])
# ----------------------------------------------------------------------------------
# Compare dotted version numbers VERSION1 and VERSION2 lexicographically according
# to TEST (one of -eq, -ne, -lt, -le, -gt, or -ge).
AC_DEFUN([FP_COMPARE_VERSIONS],
[fp_version1=$1; fp_version2=$3
fp_save_IFS=$IFS; IFS='.'
while test x"$fp_version1" != x || test x"$fp_version2" != x
do

  set dummy $fp_version1; shift
  fp_num1=""
  test $[@%:@] = 0 || { fp_num1="[$]1"; shift; }
  test x"$fp_num1" = x && fp_num1="0"
  fp_version1="[$]*"

  set dummy $fp_version2; shift
  fp_num2=""
  test $[@%:@] = 0 || { fp_num2="[$]1"; shift; }
  test x"$fp_num2" = x && fp_num2="0"
  fp_version2="[$]*"

  test "$fp_num1" = "$fp_num2" || break;
done
IFS=$fp_save_IFS
AS_IF([test "$fp_num1" $2 "$fp_num2"], [$4], [$5])[]dnl
])# FP_COMPARE_VERSIONS
987 988


sof's avatar
sof committed
989
dnl
990 991 992 993 994 995
dnl Check for Happy and version:
dnl
dnl 1. Use happy specified in env var HAPPY
dnl 2. Find happy in path
dnl 3. Check happy version
dnl
996
dnl If you increase the minimum version requirement, please also update:
997
dnl https://gitlab.haskell.org/ghc/ghc/wikis/building/preparation/tools
998
dnl
999
AC_DEFUN([FPTOOLS_HAPPY],
1000 1001
[AC_PATH_PROG(HAPPY,[happy],)
AC_SUBST(HappyCmd,$HAPPY)
sof's avatar
sof committed
1002
AC_CACHE_CHECK([for version of happy], fptools_cv_happy_version,
sof's avatar
sof committed
1003
changequote(, )dnl
1004 1005
[
if test x"$HappyCmd" != x; then
1006
   fptools_cv_happy_version=`"$HappyCmd" -v |
rwbarton's avatar
rwbarton committed
1007
              grep 'Happy Version' | sed -e 's/Happy Version \([^ ]*\).*/\1/g'` ;
sof's avatar
sof committed
1008
else
sof's avatar
sof committed
1009
   fptools_cv_happy_version="";
sof's avatar
sof committed
1010
fi;
1011
changequote([, ])dnl
1012
])
1013
if test ! -f compiler/parser/Parser.hs || test ! -f compiler/GHC/Cmm/Parser.hs
1014
then
1015 1016
    FP_COMPARE_VERSIONS([$fptools_cv_happy_version],[-lt],[1.19.10],
      [AC_MSG_ERROR([Happy version 1.19.10 or later is required to compile GHC.])])[]
1017
fi
1018
HappyVersion=$fptools_cv_happy_version;
sof's avatar
sof committed
1019 1020 1021
AC_SUBST(HappyVersion)
])

1022
dnl
1023
dnl Check for Alex and version.
1024 1025 1026 1027 1028
dnl
dnl 1. Use alex specified in env var ALEX
dnl 2. Find alex in path
dnl 3. Check alex version
dnl
1029
dnl If you increase the minimum version requirement, please also update:
1030
dnl https://gitlab.haskell.org/ghc/ghc/wikis/building/preparation/tools
1031
dnl
1032
AC_DEFUN([FPTOOLS_ALEX],
1033 1034
[AC_PATH_PROG(ALEX,[alex],)
AC_SUBST(AlexCmd,$ALEX)
1035 1036
AC_CACHE_CHECK([for version of alex], fptools_cv_alex_version,
changequote(, )dnl
1037
[if test x"$AlexCmd" != x; then
1038
   fptools_cv_alex_version=`"$AlexCmd" -v |
rwbarton's avatar
rwbarton committed
1039
              grep 'Alex [Vv]ersion' | sed -e 's/Alex [Vv]ersion \([0-9\.]*\).*/\1/g'` ;
1040 1041 1042 1043 1044
else
   fptools_cv_alex_version="";
fi;
changequote([, ])dnl
])
1045 1046 1047 1048 1049
if test ! -f compiler/parser/Lexer.hs
then
    FP_COMPARE_VERSIONS([$fptools_cv_alex_version],[-lt],[3.1.7],
      [AC_MSG_ERROR([Alex version 3.1.7 or later is required to compile GHC.])])[]
fi
1050 1051 1052 1053
AlexVersion=$fptools_cv_alex_version;
AC_SUBST(AlexVersion)
])

sof's avatar
sof committed
1054

1055 1056 1057 1058 1059
# FP_PROG_LD_FLAG
# ---------------
# Sets the output variable $2 to $1 if ld supports the $1 flag.
# Otherwise the variable's value is empty.
AC_DEFUN([FP_PROG_LD_FLAG],
1060
[
1061
AC_CACHE_CHECK([whether ld understands $1], [fp_cv_$2],
1062
[echo 'int foo() { return 0; }' > conftest.c
1063
${CC-cc} -c conftest.c
1064 1065
if ${LdCmd} -r $1 -o conftest2.o conftest.o > /dev/null 2>&1; then
   fp_cv_$2=$1
1066
else
1067
   fp_cv_$2=
1068
fi
1069
rm -rf conftest*])
1070 1071 1072 1073
$2=$fp_cv_$2
])# FP_PROG_LD_FLAG


1074 1075 1076 1077 1078 1079 1080 1081
# FP_PROG_LD_BUILD_ID
# ------------

# Sets the output variable LdHasBuildId to YES if ld supports
# --build-id, or NO otherwise.
AC_DEFUN([FP_PROG_LD_BUILD_ID],
[
AC_CACHE_CHECK([whether ld understands --build-id], [fp_cv_ld_build_id],
1082
[echo 'int foo() { return 0; }' > conftest.c
1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098
${CC-cc} -c conftest.c
if ${LdCmd} -r --build-id=none -o conftest2.o conftest.o > /dev/null 2>&1; then
   fp_cv_ld_build_id=yes
else
   fp_cv_ld_build_id=no
fi
rm -rf conftest*])
if test "$fp_cv_ld_build_id" = yes; then
  LdHasBuildId=YES
else
  LdHasBuildId=NO
fi
AC_SUBST([LdHasBuildId])
])# FP_PROG_LD_BUILD_ID


1099 1100 1101 1102
# FP_PROG_LD_IS_GNU
# -----------------
# Sets the output variable LdIsGNULd to YES or NO, depending on whether it is
# GNU ld or not.
1103
AC_DEFUN([FP_PROG_LD_IS_GNU],[
1104
AC_CACHE_CHECK([whether ld is GNU ld], [fp_cv_gnu_ld],
1105 1106
[[if ${LdCmd} --version 2> /dev/null | grep "GNU" > /dev/null 2>&1; then
  fp_cv_gnu_ld=YES
1107
else
1108 1109 1110
  fp_cv_gnu_ld=NO
fi]])
AC_SUBST([LdIsGNULd],["$fp_cv_gnu_ld"])
1111
])# FP_PROG_LD_IS_GNU
1112

sof's avatar
sof committed
1113

1114 1115 1116 1117 1118 1119 1120 1121
# FP_PROG_LD_NO_COMPACT_UNWIND
# ----------------------------

# Sets the output variable LdHasNoCompactUnwind to YES if ld supports
# -no_compact_unwind, or NO otherwise.
AC_DEFUN([FP_PROG_LD_NO_COMPACT_UNWIND],
[
AC_CACHE_CHECK([whether ld understands -no_compact_unwind], [fp_cv_ld_no_compact_unwind],
1122
[echo 'int foo() { return 0; }' > conftest.c
1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138
${CC-cc} -c conftest.c
if ${LdCmd} -r -no_compact_unwind -o conftest2.o conftest.o > /dev/null 2>&1; then
   fp_cv_ld_no_compact_unwind=yes
else
   fp_cv_ld_no_compact_unwind=no
fi
rm -rf conftest*])
if test "$fp_cv_ld_no_compact_unwind" = yes; then
  LdHasNoCompactUnwind=YES
else
  LdHasNoCompactUnwind=NO
fi
AC_SUBST([LdHasNoCompactUnwind])
])# FP_PROG_LD_NO_COMPACT_UNWIND


1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170
# FP_PROG_LD_FILELIST
# -------------------

# Sets the output variable LdHasFilelist to YES if ld supports
# -filelist, or NO otherwise.
AC_DEFUN([FP_PROG_LD_FILELIST],
[
AC_CACHE_CHECK([whether ld understands -filelist], [fp_cv_ld_has_filelist],
[
    echo 'int foo() { return 0; }' > conftest1.c
    echo 'int bar() { return 0; }' > conftest2.c
    ${CC-cc} -c conftest1.c
    ${CC-cc} -c conftest2.c
    echo conftest1.o  > conftest.o-files
    echo conftest2.o >> conftest.o-files
    if ${LdCmd} -r -filelist conftest.o-files -o conftest.o > /dev/null 2>&1
    then
        fp_cv_ld_has_filelist=yes
    else
        fp_cv_ld_has_filelist=no
    fi
    rm -rf conftest*
])
if test "$fp_cv_ld_has_filelist" = yes; then
    LdHasFilelist=YES
else
    LdHasFilelist=NO
fi
AC_SUBST([LdHasFilelist])
])# FP_PROG_LD_FILELIST


1171 1172
# FP_PROG_AR
# ----------
1173
# Sets fp_prog_ar to a path to ar. Exits if no ar can be found
1174 1175 1176
# The host normalization on Windows breaks autoconf, it no longer
# thinks that target == host so it never checks the unqualified
# tools for Windows. See #14274.
1177
AC_DEFUN([FP_PROG_AR],
1178
[if test -z "$fp_prog_ar"; then
1179 1180 1181 1182 1183 1184 1185 1186 1187
  if test "$HostOS" = "mingw32"
  then
    AC_PATH_PROG([fp_prog_ar], [ar])
    if test -n "$fp_prog_ar"; then
      fp_prog_ar=$(cygpath -m $fp_prog_ar)
    fi
  else
    AC_CHECK_TARGET_TOOL([fp_prog_ar], [ar])
  fi
1188
fi
1189
if test -z "$fp_prog_ar"; then
1190
  AC_MSG_ERROR([cannot find ar in your PATH, no idea how to make a library])
sof's avatar
sof committed
1191
fi
1192 1193 1194 1195 1196 1197 1198 1199
])# FP_PROG_AR


# FP_PROG_AR_IS_GNU
# -----------------
# Sets fp_prog_ar_is_gnu to yes or no, depending on whether it is GNU ar or not.
AC_DEFUN([FP_PROG_AR_IS_GNU],
[AC_REQUIRE([FP_PROG_AR])
Ian Lynagh's avatar
Ian Lynagh committed
1200 1201
AC_CACHE_CHECK([whether $fp_prog_ar is GNU ar], [fp_cv_prog_ar_is_gnu],
[if "$fp_prog_ar" --version 2> /dev/null | grep "GNU" > /dev/null 2>&1; then
1202 1203 1204 1205 1206
  fp_cv_prog_ar_is_gnu=yes
else
  fp_cv_prog_ar_is_gnu=no
fi])
fp_prog_ar_is_gnu=$fp_cv_prog_ar_is_gnu
Ian Lynagh's avatar
Ian Lynagh committed
1207
AC_SUBST([ArIsGNUAr], [`echo $fp_prog_ar_is_gnu | tr 'a-z' 'A-Z'`])
1208 1209 1210
])# FP_PROG_AR_IS_GNU


1211 1212 1213 1214 1215 1216 1217
# FP_PROG_AR_SUPPORTS_ATFILE
# -----------------
# Sets fp_prog_ar_supports_atfile to yes or no, depending on whether
# or not it supports the @file syntax
AC_DEFUN([FP_PROG_AR_SUPPORTS_ATFILE],
[AC_REQUIRE([FP_PROG_AR])
 AC_REQUIRE([FP_PROG_AR_ARGS])
Ian Lynagh's avatar
Ian Lynagh committed
1218
AC_CACHE_CHECK([whether $fp_prog_ar supports @file], [fp_cv_prog_ar_supports_atfile],
1219 1220 1221 1222 1223
[
rm -f conftest*
touch conftest.file
echo conftest.file  > conftest.atfile
echo conftest.file >> conftest.atfile
Ian Lynagh's avatar
Ian Lynagh committed
1224 1225
"$fp_prog_ar" $fp_prog_ar_args conftest.a @conftest.atfile > /dev/null 2>&1
fp_prog_ar_supports_atfile_tmp=`"$fp_prog_ar" t conftest.a 2> /dev/null | grep -c conftest.file`
1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236
rm -f conftest*
if test "$fp_prog_ar_supports_atfile_tmp" -eq 2
then
  fp_cv_prog_ar_supports_atfile=yes
else
  fp_cv_prog_ar_supports_atfile=no
fi])
fp_prog_ar_supports_atfile=$fp_cv_prog_ar_supports_atfile
AC_SUBST([ArSupportsAtFile], [`echo $fp_prog_ar_supports_atfile | tr 'a-z' 'A-Z'`])
])# FP_PROG_AR_SUPPORTS_ATFILE

1237 1238 1239
# FP_PROG_AR_ARGS
# ---------------
# Sets fp_prog_ar_args to the arguments for ar and the output variable ArCmd
1240
# to an invocation of ar including these arguments.
1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251
AC_DEFUN([FP_PROG_AR_ARGS],
[AC_REQUIRE([FP_PROG_AR_IS_GNU])
AC_CACHE_CHECK([for ar arguments], [fp_cv_prog_ar_args],
[
# GNU ar needs special treatment: it appears to have problems with
# object files with the same name if you use the 's' modifier, but
# simple 'ar q' works fine, and doesn't need a separate ranlib.
if test $fp_prog_ar_is_gnu = yes; then
  fp_cv_prog_ar_args="q"
else
  touch conftest.dummy
Ben Gamari's avatar
Ben Gamari committed
1252
  for fp_var in qclsZ qcls qcs qcl qc ; do
1253
     rm -f conftest.a
Ben Gamari's avatar
Ben Gamari committed
1254 1255 1256 1257 1258 1259 1260
     if "$fp_prog_ar" $fp_var conftest.a conftest.dummy > /dev/null 2> /dev/null ; then
       # Also check that a result was created; it seems some llvm-ar versions
       # exit with code zero even if they fail to parse the command line.
       if test -f conftest.a ; then
         fp_cv_prog_ar_args=$fp_var
         break
       fi
1261 1262 1263 1264
     fi
  done
  rm -f conftest*
  if test -z "$fp_cv_prog_ar_args"; then
Ian Lynagh's avatar
Ian Lynagh committed
1265
    AC_MSG_ERROR([cannot figure out how to use your $fp_prog_ar])
1266 1267 1268
  fi
fi])
fp_prog_ar_args=$fp_cv_prog_ar_args
1269 1270
AC_SUBST([ArCmd], ["$fp_prog_ar"])
AC_SUBST([ArArgs], ["$fp_prog_ar_args"])
1271 1272 1273 1274 1275 1276

])# FP_PROG_AR_ARGS


# FP_PROG_AR_NEEDS_RANLIB
# -----------------------
1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289
# Sets the output variable RANLIB_CMD to "ranlib" if it is needed and
# found, to "true" otherwise. Sets REAL_RANLIB_CMD to the ranlib program,
# even if we don't need ranlib (libffi might still need it).
AC_DEFUN([FP_PROG_AR_NEEDS_RANLIB],[
    AC_REQUIRE([FP_PROG_AR_IS_GNU])
    AC_REQUIRE([FP_PROG_AR_ARGS])
    AC_REQUIRE([AC_PROG_CC])

    AC_PROG_RANLIB

    if test $fp_prog_ar_is_gnu = yes
    then
        fp_cv_prog_ar_needs_ranlib=no
1290
    elif test "$TargetVendor_CPP" = "apple"
1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303
    then
        # It's quite tedious to check for Apple's crazy timestamps in
        # .a files, so we hardcode it.
        fp_cv_prog_ar_needs_ranlib=yes
    else
        case $fp_prog_ar_args in
        *s*)
            fp_cv_prog_ar_needs_ranlib=no;;
        *)
            fp_cv_prog_ar_needs_ranlib=yes;;
        esac
    fi

1304 1305 1306 1307 1308 1309 1310 1311 1312 1313
    # workaround for AC_PROG_RANLIB which sets RANLIB to `:' when
    # ranlib is missing on the target OS. The problem is that
    # ghc-cabal cannot execute `:' which is a shell built-in but can
    # execute `true' which is usually simple program supported by the
    # OS.
    # Fixes #8795
    if test "$RANLIB" = ":"
    then
        RANLIB="true"
    fi
1314 1315 1316 1317 1318 1319 1320 1321 1322
    REAL_RANLIB_CMD="$RANLIB"
    if test $fp_cv_prog_ar_needs_ranlib = yes
    then
        RANLIB_CMD="$RANLIB"
    else
        RANLIB_CMD="true"
    fi
    AC_SUBST([REAL_RANLIB_CMD])
    AC_SUBST([RANLIB_CMD])
1323 1324 1325
])# FP_PROG_AR_NEEDS_RANLIB


1326
# FP_GCC_VERSION
1327 1328
# -----------
# Extra testing of the result AC_PROG_CC, testing the gcc version no. Sets the
1329
# (unsubstituted) output variable GccVersion.
Ben Gamari's avatar
Ben Gamari committed
1330 1331
AC_DEFUN([FP_GCC_VERSION], [
  AC_REQUIRE([AC_PROG_CC])
1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349
  if test -z "$CC"; then
    AC_MSG_ERROR([C compiler is required])
  fi

  if $CC --version | grep --quiet gcc; then
    AC_CACHE_CHECK([version of gcc], [fp_cv_gcc_version],
    [
        # Be sure only to look at the first occurrence of the "version " string;
        # Some Apple compilers emit multiple messages containing this string.
        AC_MSG_CHECKING([version of gcc])
        fp_cv_gcc_version="`$CC -v 2>&1 | sed -n -e '1,/version /s/.*version [[^0-9]]*\([[0-9.]]*\).*/\1/p'`"
        AC_MSG_RESULT([$fp_cv_gcc_version])
        FP_COMPARE_VERSIONS([$fp_cv_gcc_version], [-lt], [4.6],
                            [AC_MSG_ERROR([Need at least gcc version 4.6 (4.7+ recommended)])])
    ])
    AC_SUBST([GccVersion], [$fp_cv_gcc_version])
  else
    AC_MSG_NOTICE([\$CC is not gcc; assuming it's a reasonably new C compiler])
Ben Gamari's avatar
Ben Gamari committed
1350
  fi
1351
])# FP_GCC_VERSION
1352

1353
dnl Check to see if the C compiler is clang or llvm-gcc
1354 1355
dnl
AC_DEFUN([FP_CC_LLVM_BACKEND],
Ben Gamari's avatar
Ben Gamari committed
1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369
  [AC_REQUIRE([AC_PROG_CC])
   AC_MSG_CHECKING([whether C compiler has an LLVM back end])
   $CC -x c /dev/null -dM -E > conftest.txt 2>&1
   if grep "__llvm__" conftest.txt >/dev/null 2>&1; then
     AC_DEFINE([CC_LLVM_BACKEND], [1], [Define (to 1) if C compiler has an LLVM back end])
     CcLlvmBackend=YES
     AC_MSG_RESULT([yes])
   else
     CcLlvmBackend=NO
     AC_MSG_RESULT([no])
   fi
   AC_SUBST(CcLlvmBackend)

   rm -f conftest.txt
1370 1371
])

1372 1373 1374 1375 1376 1377 1378
# FP_GCC_SUPPORTS__ATOMICS
# ------------------------
# Does gcc support the __atomic_* family of builtins?
AC_DEFUN([FP_GCC_SUPPORTS__ATOMICS],
[
   AC_REQUIRE([AC_PROG_CC])
   AC_MSG_CHECKING([whether GCC supports __atomic_ builtins])
1379
   echo 'int test(int *x) { int y; __atomic_load(x, &y, __ATOMIC_SEQ_CST); return y; }' > conftest.c
1380 1381 1382 1383 1384 1385 1386 1387 1388 1389
   if $CC -c conftest.c > /dev/null 2>&1; then
       CONF_GCC_SUPPORTS__ATOMICS=YES
       AC_MSG_RESULT([yes])
   else
       CONF_GCC_SUPPORTS__ATOMICS=NO
       AC_MSG_RESULT([no])
   fi
   rm -f conftest.c conftest.o
])

Ben Gamari's avatar
Ben Gamari committed
1390 1391 1392 1393 1394 1395 1396 1397 1398
# FP_GCC_SUPPORTS_NO_PIE
# ----------------------
# Does gcc support the -no-pie option? If so we should pass it to gcc when
# joining objects since -pie may be enabled by default.
AC_DEFUN([FP_GCC_SUPPORTS_NO_PIE],
[
   AC_REQUIRE([AC_PROG_CC])
   AC_MSG_CHECKING([whether GCC supports -no-pie])
   echo 'int main() { return 0; }' > conftest.c
1399
   # Some GCC versions only warn when passed an unrecognized flag.
1400
   if $CC -no-pie -Werror -x c /dev/null -dM -E > conftest.txt 2>&1 && ! grep -i unrecognized conftest.txt > /dev/null 2>&1; then
Ben Gamari's avatar
Ben Gamari committed
1401 1402 1403 1404 1405 1406 1407 1408 1409
       CONF_GCC_SUPPORTS_NO_PIE=YES
       AC_MSG_RESULT([yes])
   else
       CONF_GCC_SUPPORTS_NO_PIE=NO
       AC_MSG_RESULT([no])
   fi
   rm -f conftest.c conftest.o conftest
])

1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424

# FP_CHECK_PROG(VARIABLE, PROG-TO-CHECK-FOR,
#               [VALUE-IF-NOT-FOUND], [PATH], [REJECT])
# -----------------------------------------------------
# HACK: A small wrapper around AC_CHECK_PROG, setting VARIABLE to the full path
# of PROG-TO-CHECK-FOR when found.
AC_DEFUN([FP_CHECK_PROG],
[AC_CHECK_PROG([$1], [$2], [$as_dir/$ac_word$ac_exec_ext], [$3], [$4], [$5])][]dnl
)# FP_CHECK_PROC


# FP_PROG_FIND
# ------------
# Find a non-WinDoze version of the "find" utility.
AC_DEFUN([FP_PROG_FIND],
Ian Lynagh's avatar
Ian Lynagh committed
1425
[AC_PATH_PROGS([fp_prog_find], [gfind find], find)
1426 1427 1428 1429 1430
echo foo > conftest.txt
$fp_prog_find conftest.txt -print > conftest.out 2>&1
if grep '^conftest.txt$' conftest.out > /dev/null 2>&1 ; then
  # OK, looks like a real "find".
  FindCmd="$fp_prog_find"
sof's avatar
sof committed
1431
else
1432 1433 1434
  # Found a poor WinDoze version of "find", ignore it.
  AC_MSG_WARN([$fp_prog_find looks like a non-*nix find, ignoring it])
  FP_CHECK_PROG([FindCmd], [find], [], [], [$fp_prog_find])
sof's avatar
sof committed
1435
fi
1436 1437 1438 1439
rm -f conftest.txt conftest.out
AC_SUBST([FindCmd])[]dnl
])# FP_PROG_FIND

sof's avatar
sof committed
1440

1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460
# FP_PROG_SORT
# ------------
# Find a Unix-like sort
AC_DEFUN([FP_PROG_SORT],
[AC_PATH_PROG([fp_prog_sort], [sort])
echo conwip > conftest.txt
$fp_prog_sort -f conftest.txt > conftest.out 2>&1
if grep 'conwip' conftest.out > /dev/null 2>&1 ; then
  # The goods
  SortCmd="$fp_prog_sort"
else
  # Summink else..pick next one.
  AC_MSG_WARN([$fp_prog_sort looks like a non-*nix sort, ignoring it])
  FP_CHECK_PROG([SortCmd], [sort], [], [], [$fp_prog_sort])
fi
rm -f conftest.txt conftest.out
AC_SUBST([SortCmd])[]dnl
])# FP_PROG_SORT


1461 1462 1463 1464 1465 1466 1467
dnl
dnl FPTOOLS_NOCACHE_CHECK prints a message, then sets the
dnl values of the second argument to the result of running
dnl the commands given by the third. It does not cache its
dnl result, so it is suitable for checks which should be
dnl run every time.
dnl
1468
AC_DEFUN([FPTOOLS_NOCACHE_CHECK],
1469 1470 1471 1472 1473
[AC_MSG_CHECKING([$1])
 $3
 AC_MSG_RESULT([$][$2])
])

1474 1475 1476
dnl
dnl FPTOOLS_GHC_VERSION(version)
dnl FPTOOLS_GHC_VERSION(major, minor [, patchlevel])
1477
dnl FPTOOLS_GHC_VERSION(version, major, minor, patchlevel)
1478 1479
dnl
dnl Test for version of installed ghc.  Uses $GHC.
1480
dnl [original version pinched from c2hs]
1481
dnl
1482
AC_DEFUN([FPTOOLS_GHC_VERSION],
1483
[FPTOOLS_NOCACHE_CHECK([version of ghc], [fptools_version_of_ghc],
1484
["${WithGhc-ghc}" --version > conftestghc 2>&1
1485
  cat conftestghc >&AS_MESSAGE_LOG_FD
1486 1487
#Useless Use Of cat award...
  fptools_version_of_ghc=`cat conftestghc | sed -n -e 's/, patchlevel *\([[0-9]]\)/.\1/;s/.* version \([[0-9]][[0-9.]]*\).*/\1/p'`
1488
  rm -fr conftest*
1489
  if test "[$]fptools_version_of_ghc" = ""
1490
  then
1491 1492 1493 1494 1495 1496 1497
    fptools_version_of_ghc='unknown'
  fi
fptools_version_of_ghc[_major]=`echo [$]fptools_version_of_ghc | sed -e 's/^\([[0-9]]\).*/\1/'`
fptools_version_of_ghc[_minor]=`echo [$]fptools_version_of_ghc | sed -e 's/^[[0-9]]\.\([[0-9]]*\).*/\1/'`
fptools_version_of_ghc[_pl]=`echo [$]fptools_version_of_ghc | sed -n -e 's/^[[0-9]]\.[[0-9]]*\.\([[0-9]]*\)/\1/p'`
#
if test "[$]fptools_version_of_ghc[_pl]" = ""
1498
then
1499 1500
  fptools_version_of_ghc[_all]="[$]fptools_version_of_ghc[_major].[$]fptools_version_of_ghc[_minor]"
  fptools_version_of_ghc[_pl]="0"
1501
else
1502
  fptools_version_of_ghc[_all]="[$]fptools_version_of_ghc[_major].[$]fptools_version_of_ghc[_minor].[$]fptools_version_of_ghc[_pl]"
1503
fi
1504
#
1505
ifelse($#, [1], [dnl
1506
[$1]="[$]fptools_version_of_ghc[_all]"
1507
], $#, [2], [dnl
1508 1509
[$1]="[$]fptools_version_of_ghc[_major]"
[$2]="[$]fptools_version_of_ghc[_minor]"
1510
], $#, [3], [dnl
1511 1512 1513
[$1]="[$]fptools_version_of_ghc[_major]"
[$2]="[$]fptools_version_of_ghc[_minor]"
[$3]="[$]fptools_version_of_ghc[_pl]"
1514
], $#, [4], [dnl
1515 1516 1517 1518 1519 1520
[$1]="[$]fptools_version_of_ghc[_all]"
[$2]="[$]fptools_version_of_ghc[_major]"
[$3]="[$]fptools_version_of_ghc[_minor]"
[$4]="[$]fptools_version_of_ghc[_pl]"
])
])
1521
])dnl
1522 1523


1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540
# FP_CHECK_FUNC(FUNCTION, PROLOGUE, BODY, [ACTION-IF-FOUND], [ACTION-IF-NOT-FOUND])
# ---------------------------------------------------------------------------------
# A variant of AC_CHECK_FUNCS, limited to a single FUNCTION, but with the
# additional flexibility of specifying the PROLOGUE and BODY.
AC_DEFUN([FP_CHECK_FUNC],
[AS_VAR_PUSHDEF([fp_func], [fp_cv_func_$1])dnl
AC_CACHE_CHECK([for $1], fp_func,
[AC_LINK_IFELSE([AC_LANG_PROGRAM([$2], [$3])],
                [AS_VAR_SET(fp_func, yes)],
                [AS_VAR_SET(fp_func, no)])])
AS_IF([test AS_VAR_GET(fp_func) = yes],
      [AC_DEFINE(AS_TR_CPP(HAVE_$1), [1],
                [Define to 1 if you have the `]$1[' function.]) $4],
      [$5])dnl
AS_VAR_POPDEF([fp_func])dnl
])# FP_CHECK_FUNC

1541 1542 1543
# FP_PROG_GHC_PKG
# ----------------
# Try to find a ghc-pkg matching the ghc mentioned in the environment variable
Ian Lynagh's avatar
Ian Lynagh committed
1544
# WithGhc. Sets the output variable GhcPkgCmd.
1545 1546
AC_DEFUN([FP_PROG_GHC_PKG],
[AC_CACHE_CHECK([for ghc-pkg matching $WithGhc], fp_cv_matching_ghc_pkg,
Ian Lynagh's avatar
Ian Lynagh committed
1547 1548 1549 1550 1551 1552
[
# If we are told to use ghc-stage2, then we're using an in-tree
# compiler. In this case, we just want ghc-pkg, not ghc-pkg-stage2,
# so we sed off -stage[0-9]$. However, if we are told to use
# ghc-6.12.1 then we want to use ghc-pkg-6.12.1, so we keep any
# other suffix.
1553
fp_ghc_pkg_guess=`echo "$WithGhc" | sed -e 's/-stage@<:@0-9@:>@$//' -e 's,ghc\(@<:@^/\\@:>@*\)$,ghc-pkg\1,'`
Ian Lynagh's avatar
Ian Lynagh committed
1554
if "$fp_ghc_pkg_guess" list > /dev/null 2>&1; then
1555
  fp_cv_matching_ghc_pkg=$fp_ghc_pkg_guess
1556
else
Ian Lynagh's avatar
Ian Lynagh committed
1557
  AC_MSG_ERROR([Cannot find matching ghc-pkg])
1558
fi])
Ian Lynagh's avatar
Ian Lynagh committed
1559 1560 1561
GhcPkgCmd=$fp_cv_matching_ghc_pkg
AC_SUBST([GhcPkgCmd])
])# FP_PROG_GHC_PKG
1562

1563

1564 1565 1566 1567 1568 1569
# FP_GCC_EXTRA_FLAGS
# ------------------
# Determine which extra flags we need to pass gcc when we invoke it
# to compile .hc code.
#
# -fwrapv is needed for gcc to emit well-behaved code in the presence of
1570
# integer wrap around. (#952)
1571 1572
#
AC_DEFUN([FP_GCC_EXTRA_FLAGS],
1573
[AC_REQUIRE([FP_GCC_VERSION])
1574
AC_CACHE_CHECK([for extra options to pass gcc when compiling via C], [fp_cv_gcc_extra_opts],
1575 1576 1577 1578 1579 1580
[
 if test "$Unregisterised" = "YES"; then
   # These used to be conditioned on gcc version but we no longer support
   # GCC versions which lack support for these flags
   fp_cv_gcc_extra_opts="-fwrapv -fno-builtin"
 fi
1581 1582 1583
])
AC_SUBST([GccExtraViaCOpts],$fp_cv_gcc_extra_opts)
])
1584

1585

1586 1587 1588
# FP_SET