From 67e5581e37df2c7481be6261dcefa9fb41439c81 Mon Sep 17 00:00:00 2001 From: Kelly Wilson Date: Fri, 29 Nov 2013 09:59:16 +0100 Subject: [PATCH] Add support for PPC 64bit on Linux In particular Debian Linux-3.9.8-1- PPC64 No functional change. --- src/Makefile | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/src/Makefile b/src/Makefile index 1f9f27da..0a49ac5e 100644 --- a/src/Makefile +++ b/src/Makefile @@ -165,6 +165,16 @@ ifeq ($(ARCH),osx-ppc-32) sse = no 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) arch = x86_64 os = osx @@ -397,6 +407,7 @@ help: @echo "x86-64-modern > x86 64-bit with popcnt support" @echo "x86-32 > x86 32-bit with SSE support" @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-32 > PPC-Mac OS X 32 bit" @echo "osx-x86-64 > x86-Mac OS X 64 bit" -- 2.39.2