Updated and fixed dependencies:

- All java library dependency: fixed to java 1.8
- Added Automatic-Module-Name to be compatible with java 1.9
- Added all sources explicitly to build.properties
- removed .util packages generated by previous versions of Viatra

3 files changed, 5 insertions, 2 deletions

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF
index ba28b7ef..15ef98c3 100644
--- a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF
@@ -19,9 +19,10 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.smt.language;visibility:=reexport,
  org.eclipse.xtext.xbase.lib

 Import-Package: org.apache.log4j,

  org.eclipse.xtext.xbase.lib

-Bundle-RequiredExecutionEnvironment: J2SE-1.5

+Bundle-RequiredExecutionEnvironment: JavaSE-1.8

 Export-Package: hu.bme.mit.inf.dslreasoner.ui.quickfix,

  hu.bme.mit.inf.dslreasoner.ui.contentassist,

  hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr,

  hu.bme.mit.inf.dslreasoner.ui.internal

 Bundle-Activator: hu.bme.mit.inf.dslreasoner.ui.internal.SmtLanguageActivator

+Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.smt.language.ui

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF
index ec8f78ce..4476ca09 100644
--- a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF
@@ -21,7 +21,7 @@ Require-Bundle: org.eclipse.xtext;visibility:=reexport,
  org.eclipse.xtext.xbase.lib

 Import-Package: org.apache.log4j,

  org.eclipse.xtext.xbase.lib

-Bundle-RequiredExecutionEnvironment: J2SE-1.5

+Bundle-RequiredExecutionEnvironment: JavaSE-1.8

 Export-Package: hu.bme.mit.inf.dslreasoner,

  hu.bme.mit.inf.dslreasoner.services,

  hu.bme.mit.inf.dslreasoner.smtLanguage,

@@ -34,4 +34,5 @@ Export-Package: hu.bme.mit.inf.dslreasoner,
  hu.bme.mit.inf.dslreasoner.scoping,

  hu.bme.mit.inf.dslreasoner.generator,

  hu.bme.mit.inf.dslreasoner.formatting

+Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.smt.language

 

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/META-INF/MANIFEST.MF
index a7f26476..b844e56f 100644
--- a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/META-INF/MANIFEST.MF
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/META-INF/MANIFEST.MF
@@ -10,3 +10,4 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.smt.language;bundle-version="1.0.0",
  org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.5.0",
  org.eclipse.viatra.query.tooling.core;bundle-version="1.5.0"
 Export-Package: hu.bme.mit.inf.dslreasoner.smt.reasoner
+Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.smt.reasoner