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