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