From d274a1af03fccce8e87eda4efaca60bfe83418d5 Mon Sep 17 00:00:00 2001 From: hasufell Date: Sun, 25 May 2014 04:40:49 +0200 Subject: [PATCH] BUILD: fix UNBUNDLE, rm obsolete libtom references --- src/Makefile | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/Makefile b/src/Makefile index 4b5bb0b..ce3136b 100644 --- a/src/Makefile +++ b/src/Makefile @@ -46,11 +46,10 @@ INCS = -I. ifndef UNBUNDLE LIBFLINT = ../external/flint-2.4.3/libflint.a -INCS += -I../external/libtommath-0.42.0 \ - -I../external/libtompoly-0.04 \ - -I../external/flint-2.4.3 +INCS += -I../external/flint-2.4.3 else LIBFLINT = -lflint +INCS += -I/usr/include/flint endif