1 files changed, 37 insertions, 0 deletions

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
new file mode 100644
index 00000000..ec8f78ce
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF
@@ -0,0 +1,37 @@
+Manifest-Version: 1.0

+Bundle-ManifestVersion: 2

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

+Bundle-Vendor: My Company

+Bundle-Version: 1.0.0.qualifier

+Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.smt.language; singleton:=true

+Bundle-ActivationPolicy: lazy

+Require-Bundle: org.eclipse.xtext;visibility:=reexport,

+ org.eclipse.xtext.xbase;resolution:=optional;visibility:=reexport,

+ org.eclipse.xtext.generator;resolution:=optional,

+ org.apache.commons.logging;bundle-version="1.0.4";resolution:=optional,

+ org.eclipse.emf.codegen.ecore;resolution:=optional,

+ org.eclipse.emf.mwe.utils;resolution:=optional,

+ org.eclipse.emf.mwe2.launch;resolution:=optional,

+ org.eclipse.xtext.util,

+ org.eclipse.emf.ecore,

+ org.eclipse.emf.common,

+ org.antlr.runtime,

+ org.eclipse.xtext.common.types,

+ org.objectweb.asm;bundle-version="[5.0.1,6.0.0)";resolution:=optional,

+ org.eclipse.xtext.xbase.lib

+Import-Package: org.apache.log4j,

+ org.eclipse.xtext.xbase.lib

+Bundle-RequiredExecutionEnvironment: J2SE-1.5

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

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

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

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

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

+ hu.bme.mit.inf.dslreasoner.serializer,

+ hu.bme.mit.inf.dslreasoner.parser.antlr,

+ hu.bme.mit.inf.dslreasoner.parser.antlr.internal,

+ hu.bme.mit.inf.dslreasoner.validation,

+ hu.bme.mit.inf.dslreasoner.scoping,

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

+ hu.bme.mit.inf.dslreasoner.formatting

+