aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-05-07 21:27:58 +0200
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-05-07 21:27:58 +0200
commitfd2efee477e4c32a5014fb9daa5c987ad21adb47 (patch)
treefb74ca2087e652be7c683dd179bfc228a7046ba8 /Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui
parentDebug for SMT scopes (diff)
downloadVIATRA-Generator-fd2efee477e4c32a5014fb9daa5c987ad21adb47.tar.gz
VIATRA-Generator-fd2efee477e4c32a5014fb9daa5c987ad21adb47.tar.zst
VIATRA-Generator-fd2efee477e4c32a5014fb9daa5c987ad21adb47.zip
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
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF3
1 files changed, 2 insertions, 1 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,
19 org.eclipse.xtext.xbase.lib 19 org.eclipse.xtext.xbase.lib
20Import-Package: org.apache.log4j, 20Import-Package: org.apache.log4j,
21 org.eclipse.xtext.xbase.lib 21 org.eclipse.xtext.xbase.lib
22Bundle-RequiredExecutionEnvironment: J2SE-1.5 22Bundle-RequiredExecutionEnvironment: JavaSE-1.8
23Export-Package: hu.bme.mit.inf.dslreasoner.ui.quickfix, 23Export-Package: hu.bme.mit.inf.dslreasoner.ui.quickfix,
24 hu.bme.mit.inf.dslreasoner.ui.contentassist, 24 hu.bme.mit.inf.dslreasoner.ui.contentassist,
25 hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr, 25 hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr,
26 hu.bme.mit.inf.dslreasoner.ui.internal 26 hu.bme.mit.inf.dslreasoner.ui.internal
27Bundle-Activator: hu.bme.mit.inf.dslreasoner.ui.internal.SmtLanguageActivator 27Bundle-Activator: hu.bme.mit.inf.dslreasoner.ui.internal.SmtLanguageActivator
28Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.smt.language.ui