aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner
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/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner
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/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF1
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/build.properties3
2 files changed, 3 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF
index 13a297f2..ef1af4dd 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF
@@ -21,3 +21,4 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",
21 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.7.0" 21 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.7.0"
22Bundle-RequiredExecutionEnvironment: JavaSE-1.8 22Bundle-RequiredExecutionEnvironment: JavaSE-1.8
23Import-Package: org.apache.log4j 23Import-Package: org.apache.log4j
24Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/build.properties b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/build.properties
index aed85a48..704a86e2 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/build.properties
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/build.properties
@@ -1,5 +1,6 @@
1bin.includes = META-INF/,\ 1bin.includes = META-INF/,\
2 . 2 .
3source.. = src/,\ 3source.. = src/,\
4 src-gen/ 4 src-gen/,\
5 xtend-gen/
5output.. = bin/ 6output.. = bin/