From d4c60f57662fc03df540c0c6e2fd2a986fc6a828 Mon Sep 17 00:00:00 2001
From: philzook58 <philzook58@gmail.com>
Date: Wed, 2 Oct 2019 19:43:37 -0400
Subject: [PATCH] Changed makefile generation for ml bindings to use OCAMLFIND
variable
---
scripts/mk_util.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 3d5d62d49..aaba85b9d 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1955,8 +1955,8 @@ class MLComponent(Component):
OCAML_FLAGS += '-g'
if OCAMLFIND:
- OCAMLCF = OCAMLC + ' ' + 'ocamlc -package zarith' + ' ' + OCAML_FLAGS
- OCAMLOPTF = OCAMLOPT + ' ' + 'ocamlopt -package zarith' + ' ' + OCAML_FLAGS
+ OCAMLCF = OCAMLFIND + ' ' + 'ocamlc -package zarith' + ' ' + OCAML_FLAGS
+ OCAMLOPTF = OCAMLFIND + ' ' + 'ocamlopt -package zarith' + ' ' + OCAML_FLAGS
else:
OCAMLCF = OCAMLC + ' ' + OCAML_FLAGS
OCAMLOPTF = OCAMLOPT + ' ' + OCAML_FLAGS