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


1
2
3
4
5
6
7
8
9
10
11

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