# Contants
JARFILE	= ../lib/farmsat.jar

# Compile by default
this: classes

# Master makefile
include ../Makefile

# Farm convenience rules
runagent:
	$(RUNJAVA) -Xruncapjprof \
	  farm.graphcolor.plugins.GraphColorMetAgent -host $(HOST) -name MA0

runanalysis:
	$(RUNJAVA) farm.graphcolor.plugins.GraphColorAnalysis -host $(HOST)

rungraph:
	$(RUNJAVA) farm.generic.plugins.gui.GraphGui $(HOST) -track "TotalMessagesReceived,PossibleConflicts,TotalConflicts,TotalNodes,TotalEdges"

rundriver:
	$(RUNJAVA) farm.sat.plugins.drivers.SATDriver -variables 15 -clauses 30 -host $(HOST)

%.sav: FORCE
	$(RUNJAVA) farm.simulator.FarmSimulator -m 2 -delay 100 -r $@  &
	sleep 2
	$(RUNJAVA) farm.generic.plugins.gui.GraphGui $(HOST) -track "TotalMessagesSent,PossibleConflicts,TotalConflicts" &
