Use upstream nlohmann_json

This commit is contained in:
Eelco Dolstra 2019-10-22 20:12:23 +02:00
parent e5bf81256c
commit 4145cd2da0
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE
3 changed files with 2 additions and 20407 deletions

View file

@ -50,6 +50,7 @@ rec {
bzip2 xz brotli editline bzip2 xz brotli editline
openssl pkgconfig sqlite boehmgc openssl pkgconfig sqlite boehmgc
boost boost
nlohmann_json
# Tests # Tests
git git

View file

@ -200,7 +200,7 @@ let
doInstallCheck = true; doInstallCheck = true;
lcovFilter = [ "*/boost/*" "*-tab.*" "*/nlohmann/*" "*/linenoise/*" ]; lcovFilter = [ "*/boost/*" "*-tab.*" ];
# We call `dot', and even though we just use it to # We call `dot', and even though we just use it to
# syntax-check generated dot files, it still requires some # syntax-check generated dot files, it still requires some

File diff suppressed because it is too large Load diff