diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic')
2 files changed, 3 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF index f0d42f2c..703a1cef 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF | |||
@@ -12,3 +12,4 @@ Require-Bundle: com.google.guava, | |||
12 | hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", | 12 | hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", |
13 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0" | 13 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0" |
14 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | 14 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
15 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties index aed85a48..704a86e2 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties | |||
@@ -1,5 +1,6 @@ | |||
1 | bin.includes = META-INF/,\ | 1 | bin.includes = META-INF/,\ |
2 | . | 2 | . |
3 | source.. = src/,\ | 3 | source.. = src/,\ |
4 | src-gen/ | 4 | src-gen/,\ |
5 | xtend-gen/ | ||
5 | output.. = bin/ | 6 | output.. = bin/ |