1
0
Fork 0
mirror of https://github.com/sockspls/badfish synced 2025-04-30 08:43:09 +00:00

Add support for PPC 64bit on Linux

In particular Debian Linux-3.9.8-1- PPC64

No functional change.
This commit is contained in:
Kelly Wilson 2013-11-29 09:59:16 +01:00 committed by Marco Costalba
parent 3ede7daab3
commit 67e5581e37

View file

@ -165,6 +165,16 @@ ifeq ($(ARCH),osx-ppc-32)
sse = no sse = no
endif endif
ifeq ($(ARCH),linux-ppc-64)
arch = ppc64
os = any
bits = 64
prefetch = no
bsfq = no
popcnt = no
sse = no
endif
ifeq ($(ARCH),osx-x86-64) ifeq ($(ARCH),osx-x86-64)
arch = x86_64 arch = x86_64
os = osx os = osx
@ -397,6 +407,7 @@ help:
@echo "x86-64-modern > x86 64-bit with popcnt support" @echo "x86-64-modern > x86 64-bit with popcnt support"
@echo "x86-32 > x86 32-bit with SSE support" @echo "x86-32 > x86 32-bit with SSE support"
@echo "x86-32-old > x86 32-bit fall back for old hardware" @echo "x86-32-old > x86 32-bit fall back for old hardware"
@echo "linux-ppc-64 > PPC-Linux 64 bit"
@echo "osx-ppc-64 > PPC-Mac OS X 64 bit" @echo "osx-ppc-64 > PPC-Mac OS X 64 bit"
@echo "osx-ppc-32 > PPC-Mac OS X 32 bit" @echo "osx-ppc-32 > PPC-Mac OS X 32 bit"
@echo "osx-x86-64 > x86-Mac OS X 64 bit" @echo "osx-x86-64 > x86-Mac OS X 64 bit"