From 3fce63507359b76792d60cde4e6504249b1fb191 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 12 May 2018 18:35:18 +0200 Subject: Cleared metafiles --- .../hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties | 8 ++++---- .../hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.xml | 4 ---- 2 files changed, 4 insertions(+), 8 deletions(-) (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner') diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties index bb9e5d4d..685c072b 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties @@ -1,10 +1,10 @@ bin.includes = .,\ - model/,\ META-INF/,\ plugin.xml,\ plugin.properties jars.compile.order = . -source.. = ecore-gen/,\ - src/,\ - src-gen/ +source.. = src/,\ + queries/,\ + xtend-gen/,\ + vql-gen/ output.. = bin/ diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.xml b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.xml index 23c55a4d..5457d70c 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.xml +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.xml @@ -1,9 +1,5 @@ - - - - -- cgit v1.2.3-54-g00ecf