git.iko.soy/Idris-dev
on master help sign in
Declare a dependency on gmp when the gmp flag is set.

Fixes #2499

commitbf657b5169f0b7451d101e9a9619c68411d64bab authorShea Levy <shea@shealevy.com> dateThu 15 Oct 2015, 15:09 (11 years ago) parentd2f892b
1 file changed+1
compare with master
unifiedsplit
idris.cabal+1
idris.cabal+1
@@ -993,6 +993,7 @@ Library
993993 cpp-options: -DIDRIS_FFI
994994 if flag(GMP)
995995 build-depends: libffi < 0.2
996+ extra-libraries: gmp
996997 cpp-options: -DIDRIS_GMP
997998 if flag(curses)
998999 build-depends: hscurses < 1.5