Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/build.properties


1
2
3
4
5
6
7
8
9
10

bin.includes = .,\
               META-INF/,\
               plugin.xml,\
               plugin.properties
jars.compile.order = .
source.. = src/,\
           queries/,\
           xtend-gen/,\
           vql-gen/
output.. = bin/