diff options
Diffstat (limited to 'subprojects')
-rw-r--r-- | subprojects/nlohmann.wrap | 3 | ||||
-rw-r--r-- | subprojects/nlohmann_json.wrap | 11 |
2 files changed, 11 insertions, 3 deletions
diff --git a/subprojects/nlohmann.wrap b/subprojects/nlohmann.wrap deleted file mode 100644 index b6e9fd5f48..0000000000 --- a/subprojects/nlohmann.wrap +++ /dev/null @@ -1,3 +0,0 @@ -[wrap-git] -revision = 8fcdbf2e771f481d988cb36847d6af6b17e30a99 -url = https://github.com/nlohmann/json.git diff --git a/subprojects/nlohmann_json.wrap b/subprojects/nlohmann_json.wrap new file mode 100644 index 0000000000..d2201c4701 --- /dev/null +++ b/subprojects/nlohmann_json.wrap @@ -0,0 +1,11 @@ +[wrap-file] +directory = nlohmann_json-3.11.2 +lead_directory_missing = true +source_url = https://github.com/nlohmann/json/releases/download/v3.11.2/include.zip +source_filename = nlohmann_json-3.11.2.zip +source_hash = e5c7a9f49a16814be27e4ed0ee900ecd0092bfb7dbfca65b5a421b774dccaaed +wrapdb_version = 3.11.2-1 + +[provide] +nlohmann_json = nlohmann_json_dep + |