1 files changed, 29 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/META-INF/MANIFEST.MF b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..cd3d4799
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/META-INF/MANIFEST.MF
@@ -0,0 +1,29 @@
+Manifest-Version: 1.0

+Bundle-ManifestVersion: 2

+Bundle-Name: ca.mcgill.ecse.dslreasoner.vampire.language

+Bundle-Vendor: My Company

+Bundle-Version: 1.0.0.qualifier

+Bundle-SymbolicName: ca.mcgill.ecse.dslreasoner.vampire.language; singleton:=true

+Bundle-ActivationPolicy: lazy

+Require-Bundle: org.eclipse.xtext,

+ org.eclipse.xtext.xbase,

+ org.eclipse.equinox.common;bundle-version="3.5.0",

+ org.eclipse.emf.ecore,

+ org.eclipse.xtext.xbase.lib,

+ org.antlr.runtime,

+ org.eclipse.xtext.util,

+ org.eclipse.xtend.lib,

+ org.eclipse.emf.common

+Bundle-RequiredExecutionEnvironment: JavaSE-1.8

+Export-Package: ca.mcgill.ecse.dslreasoner.generator,

+ ca.mcgill.ecse.dslreasoner.parser.antlr,

+ ca.mcgill.ecse.dslreasoner.services,

+ ca.mcgill.ecse.dslreasoner.parser.antlr.internal,

+ ca.mcgill.ecse.dslreasoner,

+ ca.mcgill.ecse.dslreasoner.vampireLanguage,

+ ca.mcgill.ecse.dslreasoner.vampireLanguage.impl,

+ ca.mcgill.ecse.dslreasoner.serializer,

+ ca.mcgill.ecse.dslreasoner.validation,

+ ca.mcgill.ecse.dslreasoner.vampireLanguage.util,

+ ca.mcgill.ecse.dslreasoner.scoping

+Import-Package: org.apache.log4j