Commit 71963675 authored by Joachim Breitner's avatar Joachim Breitner Committed by Simon Marlow
Browse files

KFreeBSD is also an ELF binary

Fixes: #5733
parent cf655bc9
...@@ -212,13 +212,16 @@ AC_DEFUN([FPTOOLS_SET_HASKELL_PLATFORM_VARS], ...@@ -212,13 +212,16 @@ AC_DEFUN([FPTOOLS_SET_HASKELL_PLATFORM_VARS],
freebsd) freebsd)
test -z "[$]2" || eval "[$]2=OSFreeBSD" test -z "[$]2" || eval "[$]2=OSFreeBSD"
;; ;;
kfreebsdgnu)
test -z "[$]2" || eval "[$]2=OSKFreeBSD"
;;
openbsd) openbsd)
test -z "[$]2" || eval "[$]2=OSOpenBSD" test -z "[$]2" || eval "[$]2=OSOpenBSD"
;; ;;
netbsd) netbsd)
test -z "[$]2" || eval "[$]2=OSNetBSD" test -z "[$]2" || eval "[$]2=OSNetBSD"
;; ;;
dragonfly|osf1|osf3|hpux|linuxaout|kfreebsdgnu|freebsd2|cygwin32|gnu|nextstep2|nextstep3|sunos4|ultrix|irix|aix|haiku) dragonfly|osf1|osf3|hpux|linuxaout|freebsd2|cygwin32|gnu|nextstep2|nextstep3|sunos4|ultrix|irix|aix|haiku)
test -z "[$]2" || eval "[$]2=OSUnknown" test -z "[$]2" || eval "[$]2=OSUnknown"
;; ;;
*) *)
......
...@@ -56,6 +56,7 @@ data OS ...@@ -56,6 +56,7 @@ data OS
| OSFreeBSD | OSFreeBSD
| OSOpenBSD | OSOpenBSD
| OSNetBSD | OSNetBSD
| OSKFreeBSD
deriving (Read, Show, Eq) deriving (Read, Show, Eq)
-- | ARM Instruction Set Architecture and Extensions -- | ARM Instruction Set Architecture and Extensions
...@@ -87,6 +88,7 @@ osElfTarget OSNetBSD = True ...@@ -87,6 +88,7 @@ osElfTarget OSNetBSD = True
osElfTarget OSSolaris2 = True osElfTarget OSSolaris2 = True
osElfTarget OSDarwin = False osElfTarget OSDarwin = False
osElfTarget OSMinGW32 = False osElfTarget OSMinGW32 = False
osElfTarget OSKFreeBSD = True
osElfTarget OSUnknown = False osElfTarget OSUnknown = False
-- Defaulting to False is safe; it means don't rely on any -- Defaulting to False is safe; it means don't rely on any
-- ELF-specific functionality. It is important to have a default for -- ELF-specific functionality. It is important to have a default for
......
Supports Markdown
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