touch .depend
coq_makefile util.v oracle.v distrib.v game.v > Makefile.base
make -f Makefile.base depend
make -f Makefile.base

touch .depend
coq_makefile transform.v random.v preserv.v prob_pred.v bound.v fun_lem.v > Makefile.lib
make -f Makefile.lib depend
make -f Makefile.lib

touch .depend
coq_makefile switching.v > Makefile.examples
make -f Makefile.examples depend
make -f Makefile.examples
