From 9c9a110130a47c8079dd2217411e8ae36e818711 Mon Sep 17 00:00:00 2001 From: Martin Willi Date: Tue, 16 Jun 2009 14:47:07 +0200 Subject: [PATCH] pluto does not depend on gmp anymore --- configure.in | 4 ---- 1 file changed, 4 deletions(-) diff --git a/configure.in b/configure.in index db61ae4..c069733 100644 --- a/configure.in +++ b/configure.in @@ -776,10 +776,6 @@ dnl ========================= dnl dependency calculation dnl ========================= -if test x$pluto = xtrue; then - gmp=true; -fi - if test x$tools = xtrue; then gmp=true; fi -- 2.7.4