Skip to content

Commit a24ac3d

Browse files
committed
Fixup compiling.md with more clang-format install instructions
1 parent 55e6594 commit a24ac3d

File tree

1 file changed

+11
-3
lines changed

1 file changed

+11
-3
lines changed

COMPILING.md

+11-3
Original file line numberDiff line numberDiff line change
@@ -269,12 +269,20 @@ install clang-format locally and run it against your code as you are working.
269269
Different versions of clang-format have slightly different behaviors. CBMC uses
270270
clang-format-3.8 as it is available the repositories for Ubuntu 16.04 and
271271
Homebrew.
272-
To install, run:
272+
To install on a Unix-like system, try installing using the system package
273+
manager:
273274
```
274-
sudo apt install clang-format-3.8 # Run this on Ubuntu, Debian etc.
275-
brew install clang-format-3.8 # Run this on a Mac with Homebrew installed
275+
apt-get install clang-format-3.8 # Run this on Ubuntu, Debian etc.
276+
brew install clang-format@3.8 # Run this on a Mac with Homebrew installed
276277
```
277278
279+
If your platform doesn't have a package for clang-format, you can download a
280+
pre-built binary, or compile clang-format yourself using the appropriate files
281+
from the [LLVM Downloads page](http://releases.llvm.org/download.html).
282+
283+
An installer for Windows (along with a Visual Studio plugin) can be found at
284+
the [LLVM Snapshot Builds page](http://llvm.org/builds/).
285+
278286
### FORMATTING A RANGE OF COMMITS
279287
280288
Clang-format is distributed with a driver script called git-clang-format-3.8.

0 commit comments

Comments
 (0)