You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: .github/workflows/regular-release.yaml
+6-11Lines changed: 6 additions & 11 deletions
Original file line number
Diff line number
Diff line change
@@ -38,6 +38,7 @@ jobs:
38
38
## MacOS
39
39
40
40
On MacOS, install CBMC using [Homebrew](https://brew.sh/) with
41
+
41
42
```sh
42
43
brew install cbmc
43
44
```
@@ -50,8 +51,7 @@ jobs:
50
51
51
52
## Ubuntu
52
53
53
-
On Ubuntu, install CBMC by downloading the *.deb package below for your version of Ubuntu
54
-
and install with one of
54
+
On Ubuntu, install CBMC by downloading the *.deb package below for your version of Ubuntu and install with one of
55
55
56
56
```sh
57
57
# Ubuntu 18:
@@ -62,22 +62,17 @@ jobs:
62
62
63
63
## Windows
64
64
65
-
On Windows, install CBMC by downloading the `${{ env.CBMC_TAG }}-win64.msi` installer
66
-
below, double-clicking on the installer to run it, and adding the folder
67
-
`C:\Program Files\cbmc\bin` in your `PATH` environment variable.
65
+
On Windows, install CBMC by downloading the `${{ env.CBMC_TAG }}-win64.msi` installer below, double-clicking on the installer to run it, and adding the folder `C:\Program Files\cbmc\bin` in your `PATH` environment variable.
68
66
69
67
For installation from the windows command prompt, run:
70
68
71
69
```sh
72
70
msiexec /i ${{ env.CBMC_TAG }}-win64.msi
73
-
PATH="c:\program files\cbmc\bin";%PATH%
71
+
PATH="C:\Program Files\cbmc\bin";%PATH%
74
72
```
75
73
76
-
Note that we depend on the Visual C++ redistributables. You likely already have these,
77
-
if not please download and run vcredist.x64.exe from Microsoft to install them prior
78
-
to running cbmc, or make sure you have Visual Studio 2019 installed.
74
+
Note that we depend on the Visual C++ redistributables. You likely already have these, if not please download and run vcredist.x64.exe from Microsoft to install them prior to running cbmc, or make sure you have Visual Studio 2019 installed.
79
75
80
-
You can download either [Visual Studio 2019 Community Edition](https://visualstudio.microsoft.com/vs/community/)
81
-
or the [Visual C++ Redistributables](https://support.microsoft.com/en-gb/help/2977003/the-latest-supported-visual-c-downloads) from Microsoft for free.
76
+
You can download either [Visual Studio 2019 Community Edition](https://visualstudio.microsoft.com/vs/community/) or the [Visual C++ Redistributables](https://support.microsoft.com/en-gb/help/2977003/the-latest-supported-visual-c-downloads) from Microsoft for free.
0 commit comments