From aa392551f97fdbc1a92e010c823bfe25504eec60 Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Fri, 18 Aug 2017 14:45:04 +0200
Subject: [PATCH] Fix ZMQ installation problem

---
 install/scripts/install_ocaml.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install/scripts/install_ocaml.sh b/install/scripts/install_ocaml.sh
index b82216d3..be234dc8 100755
--- a/install/scripts/install_ocaml.sh
+++ b/install/scripts/install_ocaml.sh
@@ -70,7 +70,7 @@ ${QP_ROOT}/bin/opam config setup -a -q || exit 1
 
 export LD_LIBRARY_PATH=${QP_ROOT}/lib:${LD_LIBRARY_PATH}
 export LIBRARY_PATH=${QP_ROOT}/lib:${LIBRARY_PATH}
-export C_INCLUDE_PATH=${QP_ROOT}/lib:${C_INCLUDE_PATH}
+export C_INCLUDE_PATH=${QP_ROOT}/lib:$(ocamlopt -where)/../../include/ocaml_stdint:${C_INCLUDE_PATH}
 source ${HOME}/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true