From 60f01f46ba232ed6416054f0a6115cb2a9b70b4e Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 10 Jun 2017 19:05:05 +0200 Subject: Migrating Additional projects --- .../META-INF/MANIFEST.MF | 37 ++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF') diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF new file mode 100644 index 00000000..1de8b744 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF @@ -0,0 +1,37 @@ +Manifest-Version: 1.0 +Bundle-ManifestVersion: 2 +Bundle-Name: hu.bme.mit.inf.dslreasoner.alloy.language +Bundle-Vendor: My Company +Bundle-Version: 1.0.0.qualifier +Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.alloy.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.eclipse.xtext.xbase.lib, + org.antlr.runtime, + org.eclipse.xtext.common.types, + org.objectweb.asm;bundle-version="[5.0.1,6.0.0)";resolution:=optional, + org.eclipse.equinox.common;bundle-version="3.7.0" +Import-Package: org.apache.log4j +Bundle-RequiredExecutionEnvironment: JavaSE-1.7 +Export-Package: hu.bme.mit.inf.dslreasoner, + hu.bme.mit.inf.dslreasoner.services, + hu.bme.mit.inf.dslreasoner.alloyLanguage, + hu.bme.mit.inf.dslreasoner.alloyLanguage.impl, + hu.bme.mit.inf.dslreasoner.alloyLanguage.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 + -- cgit v1.2.3-54-g00ecf