1 files changed, 5 insertions, 0 deletions

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/build.properties b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/build.properties
new file mode 100644
index 00000000..d6c49e5c
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/build.properties
@@ -0,0 +1,5 @@
+source.. = src/,\

+           xtend-gen/

+output.. = bin/

+bin.includes = META-INF/,\

+               .