Merge commit 'e988fee1679536137b87d10e939eff5c1f27c8ab' as 'libs/libzmq'

libs/libzmq/ci_build.sh

@@ -0,0 +1,22 @@
+#!/usr/bin/env bash
+
+set -x
+set -e
+
+if [ $BUILD_TYPE = "default" ]; then
+    mkdir tmp
+    BUILD_PREFIX=$PWD/tmp
+
+    source config.sh
+    set_config_opts
+
+    # Build and check this project
+    (
+        ./autogen.sh &&
+        ./configure "${CONFIG_OPTS[@]}" &&
+        export DISTCHECK_CONFIGURE_FLAGS="${CONFIG_OPTS[@]}" &&
+        make VERBOSE=1 -j5 ${CHECK}
+    ) || exit 1
+else
+    cd ./builds/${BUILD_TYPE} && ./ci_build.sh
+fi