##COQC=~/boulot/titi/bin/coqc
COQC=~/boulot/coqsvn/toto/trunk/bin/coqc


DN= dn_term.v dn_context.v dn_red.v dn_typ.v dn_sr.v
DNO= $(DN:.v=.vo)

DN_ALT= dn_typ_alt.v
DN_ALTO= $(DN_ALT:.v=.vo)


SC = sc_term.v sc_context.v sc_red.v sc_red_par.v sc_typ.v sc_sr.v 
SCO= $(SC:.v=.vo)

SC_ALT = sc_typ_alt.v sc_sr_alt.v sc_glue.v 
SC_ALTO= $(SC_ALT:.v=.vo)

all: dn dn_alt sc sc_alt equiv.vo sc_ti.v

sc : dn ${SCO}
sc_alt : sc ${SC_ALTO}
dn : ${DNO}
dn_alt : dn ${DN_ALTO}

%.vo: %.v
	${COQC} $^


clean_sc:
	rm -f sc*.vo sc*.glob

clean_dn:
	rm -f dn*.vo dn*.glob

clean:
	rm -f *.vo *.glob