From fd9116a8f5d23b72331a6995bcf063d70402e89a Mon Sep 17 00:00:00 2001 From: "W. Kosior" Date: Sun, 24 Nov 2024 22:22:41 +0100 Subject: Mention `dev-shell' script in README. --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index c89656e..cd0b228 100644 --- a/README.md +++ b/README.md @@ -17,7 +17,9 @@ FLINT as of today. ## Building -Please consult the included Makefile :) +You can install the dependencies with GNU Guix using `dev-shell` script that you +can find in project's root. For the rest, please consult the included Makefile +:) - [1] https://eprint.iacr.org/2008/322 - [2] https://flintlib.org/ -- cgit v1.2.3