Don't pull in entire JSON repo for single header file
This commit is contained in:
parent
822e8d21ea
commit
87dea94e14
|
@ -31,6 +31,3 @@
|
||||||
[submodule "cpr"]
|
[submodule "cpr"]
|
||||||
path = externals/cpr
|
path = externals/cpr
|
||||||
url = https://github.com/whoshuu/cpr.git
|
url = https://github.com/whoshuu/cpr.git
|
||||||
[submodule "json"]
|
|
||||||
path = externals/json
|
|
||||||
url = https://github.com/nlohmann/json.git
|
|
||||||
|
|
|
@ -62,5 +62,5 @@ if (ENABLE_WEB_SERVICE)
|
||||||
|
|
||||||
# JSON
|
# JSON
|
||||||
add_library(json-headers INTERFACE)
|
add_library(json-headers INTERFACE)
|
||||||
target_include_directories(json-headers INTERFACE ./json/src)
|
target_include_directories(json-headers INTERFACE ./json)
|
||||||
endif()
|
endif()
|
||||||
|
|
|
@ -1 +0,0 @@
|
||||||
Subproject commit d3496347fcd1382896fca3aaf78a0d803c2f52ec
|
|
File diff suppressed because it is too large
Load Diff
Reference in New Issue