Skip to content

Commit

Permalink
Improve compatibility with OCaml 5
Browse files Browse the repository at this point in the history
Add `-I +str` when the Str library is used.
  • Loading branch information
xavierleroy committed Jul 5, 2024
1 parent 71b249c commit 891f2bd
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit 891f2bd

Please sign in to comment.