SRC =	        
OBJ = 		flatzinc.tab.o
GENCFILES = 	flatzinc.tab.c lex.yy.c 
OTHER = 	flatzinc.output 

PLFILES =       $(filter-out out-%.pl,$(wildcard *.pl))
PLOFILES =   	$(patsubst %.pl,%.o,$(PLFILES))

# out-XXX.pl produces fz-XXX, the flatzinc-to-XXX compiler
FZSEM =  	$(patsubst out-%.pl,fz-%,$(wildcard out-*.pl))

# NOTE: we need to pass the `-l' flag to ensure the scanner internal
# variable `yylineno' is available.
#
LEX =		flex
LEXFLAGS =      -l
LEXLIB =	

YACC =		bison
YACCFLAGS =	-v

CC =		gcc	
CFLAGS =	-g -O

GPLC =		gplc

RM =		/bin/rm -f

%.ast:: %.fzn
	fzp < $< > $@

all: fzp $(FZSEM) $(PLOFILES) $(patsubst %.pl,%.o,$(wildcard out-*.pl))

fzp:	$(OBJ)
	$(CC) $(CFLAGS) -o $@ $(OBJ) $(LEXLIB)

fz-%:	out-%.o $(PLOFILES)
	$(GPLC) -o $@ $+

%.o: %.pl
	$(GPLC) $(GPLCFLAGS) -c $<

flatzinc.tab.c:	flatzinc.y lex.yy.c
		$(YACC) $(YACCFLAGS) flatzinc.y

lex.yy.c:	flatzinc.l
		$(LEX) $(LEXFLAGS) flatzinc.l

clean:
		$(RM) $(OBJ) $(GENCFILES) $(OTHER) core

clobber:	clean
		$(RM) $(EXE_FILE)

.PHONY: distclean
distclean: clobber