aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorEmanuele Pagone <epagone.dev@gmail.com>2020-06-13 18:39:24 +0100
committerEmanuele Pagone <epagone.dev@gmail.com>2020-06-13 18:39:24 +0100
commitbdb5aa376c524b0f30bb2e6e17473702b0080cfa (patch)
tree1713058dcf66e50c26fa43251d87c54ca26bff4d /README.md
parentf97260ef5b5dfe9e2872394a4539090e71e1ceff (diff)
downloadfpm-bdb5aa376c524b0f30bb2e6e17473702b0080cfa.tar.gz
fpm-bdb5aa376c524b0f30bb2e6e17473702b0080cfa.zip
add libgmp-dev pre-requisite for Debian-derived distributions
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/README.md b/README.md
index e3e1e1c..b6ff265 100644
--- a/README.md
+++ b/README.md
@@ -26,6 +26,8 @@ cd fpm
### Build and Test fpm
+Make sure that the developers library of `gmp` is installed (e.g. `sudo apt install libgmp-dev` on Debian-derived Linux distributions)
+
Build fpm using:
```
stack build