Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Restructure compilation documentation #6109

Merged
merged 14 commits into from
May 13, 2021
Merged

Restructure compilation documentation #6109

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
e26ece4
Update compiling document to indicate current platform status
thomasspriggs May 12, 2021
892e59b
Move CMake build instructions above make build instructions
thomasspriggs May 12, 2021
62a5248
Update compiling documentation to refer to Visual Studio 2019
thomasspriggs May 12, 2021
df55570
Fix misspelling of "should" in compiling documentation
thomasspriggs May 12, 2021
8e78992
Document location of built binaries for the cmake build
thomasspriggs May 12, 2021
ed7c6b7
Link to CI script in compiling documentation
thomasspriggs May 12, 2021
a295f90
Move SOLARIS and FREEBSD sections downwards
thomasspriggs May 12, 2021
a4bfb6d
Retitle Windows section to indicate cygwin usage
thomasspriggs May 12, 2021
1eca47c
Quote `strawberryperl` in compiling documentation
thomasspriggs May 13, 2021
d79edf5
Consistently capitalise CMake when naming the build system
thomasspriggs May 13, 2021
070dfec
Quote `cmake` when referring to the command
thomasspriggs May 13, 2021
1aa9b60
Document where to get Strawberry Perl in `COMPILING.md`
thomasspriggs May 13, 2021
d34fc86
Rephrase explaination of non-universal macOS binaries
thomasspriggs May 13, 2021
c112db2
Remove references to cygwin in favour of Windows instead
thomasspriggs May 13, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 8 additions & 3 deletions COMPILING.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,14 +1,19 @@
# WHAT ARCHITECTURE?

CPROVER now needs a C++11 compliant compiler and works in the following
environments:
CPROVER now needs a C++11 compliant compiler and is known to work in the
following environments:

- Linux
- MacOS X
- Microsoft Visual Studio
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This should be >=2019, also below should probably indicate MSVS 2015+-?


The above environments are currently tested as part of our continuous
integration system. The environments below have been used successfully in the
past, but are not actively tested:

- Solaris 11
- FreeBSD 11
- Cygwin
- Microsoft Visual Studio

The rest of this document is split up into three parts: compilation on Linux,
MacOS, Windows. Please read the section appropriate for your machine.
Expand Down