@@ -19,7 +19,7 @@ past, but are not actively tested:
19
19
- FreeBSD 11
20
20
- Cygwin
21
21
22
- # Building using CMAKE
22
+ # Building using CMake
23
23
24
24
Building with CMake is supported across Linux, MacOS X and Windows with Visual
25
25
Studio 2019. There are also hand-written make files which can be used to build
33
33
1 . Ensure you have all the build dependencies installed. Build dependencies are
34
34
the same as for the makefile build, but with the addition of CMake version
35
35
3.2 or higher. The installed CMake version can be queried with `cmake
36
- --version`. To install cmake :
36
+ --version`. To install CMake :
37
37
- On Debian-like distributions, do
38
38
```
39
39
apt-get install g++ gcc flex bison make git curl patch cmake
52
52
difficult, you can avoid needing these dependencies by not building
53
53
JBMC. Just pass `-DWITH_JBMC=OFF` to cmake in step (4) below.
54
54
- On Windows, ensure you have Visual Studio 2019 or later installed. The
55
- developer command line that comes with Visual Studio 2019 has cmake
55
+ developer command line that comes with Visual Studio 2019 has CMake
56
56
already available. You will also need to ensure that you have winflexbison
57
57
installed and available in the path. winflexbison is available from
58
58
[the github release page](https://github.com/lexxmark/winflexbison/releases/)
@@ -358,7 +358,7 @@ If compiling with make:
358
358
2. Uncomment the definition of `CUDD` in the file `src/config.inc`.
359
359
3. Compile with `make -C src`
360
360
361
- If compiling with cmake :
361
+ If compiling with CMake :
362
362
363
363
1. Add the `-DCMAKE_USE_CUDD=true` flag to the `cmake` configuration phase.
364
364
For instance:
@@ -412,7 +412,7 @@ make -C src glucose-download
412
412
make -C src GLUCOSE=../../glucose-syrup
413
413
```
414
414
415
- For `cmake` the alternatives can be built with the following arguments to `cmake`
415
+ For CMake the alternatives can be built with the following arguments to `cmake`
416
416
for CaDiCaL `-Dsat_impl=cadical` and for glucose `-Dsat_impl=glucose`.
417
417
418
418
0 commit comments