libtool: compile:  x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -frounding-math -march=corei7 -O3 -pipe -W -Wall -MT Congruence_System.lo -MD -MP -MF .deps/Congruence_System.Tpo -c Congruence_System.cc  -fPIC -DPIC -o .libs/Congruence_System.o
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Checked_Number.cc:25:
mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from checked.defs.hh:29:0,
                 from Checked_Number.defs.hh:28,
                 from Checked_Number.cc:25:
/usr/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Checked_Number.cc:25:
mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from checked.defs.hh:29:0,
                 from Checked_Number.defs.hh:28,
                 from Checked_Number.cc:25:
/usr/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from checked.cc:25:
mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from checked.defs.hh:29:0,
                 from checked.cc:25:
/usr/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from checked.cc:25:
mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from checked.defs.hh:29:0,
                 from checked.cc:25:
/usr/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from math_utilities.defs.hh:27,
                 from Row_Flags.inlines.hh:27,
                 from Row_Flags.defs.hh:93,
                 from Dense_Row.defs.hh:32,
                 from Dense_Matrix.defs.hh:28,
                 from Linear_System.defs.hh:31,
                 from Constraint_System.defs.hh:29,
                 from Constraint_System.cc:25:
mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from meta_programming.hh:27:0,
                 from C_Integer.hh:27,
                 from globals.defs.hh:28,
                 from Dense_Row.defs.hh:29,
                 from Dense_Matrix.defs.hh:28,
                 from Linear_System.defs.hh:31,
                 from Constraint_System.defs.hh:29,
                 from Constraint_System.cc:25:
/usr/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from math_utilities.defs.hh:27,
                 from Row_Flags.inlines.hh:27,
                 from Row_Flags.defs.hh:93,
                 from Dense_Row.defs.hh:32,
                 from Dense_Matrix.defs.hh:28,
                 from Linear_System.defs.hh:31,
                 from Constraint_System.defs.hh:29,
                 from Constraint_System.cc:25:
mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from meta_programming.hh:27:0,
                 from C_Integer.hh:27,
                 from globals.defs.hh:28,
                 from Dense_Row.defs.hh:29,
                 from Dense_Matrix.defs.hh:28,
                 from Linear_System.defs.hh:31,
                 from Constraint_System.defs.hh:29,
                 from Constraint_System.cc:25:
/usr/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from math_utilities.defs.hh:27,
                 from Row_Flags.inlines.hh:27,
                 from Row_Flags.defs.hh:93,
                 from Dense_Row.defs.hh:32,
                 from Congruence.defs.hh:29,
                 from Congruence.cc:25:
mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from meta_programming.hh:27:0,
                 from C_Integer.hh:27,
                 from globals.defs.hh:28,
                 from Dense_Row.defs.hh:29,
                 from Congruence.defs.hh:29,
                 from Congruence.cc:25:
/usr/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from math_utilities.defs.hh:27,
                 from Row_Flags.inlines.hh:27,
                 from Row_Flags.defs.hh:93,
                 from Dense_Row.defs.hh:32,
                 from Congruence.defs.hh:29,
                 from Congruence.cc:25:
mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from meta_programming.hh:27:0,
                 from C_Integer.hh:27,
                 from globals.defs.hh:28,
                 from Dense_Row.defs.hh:29,
                 from Congruence.defs.hh:29,
                 from Congruence.cc:25:
/usr/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from intervals.defs.hh:30,
                 from Interval.defs.hh:30,
                 from Concrete_Expression.defs.hh:29,
                 from Concrete_Expression.cc:25:
mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from meta_programming.hh:27:0,
                 from C_Integer.hh:27,
                 from globals.defs.hh:28,
                 from Concrete_Expression.defs.hh:28,
                 from Concrete_Expression.cc:25:
/usr/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from intervals.defs.hh:30,
                 from Interval.defs.hh:30,
                 from Concrete_Expression.defs.hh:29,
                 from Concrete_Expression.cc:25:
mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from meta_programming.hh:27:0,
                 from C_Integer.hh:27,
                 from globals.defs.hh:28,
                 from Concrete_Expression.defs.hh:28,
                 from Concrete_Expression.cc:25:
/usr/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from math_utilities.defs.hh:27,
                 from Row_Flags.inlines.hh:27,
                 from Row_Flags.defs.hh:93,
                 from Dense_Row.defs.hh:32,
                 from Dense_Matrix.defs.hh:28,
                 from Congruence_System.defs.hh:32,
                 from Congruence_System.cc:25:
mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from meta_programming.hh:27:0,
                 from C_Integer.hh:27,
                 from globals.defs.hh:28,
                 from Dense_Row.defs.hh:29,
                 from Dense_Matrix.defs.hh:28,
                 from Congruence_System.defs.hh:32,
                 from Congruence_System.cc:25:
/usr/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from math_utilities.defs.hh:27,
                 from Row_Flags.inlines.hh:27,
                 from Row_Flags.defs.hh:93,
                 from Dense_Row.defs.hh:32,
                 from Dense_Matrix.defs.hh:28,
                 from Congruence_System.defs.hh:32,
                 from Congruence_System.cc:25:
mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from meta_programming.hh:27:0,
                 from C_Integer.hh:27,
                 from globals.defs.hh:28,
                 from Dense_Row.defs.hh:29,
                 from Dense_Matrix.defs.hh:28,
                 from Congruence_System.defs.hh:32,
                 from Congruence_System.cc:25:
/usr/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from math_utilities.defs.hh:27,
                 from Row_Flags.inlines.hh:27,
                 from Row_Flags.defs.hh:93,
                 from Dense_Row.defs.hh:32,
                 from Linear_Row.defs.hh:29,
                 from Constraint.defs.hh:29,
                 from Constraint.cc:25:
mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from meta_programming.hh:27:0,
                 from C_Integer.hh:27,
                 from globals.defs.hh:28,
                 from Linear_Row.defs.hh:28,
                 from Constraint.defs.hh:29,
                 from Constraint.cc:25:
/usr/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from math_utilities.defs.hh:27,
                 from Row_Flags.inlines.hh:27,
                 from Row_Flags.defs.hh:93,
                 from Dense_Row.defs.hh:32,
                 from Linear_Row.defs.hh:29,
                 from Constraint.defs.hh:29,
                 from Constraint.cc:25:
mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from meta_programming.hh:27:0,
                 from C_Integer.hh:27,
                 from globals.defs.hh:28,
                 from Linear_Row.defs.hh:28,
                 from Constraint.defs.hh:29,
                 from Constraint.cc:25:
/usr/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from Coefficient.defs.hh:27,
                 from Box.defs.hh:29,
                 from Box.cc:25:
mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from checked.defs.hh:29:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from Coefficient.defs.hh:27,
                 from Box.defs.hh:29,
                 from Box.cc:25:
/usr/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from Coefficient.defs.hh:27,
                 from Box.defs.hh:29,
                 from Box.cc:25:
mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from checked.defs.hh:29:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from Coefficient.defs.hh:27,
                 from Box.defs.hh:29,
                 from Box.cc:25:
/usr/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
make[3]: *** [Checked_Number.lo] Error 1
make[3]: *** Waiting for unfinished jobs....
make[3]: *** [checked.lo] Error 1
libtool: compile:  x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -frounding-math -march=corei7 -O3 -pipe -W -Wall -MT Generator_System.lo -MD -MP -MF .deps/Generator_System.Tpo -c Generator_System.cc  -fPIC -DPIC -o .libs/Generator_System.o
make[3]: *** [Congruence.lo] Error 1
make[3]: *** [Concrete_Expression.lo] Error 1
make[3]: *** [Constraint_System.lo] Error 1
make[3]: *** [Constraint.lo] Error 1
make[3]: *** [Congruence_System.lo] Error 1
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from math_utilities.defs.hh:27,
                 from Row_Flags.inlines.hh:27,
                 from Row_Flags.defs.hh:93,
                 from Dense_Row.defs.hh:32,
                 from Dense_Matrix.defs.hh:28,
                 from Linear_System.defs.hh:31,
                 from Generator_System.defs.hh:30,
                 from Generator_System.cc:25:
mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from meta_programming.hh:27:0,
                 from C_Integer.hh:27,
                 from globals.defs.hh:28,
                 from Dense_Row.defs.hh:29,
                 from Dense_Matrix.defs.hh:28,
                 from Linear_System.defs.hh:31,
                 from Generator_System.defs.hh:30,
                 from Generator_System.cc:25:
/usr/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
In file included from checked.defs.hh:30:0,
                 from Checked_Number.defs.hh:28,
                 from Coefficient.types.hh:16,
                 from math_utilities.defs.hh:27,
                 from Row_Flags.inlines.hh:27,
                 from Row_Flags.defs.hh:93,
                 from Dense_Row.defs.hh:32,
                 from Dense_Matrix.defs.hh:28,
                 from Linear_System.defs.hh:31,
                 from Generator_System.defs.hh:30,
                 from Generator_System.cc:25:
mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
In file included from meta_programming.hh:27:0,
                 from C_Integer.hh:27,
                 from globals.defs.hh:28,
                 from Dense_Row.defs.hh:29,
                 from Dense_Matrix.defs.hh:28,
                 from Linear_System.defs.hh:31,
                 from Generator_System.defs.hh:30,
                 from Generator_System.cc:25:
/usr/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
make[3]: *** [Generator_System.lo] Error 1
make[3]: *** [Box.lo] Error 1
make[2]: *** [all] Error 2
make[1]: *** [all-recursive] Error 1
make: *** [all] Error 2
emake failed