[server/zmq] fix enabling/disabling zmq, including via --disable-server-zmq

a1e7e8e6 · Loïc Correnson · Andre Maroneze · a5d84fa3 · a1e7e8e6
Commit a1e7e8e6 authored 5 years ago by Loïc Correnson Committed by Andre Maroneze 5 years ago
--- a/src/plugins/server/configure.ac
+++ b/src/plugins/server/configure.ac
@@ -53,8 +53,11 @@ then
        configure_pkg([zmq],
                      [Server support for ZeroMQ disabled (try 'opam install zmq').])
        plugin_use_pkg(server,zmq)
+        SERVER_ZMQ=$HAS_OCAML_ZMQ
 fi

+AC_SUBST(SERVER_ZMQ)
+
 #######################
 # Generating Makefile #
 #######################