From 721e5472469dff09c86a36984cceb612e67a191f Mon Sep 17 00:00:00 2001 From: julien Date: Sun, 19 Nov 2023 00:36:19 +0100 Subject: [PATCH] update README --- README.md | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 6227335..cf1193d 100644 --- a/README.md +++ b/README.md @@ -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`).