#!/bin/sh

for f in `find . -type f -name \*.v` ; do \
    if test ! -f $f"o" ; \
    then echo $f ; \
    fi ; \
done

for f in `find . -type f -name \*.ml` ; do \
    if test ! -f `dirname $f`/`basename $f .ml`".cmo" ; \
    then echo $f ; \
    fi ; \
done
