File 0002-compile-fixes.diff of Package flint
From: Jan Engelhardt <jengelh@inai.de>
Date: 2015-02-19 10:22:23.618673974 +0100
build: remove inclusion of private header file
NTL/g_lip.h has no header guards and apparently is not meant to be
included directly; instead, NTL/lip.h is needed (this is already
present - hence the compile error saying double definition).
[ 64s] CXX interfaces/NTL-interface.lo
[ 65s] In file included from interfaces/NTL-interface.cpp:37:0:
[ 65s] /usr/include/NTL/g_lip.h: In function 'long int _ntl_gmaxalloc(_ntl_gbigint)':
[ 65s] /usr/include/NTL/g_lip.h:403:10: error: redefinition of 'long int _ntl_gmaxalloc(_ntl_gbigint)'
[ 65s] long _ntl_gmaxalloc(_ntl_gbigint x)
[ 65s] ^
[ 65s] In file included from /usr/include/NTL/lip.h:12:0,
[ 65s] from /usr/include/NTL/ZZ.h:18,
[ 65s] from interfaces/NTL-interface.cpp:32:
[ 65s] /usr/include/NTL/g_lip.h:403:10: error: 'long int _ntl_gmaxalloc(_ntl_gbigint)' previously defined here
[ 65s] long _ntl_gmaxalloc(_ntl_gbigint x)
[ 65s] ^
---
interfaces/NTL-interface.cpp | 1 -
1 file changed, 1 deletion(-)
Index: flint-2.4.4/interfaces/NTL-interface.cpp
===================================================================
--- flint-2.4.4.orig/interfaces/NTL-interface.cpp
+++ flint-2.4.4/interfaces/NTL-interface.cpp
@@ -34,7 +34,6 @@
#include <NTL/mat_ZZ.h>
#include <NTL/lip.h>
#include <NTL/ctools.h>
-#include <NTL/g_lip.h>
#include <gmp.h>
#include "flint.h"