From d03520ee7c702324f2eff5749adde4cad4890011 Mon Sep 17 00:00:00 2001 From: Fangrui Song Date: Thu, 9 Aug 2018 10:12:20 -0700 Subject: [PATCH] .g --- Getting-started.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Getting-started.md b/Getting-started.md index 8d22bce..94471c6 100644 --- a/Getting-started.md +++ b/Getting-started.md @@ -31,6 +31,8 @@ Additional notes: If your `libstdc++` is too old (no C++17 header files) or have * Linux with newer libstdc++ and clang>=6: `cmake -H. -BRelease -DUSE_SHARED_LLVM=on` * Linux with `gcc < 7` but `clang >= 5`, `cmake -H. -BRelease -DCMAKE_CXX_COMPILER=clang++` +Debian: `apt install zlib1g-dev` + `-DUSE_SHARED_LLVM=on` (optional) makes linked executable smaller. ### Setup your editor