base="$include/$module"
if test \( "$INTER" = "1" \) -a \( -f "$base".mli \) ; then
## if we want to depend only on cmi of a module
base="$include/$module"
if test \( "$INTER" = "1" \) -a \( -f "$base".mli \) ; then
## if we want to depend only on cmi of a module
break
elif test -f "$base".mli; then
## and fall back on depending on the cmi if the cmx is not available
## (which prevents cross-module inlining in the case of cmx)
break
elif test -f "$base".mli; then
## and fall back on depending on the cmi if the cmx is not available
## (which prevents cross-module inlining in the case of cmx)