Initial workspace setup

1 files changed, 20 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/build.properties b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/build.properties
new file mode 100644
index 00000000..aa338a94
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/build.properties
@@ -0,0 +1,20 @@
+source.. = src/,\

+           src-gen/,\

+           xtend-gen/

+bin.includes = model/generated/,\

+               .,\

+               META-INF/,\

+               plugin.xml

+bin.excludes = **/*.mwe2,\

+               **/*.xtend

+additional.bundles = org.eclipse.xtext.xbase,\

+                     org.eclipse.xtext.common.types,\

+                     org.eclipse.xtext.xtext.generator,\

+                     org.eclipse.emf.codegen.ecore,\

+                     org.eclipse.emf.mwe.utils,\

+                     org.eclipse.emf.mwe2.launch,\

+                     org.eclipse.emf.mwe2.lib,\

+                     org.objectweb.asm,\

+                     org.apache.commons.logging,\

+                     org.apache.log4j,\

+                     com.ibm.icu