2023-01-13 19:00:20 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
set -euo pipefail
|
|
|
|
|
|
2023-01-27 12:47:05 +00:00
|
|
|
json_url='https://raw.githubusercontent.com/nlohmann/json/bc889afb4c5bf1c0d8ee29ef35eaaf4c8bef8a5d/single_include/nlohmann/json.hpp'
|
2023-01-27 12:34:49 +00:00
|
|
|
|
|
|
|
|
if [ ! -f json.hpp ]; then
|
|
|
|
|
wget ${json_url}
|
|
|
|
|
fi
|
2023-01-13 19:00:20 +00:00
|
|
|
mkdir -p .buildutils/m4
|
|
|
|
|
autoreconf -fvi
|
