Commit graph

15 commits

Author SHA1 Message Date
jcreedcmu
e3517f1c86
doc: freshen up Mac OSX build instructions (#9618)
This PR brings the Mac OSX build instructions up to date slightly. (They
currently refer to facts "...as of November 2014...")

- Remove specific OS version number from the title as it is out of date
with respect to filename.

- Nonetheless don't change filename for the sake of not breaking
incoming links.

- Update C++ language version to C++14, which I believe is what is
currently required, based on other platform documentation.

- Bump versions of C++ compilers that seem to be current. I expect the
exact values of these version numbers aren't crucial but maybe good for
the reader calibrating a vague sense of whether their compiler is in the
right ballpark.

- Add `lld` to the homebrew clang instructions, because homebrew changed
the way they package llvm tools, spinning the linker off into its own
package.
2025-07-29 21:42:24 +00:00
Cameron Zwarich
3da7f70014
fix: indicate dependency on pkgconf in macOS docs (#6643)
This PR changes the macOS docs to indicate that Lean now requires
pkgconf to build.
2025-01-14 23:40:26 +00:00
Kim Morrison
7e72f9ab85
chore: add libuv to the required packages heading in macos docs (#5045) 2024-08-15 01:33:58 +00:00
Markus Himmel
c237c1f9fb
feat: link LibUV (#4963) 2024-08-12 12:33:24 +00:00
John Tristan
0dff5701af
doc: updated build instructions for mac os X (#4317)
Edit to the platform specific setup for mac os X. The installation of
llvm does not accept the options --with-clang and --with-asan anymore.
2024-06-01 16:23:17 +00:00
Chris Lovett
3a20b6be8a
doc: add wsl setup docs and reorganize a new "dev" folder 2021-09-23 09:21:39 +02:00
Sebastian Ullrich
1756d31694 chore: update build instructions 2020-03-25 12:45:52 +01:00
Sebastian Ullrich
19f8bfd9eb chore(doc/make): add platform-generic build instructions 2018-01-23 11:14:18 -08:00
Jared Roesch
952eb63d96 chore(doc/make/osx): add build instructions to mac OS 2017-05-25 17:03:15 -07:00
Leonardo de Moura
7eef501ae1 chore(*): remove mpfr dependency
closes #1380
2017-02-17 20:36:53 -08:00
Leonardo de Moura
a551de8f36 doc(*): remove Lua from the list of required packages 2016-11-04 14:05:05 -07:00
zjhmale
9c23a3ded3 doc(make): change g++-4.9 to g++
now if use g++4.9 as compiler flag on OSX, it will produce error message
that

```
CMake Error at CMakeLists.txt:2 (project):
  The CMAKE_CXX_COMPILER:

    g++-4.9

  is not a full path and was not found in the PATH.

  Tell CMake where to find the compiler by setting
  either the environment variable "CXX" or the CMake cache entry
  CMAKE_CXX_COMPILER to the full path to the compiler, or to the
  compiler name if it is in the PATH.
```
2016-10-05 15:38:22 -07:00
Soonho Kong
4bc7a4d32a doc(make/osx-10.9.md): update available compilers and required/optional pacakges
[skip ci]
2014-10-31 09:48:27 -07:00
Leonardo de Moura
c56274d821 chore(doc/make): we don't use thread_local keyword anymore 2014-10-31 07:29:09 -07:00
Soonho Kong
435a582bb0 doc(make/osx-10.9.md): take out tap, bump up version to 10.9 2014-07-08 09:41:02 -04:00
Renamed from doc/make/osx-10.8.md (Browse further)