1 files changed, 6 insertions, 0 deletions

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

+           src-gen/,\

+           xtend-gen/

+bin.includes = .,\

+               META-INF/

+bin.excludes = **/*.xtend