Permalink
Browse files

Update path to gmp.h for buildlin.sh (Thanks to jejayhe)

  • Loading branch information...
shussain committed Oct 23, 2017
1 parent e7e77c2 commit c2daa0fa9273326df34d9df24d8fd01e3c79fec0
Showing with 1 addition and 1 deletion.
  1. +1 −1 buildlin.sh
@@ -2,7 +2,7 @@
fail=false
if [ ! -f /usr/include/gmp.h ];
if [ ! -f /usr/include/gmp.h ] && [ ! -f /usr/include/*/gmp.h ];
then
echo You need to install libgmp-dev.
echo " apt-get install libgmp-dev"

0 comments on commit c2daa0f

Please sign in to comment.