Add Rpi4 platform in 64bit mode.

diff --git a/Makefile.libretro b/Makefile.libretro
index 797ee07..87b35f7 100644 (file)
--- a/Makefile.libretro
+++ b/Makefile.libretro
@@ -288,7 +288,7 @@ else ifeq ($(platform), rpi3)
        BUILTIN_GPU = neon
        DYNAREC = ari64
 
-#Raspberry Pi 4
+#Raspberry Pi 4 with a 32bit GNU/Linux OS
 else ifeq ($(platform), rpi4)
        TARGET := $(TARGET_NAME)_libretro.so
        fpic := -fPIC
@@ -299,6 +299,15 @@ else ifeq ($(platform), rpi4)
        BUILTIN_GPU = neon
        DYNAREC = ari64
 
+#Raspberry Pi 4 with a 64bit GNU/Linux OS
+else ifeq ($(platform), rpi4_64)
+        TARGET := $(TARGET_NAME)_libretro.so
+        ARCH := arm64
+        BUILTIN_GPU = unai
+        DYNAREC = lightrec
+        fpic := -fPIC
+        CFLAGS += -march=armv8-a+crc+simd -mtune=cortex-a72 -ftree-vectorize
+
 # Classic Platforms ####################
 # Platform affix = classic_<ISA>_<µARCH>
 # Help at https://modmyclassic.com/comp