2018-02-02 13:35:59 +00:00
|
|
|
#!/bin/sh
|
|
|
|
set -e
|
|
|
|
|
|
|
|
echo -n "Downloading header-only libraries..."
|
|
|
|
mkdir deps
|
2018-03-20 16:44:56 +00:00
|
|
|
wget https://github.com/nlohmann/json/releases/download/v3.1.1/json.hpp -O deps/json.hpp 2> /dev/null
|
2018-02-02 13:35:59 +00:00
|
|
|
wget https://github.com/mpark/variant/releases/download/v1.3.0/variant.hpp -O deps/variant.hpp 2> /dev/null
|
|
|
|
echo " Done."
|
|
|
|
|
|
|
|
echo -n "Generating tarball..."
|
|
|
|
tar czf header_only.tar.gz deps
|
|
|
|
echo " Done."
|
|
|
|
|
|
|
|
echo -n "Removing temporary files..."
|
|
|
|
rm -rf deps
|
|
|
|
echo " Done."
|