From 891f2bd29abc3ec5498191b17be600b77cb820f6 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Fri, 5 Jul 2024 17:57:04 +0200 Subject: [PATCH] Improve compatibility with OCaml 5 Add `-I +str` when the Str library is used. --- Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 80f2e0b6b3..d4268db544 100644 --- a/Makefile +++ b/Makefile @@ -265,16 +265,16 @@ documentation: $(FILES) tools/ndfun: tools/ndfun.ml ifeq ($(OCAML_NATIVE_COMP),true) - ocamlopt -o tools/ndfun str.cmxa tools/ndfun.ml + ocamlopt -o tools/ndfun -I +str str.cmxa tools/ndfun.ml else - ocamlc -o tools/ndfun str.cma tools/ndfun.ml + ocamlc -o tools/ndfun -I +str str.cma tools/ndfun.ml endif tools/modorder: tools/modorder.ml ifeq ($(OCAML_NATIVE_COMP),true) - ocamlopt -o tools/modorder str.cmxa tools/modorder.ml + ocamlopt -o tools/modorder -I +str str.cmxa tools/modorder.ml else - ocamlc -o tools/modorder str.cma tools/modorder.ml + ocamlc -o tools/modorder -I +str str.cma tools/modorder.ml endif latexdoc: