From 5c50c864785fca113479df7ea6a3128e4c036a37 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tobias=20L=C3=A4nge?= <tobias.laenge@kit.edu>
Date: Mon, 9 Dec 2024 16:21:40 +0100
Subject: [PATCH] Fix small bugs

- Fix version mismatch between Java target and Kotlin target
- Add missing permission
---
 app/build.gradle                 | 9 +++++++++
 app/src/main/AndroidManifest.xml | 1 +
 2 files changed, 10 insertions(+)

diff --git a/app/build.gradle b/app/build.gradle
index 37d631c..c3ddaf3 100644
--- a/app/build.gradle
+++ b/app/build.gradle
@@ -27,6 +27,14 @@ android {
         targetCompatibility JavaVersion.VERSION_17
     }
 
+    kotlinOptions {
+        jvmTarget = JavaVersion.VERSION_17.toString()
+    }
+
+    kotlin {
+        jvmToolchain {17}
+    }
+
     testOptions {
         unitTests {
             returnDefaultValues = true
@@ -57,6 +65,7 @@ android {
     }
     lint {
         lintConfig = file("lint.xml")
+        abortOnError false
     }
     namespace 'privacyfriendlyshoppinglist.secuso.org.privacyfriendlyshoppinglist'
 }
diff --git a/app/src/main/AndroidManifest.xml b/app/src/main/AndroidManifest.xml
index 3cac0ed..e13a4ef 100644
--- a/app/src/main/AndroidManifest.xml
+++ b/app/src/main/AndroidManifest.xml
@@ -3,6 +3,7 @@
     xmlns:tools="http://schemas.android.com/tools">
 
     <uses-permission android:name="android.permission.CAMERA"/>
+    <uses-permission android:name="android.permission.POST_NOTIFICATIONS"/>
     <uses-feature android:name="android.hardware.camera" android:required="false"/>
 
     <supports-screens