- if test -z "$include"; then continue; fi
- if test -f "$base".ml -o -f "$base".mly -o -f "$base".mll -o -f "$base".pack; then
+ if test \( "$INTER" = "1" \) -a \( -f "$base".mli \) ; then
+ ## if we want to depend only on cmi of a module
+ echo -n "$base"."cmi "
+ elif test -f "$base".ml -o -f "$base".mly -o -f "$base".mll -o -f "$base".pack; then
+ ## else we depend on the implementation