# Try this:
#   make clean
#   make mops
#   make txt

ALLC = $(wildcard *.c)
ALLEXE = $(ALLC:.c=)
ALLMCFG = $(wildcard mopstmp/CFG/*.mcfg)
ALLMCFGTXT = $(ALLMCFG:.mcfg=.mcfg.txt)

.SUFFIXES: .mcfg .mcfg.txt

all: $(ALLEXE)

mops:
	mops -b shell -r html -m ../strncpy.mfsa -o outcfg -t mopstmp -- make

txt: $(ALLMCFGTXT)

%.mcfg.txt: %.mcfg
	java Bin2Text -i $< -o $@

clean:
	@rm -f $(ALLEXE)
	@rm -rf mopstmp outcfg
