Skip to content

Commit

Permalink
update README
Browse files Browse the repository at this point in the history
  • Loading branch information
jtcoolen committed Nov 19, 2023
1 parent 471e21b commit 6dea458
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,10 +6,8 @@ The best way to get the dependencies is through [Nix](https://nixos.org/).
Without Nix, you will need opam 2.0 and GMP installed on your system.
To generate the stubs you will need LLVM and libclang.

1. Clone the vendored library PARI: `git submodule update --recursive --remote --init`
2. With Nix: `nix develop -c $SHELL`
3. With OPAM: `opam update && opam switch create . -y --deps-only`
4. `dune build`
1. With OPAM: `opam update && opam switch create . -y --deps-only` (or with Nix: `nix develop -c $SHELL`)
2. `dune build`

To regenerate the stubs run `make gen-stubs` (after `nix-shell -p llvm libclang`).

Expand Down

0 comments on commit 6dea458

Please sign in to comment.