upd: rename package name and all references to it
[gigi.git] / doc / scripts / getJson.sh
1 #!/bin/bash
2 [[ -d JSON-java ]] || git clone https://github.com/stleary/JSON-java JSON-java
3 base=$(dirname $0)/../../..
4
5 cd JSON-java
6 if [[ "$(git rev-parse refs/tags/20160810)" != "37582a44ada8e5bbe6d987f41d3f834aaf28934c" ]]; then
7     echo "tag 20160810 has incorrect checksum" >&2
8     exit 1
9 fi
10
11 git checkout refs/tags/20160810
12 mkdir -p $base/lib/json/org/json
13 cp -R JSON* $base/lib/json/org/json
14 rm $base/lib/json/org/json/JSONML.java
15 # $base/lib/json/org/json/JSONPointer*
16