remove json.hpp from repo

2023-01-27 12:34:49 +00:00 · 2023-01-27 12:34:49 +00:00 · 928528ccfe
commit 928528ccfe
parent f68930d6b5
3 changed files with 7 additions and 24641 deletions
--- a/.gitignore
+++ b/.gitignore
@ -14,3 +14,4 @@ Makefile.in
 *~
 /*/env
 /*/build
+/Grid/json.hpp
--- a/Grid/bootstrap.sh
+++ b/Grid/bootstrap.sh
@ -2,5 +2,10 @@

 set -euo pipefail

+json_url='https://github.com/nlohmann/json/blob/bc889afb4c5bf1c0d8ee29ef35eaaf4c8bef8a5d/single_include/nlohmann/json.hpp'
+
+if [ ! -f json.hpp ]; then
+  wget ${json_url}
+fi
 mkdir -p .buildutils/m4
 autoreconf -fvi
--- a/Grid/json.hpp
+++ b/Grid/json.hpp