From b07153f800c967e8255d76bdb948e57d057a56e7 Mon Sep 17 00:00:00 2001
From: Andrey Akhmichin <15944199+nekonomicon@users.noreply.github.com>
Date: Fri, 12 Jan 2024 14:08:27 +0500
Subject: [PATCH] android: enable pollyhedral optimization by default.

---
 android/app/build.gradle | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/android/app/build.gradle b/android/app/build.gradle
index ee029686..9952c3d1 100644
--- a/android/app/build.gradle
+++ b/android/app/build.gradle
@@ -15,6 +15,12 @@ android {
         minSdkVersion 3
         targetSdk 34
         compileSdk 34
+
+        externalNativeBuild {
+            cmake {
+                arguments '-DPOLLY=ON'
+            }
+        }
     }
 
     externalNativeBuild {
@@ -64,4 +70,4 @@ static def getBuildNum() {
     int qBuildNum = releaseDate.until(now, ChronoUnit.DAYS)
     int minuteOfDay = now.getHour() * 60 + now.getMinute()
     return qBuildNum * 10000 + minuteOfDay
-}
\ No newline at end of file
+}