Skip to content

Commit 4557fd0

Browse files
Small documentation updates for UNIX builds (checkedc#505)
1 parent d78d52a commit 4557fd0

File tree

1 file changed

+2
-8
lines changed

1 file changed

+2
-8
lines changed

docs/checkedc/Setup-and-Build.md

+2-8
Original file line numberDiff line numberDiff line change
@@ -86,7 +86,7 @@ For developers who need to install it, information is
8686

8787
## Setting up sources for development
8888

89-
You will need to choose a drive that has at least 20 Gbytes free. You may need lots of space for the sources and the build.
89+
You will need to choose a drive that has at least 50 Gbytes free. You may need lots of space for the sources and the build.
9090
You can store the sources in any directory that you want. You should avoid spaces in parent directory names because this can confuse some tools.
9191

9292
checkedc-llvm contains two other repos as submodules: checkedc and checkedc-clang. Both are required to build successfully. We do not recommend using ```git clone```'s `recursive` option; this may give you stale versions of checkedc and checkedc-clang repos. Instead use git clone on each repository as specified below.
@@ -188,13 +188,7 @@ Subsequent builds during development will be much faster (minutes, not an hour).
188188

189189
### On UNIX
190190

191-
Change to your build directory and just run `make`:
192-
193-
make -j nnn
194-
195-
where `nnn` is replaced by the number of CPU cores that your computer has.
196-
197-
For subsequent builds, you can just build `clang`:
191+
Change to your build directory and build `clang`:
198192

199193
make -j nnn clang
200194

0 commit comments

Comments
 (0)