diff options
6 files changed, 11 insertions, 12 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/build.properties b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/build.properties index eb435025..9403fc5f 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/build.properties +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/build.properties | |||
@@ -7,5 +7,6 @@ jars.compile.order = . | |||
7 | source.. = ecore-gen/,\ | 7 | source.. = ecore-gen/,\ |
8 | src/,\ | 8 | src/,\ |
9 | xtend-gen/,\ | 9 | xtend-gen/,\ |
10 | src-gen/ | 10 | patterns/,\ |
11 | vql-gen/ | ||
11 | output.. = bin/ | 12 | output.. = bin/ |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/build.properties b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/build.properties index 72399047..b283764d 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/build.properties +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/build.properties | |||
@@ -6,5 +6,7 @@ bin.includes = .,\ | |||
6 | plugin.xml,\ | 6 | plugin.xml,\ |
7 | plugin.properties | 7 | plugin.properties |
8 | jars.compile.order = . | 8 | jars.compile.order = . |
9 | source.. = ecore-gen/ | 9 | source.. = ecore-gen/,\ |
10 | src/,\ | ||
11 | xtend-gen/ | ||
10 | output.. = bin/ | 12 | output.. = bin/ |
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties index bb9e5d4d..685c072b 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties | |||
@@ -1,10 +1,10 @@ | |||
1 | bin.includes = .,\ | 1 | bin.includes = .,\ |
2 | model/,\ | ||
3 | META-INF/,\ | 2 | META-INF/,\ |
4 | plugin.xml,\ | 3 | plugin.xml,\ |
5 | plugin.properties | 4 | plugin.properties |
6 | jars.compile.order = . | 5 | jars.compile.order = . |
7 | source.. = ecore-gen/,\ | 6 | source.. = src/,\ |
8 | src/,\ | 7 | queries/,\ |
9 | src-gen/ | 8 | xtend-gen/,\ |
9 | vql-gen/ | ||
10 | output.. = bin/ | 10 | output.. = bin/ |
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.xml b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.xml index 23c55a4d..5457d70c 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.xml +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.xml | |||
@@ -1,9 +1,5 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.0"?><!-- | 1 | <?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.0"?><!-- |
2 | --><plugin> | 2 | --><plugin> |
3 | <extension point="org.eclipse.emf.ecore.generated_package"> | ||
4 | <!-- @generated AlloyLanguage --> | ||
5 | <package class="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.alloylanguage.AlloylanguagePackage" genModel="model/AlloyLanguage.genmodel" uri="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.language"/> | ||
6 | </extension> | ||
7 | <extension id="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.SignatureQueries" point="org.eclipse.viatra.query.runtime.queryspecification"> | 3 | <extension id="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.SignatureQueries" point="org.eclipse.viatra.query.runtime.queryspecification"> |
8 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.SignatureQueries" id="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.SignatureQueries"> | 4 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.SignatureQueries" id="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.SignatureQueries"> |
9 | <query-specification fqn="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.directSubset"/> | 5 | <query-specification fqn="hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.directSubset"/> |
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/META-INF/MANIFEST.MF b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/META-INF/MANIFEST.MF index a6ff6ade..a70512cd 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/META-INF/MANIFEST.MF +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/META-INF/MANIFEST.MF | |||
@@ -18,10 +18,11 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.alloy.language;visibility:=reexport, | |||
18 | org.eclipse.xtext.ui.codetemplates.ui, | 18 | org.eclipse.xtext.ui.codetemplates.ui, |
19 | org.eclipse.compare | 19 | org.eclipse.compare |
20 | Import-Package: org.apache.log4j | 20 | Import-Package: org.apache.log4j |
21 | Bundle-RequiredExecutionEnvironment: JavaSE-1.7 | 21 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
22 | Export-Package: hu.bme.mit.inf.dslreasoner.ui.quickfix, | 22 | Export-Package: hu.bme.mit.inf.dslreasoner.ui.quickfix, |
23 | hu.bme.mit.inf.dslreasoner.ui.contentassist, | 23 | hu.bme.mit.inf.dslreasoner.ui.contentassist, |
24 | hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr, | 24 | hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr, |
25 | hu.bme.mit.inf.dslreasoner.ui.internal, | 25 | hu.bme.mit.inf.dslreasoner.ui.internal, |
26 | hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.internal | 26 | hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.internal |
27 | Bundle-Activator: hu.bme.mit.inf.dslreasoner.ui.internal.AlloyLanguageActivator | 27 | Bundle-Activator: hu.bme.mit.inf.dslreasoner.ui.internal.AlloyLanguageActivator |
28 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.alloy.language.ui | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties index d6c49e5c..eeeed051 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties | |||
@@ -1,5 +1,4 @@ | |||
1 | source.. = src/,\ | 1 | source.. = src/,\ |
2 | xtend-gen/ | 2 | xtend-gen/ |
3 | output.. = bin/ | ||
4 | bin.includes = META-INF/,\ | 3 | bin.includes = META-INF/,\ |
5 | . | 4 | . |