on master help sign in
Declare a dependency on gmp when the gmp flag is set.
bf657b5Shea Levy
idris.cabal+1
@@ -993,6 +993,7 @@ Library
993 cpp-options: -DIDRIS_FFI
993 cpp-options: -DIDRIS_FFI
994 if flag(GMP)
994 if flag(GMP)
995 build-depends: libffi < 0.2
995 build-depends: libffi < 0.2
996+ extra-libraries: gmp
996 cpp-options: -DIDRIS_GMP
997 cpp-options: -DIDRIS_GMP
997 if flag(curses)
998 if flag(curses)
998 build-depends: hscurses < 1.5
999 build-depends: hscurses < 1.5