diff --git a/configure b/configure index 15f9e1f..b6128f5 100644 --- a/configure +++ b/configure @@ -69,10 +69,10 @@ got="" get() { set -e got+=" $1" - deps="$($OCAMLDEP $OCAMLDEP_ARGS -one-line -bytecode $1.ml | cut -d":" -f2)" + deps="$($OCAMLDEP $OCAMLDEP_ARGS -one-line $1.ml | cut -d":" -f2)" fixdeps="" for dep in $deps; do - dep="$(basename $dep .cmi)" + dep="$(basename $(basename $dep .cmi) .$OBJEXT)" if ! [ $dep = $1 ]; then fixdeps+=" $dep" fi