Merge commit '632ce270fa23d00e969877e983da6bc7cbaf1458' as 'third_party/rapidjson'

2017-06-02 09:35:53 +02:00
parent 93dac6b246 632ce270fa
commit f5564c9275
291 changed files with 53156 additions and 0 deletions
@@ -0,0 +1,8 @@
+# BUILD:  docker build -t rapidjson-debian .
+# RUN:    docker run -it -v "$PWD"/../..:/rapidjson rapidjson-debian
+
+FROM debian:jessie
+
+RUN apt-get update && apt-get install -y g++ cmake doxygen valgrind
+
+ENTRYPOINT ["/bin/bash"]