tursom/memgraph
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Moved json.hpp to deps server

Browse Source 
Reviewers: buda, mislav.bradac

Reviewed By: mislav.bradac

Subscribers: pullbot

Differential Revision: https://phabricator.memgraph.io/D803
This commit is contained in:
Matej Ferencevic 2017-09-18 11:15:18 +02:00
parent cd1892acc4
commit 0dfbc001a7
1 changed files with 2 additions and 1 deletions

3
libs/setup.sh
View File

@ -106,5 +106,6 @@ rm postgres.tar.gz
# We use head on Sep 1, 2017 instead of last release since it was long time ago.
mkdir json
cd json
wget "https://raw.githubusercontent.com/nlohmann/json/91e003285312167ad8365f387438ea371b465a7e/src/json.hpp"
#wget "https://raw.githubusercontent.com/nlohmann/json/91e003285312167ad8365f387438ea371b465a7e/src/json.hpp"
wget -nv http://deps.memgraph.io/json.hpp
cd ..