From c0402b5615c43a43472dd2f18a5a69d64171a3c5 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 12 Oct 2015 05:07:17 +0200
Subject: [PATCH] [java] port to armv7l

---
 tools/cmake/Java.cmake | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/cmake/Java.cmake b/tools/cmake/Java.cmake
index 9b79ab7377..d73314c302 100644
--- a/tools/cmake/Java.cmake
+++ b/tools/cmake/Java.cmake
@@ -100,6 +100,9 @@ if(enable_lib_in_jar)
   if(${SG_SYSTEM_NAME} MATCHES "kFreeBSD")
     set(SG_SYSTEM_NAME GNU/kFreeBSD)
   endif()
+  if(${SG_SYSTEM_NAME} MATCHES "armv7l")
+    set(SG_SYSTEM_NAME arm) # Default arm (soft-float ABI)
+  endif()
 
   set(JAVA_NATIVE_PATH NATIVE/${SG_SYSTEM_NAME}/${CMAKE_SYSTEM_PROCESSOR})
   if(${CMAKE_SYSTEM_PROCESSOR} MATCHES "^i[3-6]86$")
-- 
2.20.1