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

Mention the Nix binary cache for faster builds. #2085

Merged
merged 5 commits into from
Aug 24, 2021
Merged

Mention the Nix binary cache for faster builds. #2085

Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
1f4d9fe
Mention the Nix binary cache for faster builds.
RaoulSchaffranek Jul 15, 2021
686beef
Merge branch 'master' into readme-nix-build-instructions
RaoulSchaffranek Jul 15, 2021
e96f279
Use proper markdown-syntax for links
RaoulSchaffranek Jul 16, 2021
76f0205
Merge branch 'master' into readme-nix-build-instructions
RaoulSchaffranek Jul 16, 2021
5e0e3b5
Merge branch 'master' into readme-nix-build-instructions
rv-jenkins Aug 24, 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
7 changes: 6 additions & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ The rest of this file assumes you intend to build and install the K Framework
from source.

Note that the K Framework can only be built on (x86-64) Linux-like systems,
e.g., this also includies macOS/brew (x86-64) as well as the Windows Subsystem
e.g., this also includes macOS/brew (x86-64) as well as the Windows Subsystem
for Linux.
All 32-bit systems are **not supported**.
See the
Expand Down Expand Up @@ -186,6 +186,11 @@ should be installed.

## Building with Nix

By default, Nix will build the project and its transitive dependencies from
source, which can take up to an hour. We recommend setting up
[the binary cache](https://app.cachix.org/cache/kore) to speed up the build
process significantly.

To build the K Framework itself, run:

```bash
Expand Down