Skip to content

Improve json hpp install #1199

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 7 commits into from
Closed

Improve json hpp install #1199

Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
cc23278
fix(install-json-hpp.sh) make json-hpp download more robust to networ…
NicolasToussaint Sep 4, 2018
9e477bc
fix(install-json-hpp.sh) Read proxy config from new configuration file
NicolasToussaint Sep 4, 2018
5a2ee2c
fix(install-json-hpp.sh) Fix variable case
NicolasToussaint Sep 5, 2018
fabad5b
fix(install-json-hpp.sh) Fixed accidental revert of file checksum
NicolasToussaint Sep 5, 2018
34dae41
fix(install-json-hpp.sh) use proper config file for proxy settings
NicolasToussaint Sep 5, 2018
6efa4c4
fix(install-json-hpp.sh) Also fix version URL
NicolasToussaint Sep 5, 2018
5443841
fix(install-json-hpp.sh) Removing proxy configuration,
NicolasToussaint Sep 5, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
34 changes: 26 additions & 8 deletions install/scripts/install-json-hpp.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,20 +2,38 @@

cd "$(dirname "$0")/../.."
FINAL_FILE=./src/copyright/agent/json.hpp
SHASUM=fbdfec4b4cf63b3b565d09f87e6c3c183bdd45c5be1864d3fcb338f6f02c1733
TMP=$(mktemp)
CHECKSUMFILE=$(mktemp)
FILE_SHASUM="fbdfec4b4cf63b3b565d09f87e6c3c183bdd45c5be1864d3fcb338f6f02c1733"
FILE_URL="https://github.com/nlohmann/json/releases/download/v3.1.2/json.hpp"
CURL_OPTIONS="--max-time 10 --retry 4"

_check_file() {
[[ -r "$2" ]] || return 1
local checksum_file=$(mktemp)
echo "$1 $2" > "$checksum_file"
sha256sum --quiet -c "$checksum_file"
local res=$?
rm "$checksum_file"
return $res
}

curl -s -o "$TMP" -L https://github.com/nlohmann/json/releases/download/v3.1.2/json.hpp
echo "$SHASUM $TMP" > "$CHECKSUMFILE"
sha256sum --quiet -c "$CHECKSUMFILE"
# Check if file is already available
_check_file "$SHASUM" "$FINAL_FILE" && exit 0

TMP=$(mktemp)
curl -s $CURL_OPION -o "$TMP" -L $FILE_URL
SUCCESS=$?

if [[ $SUCCESS -ne 0 ]]
then
echo "Failed to download file $FINAL_FILE"
else
_check_file "$SHASUM" "$TMP"
SUCCESS=$?
fi

if [[ $SUCCESS -eq 0 ]]
then
mv "$TMP" "$FINAL_FILE"
fi

rm "$CHECKSUMFILE"

exit $SUCCESS