# Makefile for Coq

SOURCES=Map.v RGSim.v CompRules.v ExampleLock.v

.SUFFIXES: .v .vo
.PHONY: all clean

all: $(SOURCES:.v=.vo)

clean:
	del -f $(SOURCES:.v=.vo)

.v.vo:
	coqc $<

CompRules.vo: Map.vo RGSim.vo
ExampleLock.vo: RGSim.vo CompRules.vo

