From 0a700f43cd3513486a80de9e47ac1d5f52e2a804 Mon Sep 17 00:00:00 2001
From: Lars Rohwedder <roker@pep-project.org>
Date: Mon, 1 Oct 2018 16:45:29 +0200
Subject: [PATCH] add download script for boost 1.68 to have boost.process etc.

---
 server/download_boost_1_68.sh | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 server/download_boost_1_68.sh

diff --git a/server/download_boost_1_68.sh b/server/download_boost_1_68.sh
new file mode 100755
index 0000000..488a63e
--- /dev/null
+++ b/server/download_boost_1_68.sh
@@ -0,0 +1,5 @@
+mkdir -p contrib ; cd contrib
+wget -c https://dl.bintray.com/boostorg/release/1.68.0/source/boost_1_68_0.tar.bz2
+mkdir -p boost
+tar --strip-components=1 --wildcards -xvf boost_1_68_0.tar.bz2 \
+  -C ./boost boost_1_68_0/boost/{asio,process,winapi}\*