File tree 2 files changed +13
-11
lines changed 2 files changed +13
-11
lines changed Original file line number Diff line number Diff line change @@ -441,3 +441,16 @@ relevant `*_WARNINGS_AS_ERRORS` list defined in
441
441
442
442
Additional warnings should only be added here if the warnings has no false
443
443
positives.
444
+
445
+ ### Building TPTP with CMAKE
446
+
447
+
448
+ Build instructions:
449
+
450
+ 1 . cd z3
451
+ 2 . mkdir release
452
+ 3 . cd release
453
+ 4 . cmake3 -DZ3_BUILD_LIBZ3_SHARED=FALSE -DCMAKE_BUILD_TYPE=RelWithDebInfo -G "Unix Makefiles" ../
454
+ 5 . make
455
+ 6 . make z3_tptp5
456
+ 7 . cp examples/tptp_build_dir/z3_tptp5 ../../bin/z3_tptp
Original file line number Diff line number Diff line change @@ -17,15 +17,4 @@ It also exposes utilities for converting between SMT-LIB
17
17
and TPTP format.
18
18
19
19
20
- Custom build with CMAKE:
21
-
22
- Build instructions:
23
-
24
- 1. cd z3
25
- 2. mkdir release
26
- 3. cd release
27
- 4. cmake3 -DZ3_BUILD_LIBZ3_SHARED=FALSE -DCMAKE_BUILD_TYPE=RelWithDebInfo -G "Unix Makefiles" ../
28
- 5. make
29
- 6. make z3_tptp5
30
- 7. cp examples/tptp_build_dir/z3_tptp5 ../../bin/z3_tptp
31
20
You can’t perform that action at this time.
0 commit comments