From ad4a1884786434f200dc4a200b31b1d85aca11d3 Mon Sep 17 00:00:00 2001
From: Mat Booth <mat.booth@redhat.com>
Date: Thu, 18 Jun 2020 15:23:18 +0100
Subject: [PATCH] Fix runtime classpath and minimum BREE
---
build.xml | 2 +-
org.sat4j.core/META-INF/MANIFEST.MF | 2 +-
org.sat4j.pb/META-INF/MANIFEST.MF | 3 +--
3 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/build.xml b/build.xml
index 624f511..122ad12 100644
--- a/build.xml
+++ b/build.xml
@@ -324,7 +324,7 @@
<javac
srcdir="${src}"
destdir="${build}"
- source="1.5"
+ source="${source}"
target="${target}"
debug="true"
includeantruntime="false">
diff --git a/org.sat4j.core/META-INF/MANIFEST.MF b/org.sat4j.core/META-INF/MANIFEST.MF
index e83a943..584326a 100644
--- a/org.sat4j.core/META-INF/MANIFEST.MF
+++ b/org.sat4j.core/META-INF/MANIFEST.MF
@@ -29,4 +29,4 @@ Specification-Vendor: Daniel Le Berre
Implementation-Title: SAT4J
Implementation-Version: 9.9.9.token
Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
-Bundle-RequiredExecutionEnvironment: J2SE-1.5
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
diff --git a/org.sat4j.pb/META-INF/MANIFEST.MF b/org.sat4j.pb/META-INF/MANIFEST.MF
index f5ef127..10fe459 100644
--- a/org.sat4j.pb/META-INF/MANIFEST.MF
+++ b/org.sat4j.pb/META-INF/MANIFEST.MF
@@ -21,5 +21,4 @@ Specification-Vendor: Daniel Le Berre
Implementation-Title: SAT4J
Implementation-Version: 9.9.9.token
Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
-Class-Path: org.sat4j.core.jar
-Bundle-RequiredExecutionEnvironment: J2SE-1.5
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
--
2.26.2