diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2019-10-15 09:04:29 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-10-15 09:04:29 +0200 |
commit | 11da36a086d4eff730653f368aa01382fbc753ce (patch) | |
tree | 7392c9add0e147094ffe5a89caf4c1248f841085 | |
parent | 35ebcfe2a29550a1f97636a93eb94d545287532f (diff) |
Update installation instructions with Clang on Windows
-rw-r--r-- | INSTALL.cli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/INSTALL.cli b/INSTALL.cli index 3d8a098..49cf63a 100644 --- a/INSTALL.cli +++ b/INSTALL.cli @@ -21,10 +21,10 @@ system is self-hosted, which means that unless you have obtained a pre-built binary from somewhere else, you will need to bootstrap it. To accomplish this, we use the \c{bootstrap.sh} shell script (or equivalent batch files for Windows) found in the root directory of the \c{build2} distribution. On -UNIX-like operating systems as well as MinGW a GNU \c{make} makefile called -\c{bootstrap.gmake} can also be used with the major advanage over the script -being support for parallel compilation and an out of tree build (see comments -inside the makefile for more information). +UNIX-like operating systems as well as on Windows with MinGW or Clang, a GNU +\c{make} makefile called \c{bootstrap.gmake} can also be used with the major +advanage over the script being support for parallel compilation and an out of +tree build (see comments inside the makefile for more information). The following is the recommended sequence of steps: |