From 18cfa4d15e910636415a1ff6666c9f7bbf0eb07d Mon Sep 17 00:00:00 2001 From: alex-s168 Date: Wed, 3 Sep 2025 16:42:14 +0200 Subject: [PATCH] make work with ocamlopt --- configure | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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