# Since the program is so small, we don't bother with compiling
# the source files to object files individually.

SOURCES += Action.java
SOURCES += ActionStatePair.java
SOURCES += BlocksStateSpace.java
SOURCES += Errors.java
SOURCES += State.java
SOURCES += StateSpace.java
SOURCES += StateSpaceTest.java
SOURCES += TrivialStateSpace.java

CLASSFILES = $(SOURCES:%.java=%.class)

all: $(CLASSFILES)

$(CLASSFILES): %.class: %.java
	javac $^

clean:
	rm -f *.class

distclean: clean

.PHONY: clean distclean all
