Include just gmp-impl.h, make gmp-impl.h grab gmp.h.

39 files changed, 0 insertions, 39 deletions

diff --git a/tune/common.c b/tune/common.c
index 489f333ff..f350171b6 100644
--- a/tune/common.c
+++ b/tune/common.c
@@ -41,7 +41,6 @@ see https://www.gnu.org/licenses/.  */
 #include <sys/ioctl.h>
 #endif
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"
 
diff --git a/tune/div_qr_1_tune.c b/tune/div_qr_1_tune.c
index 7e928dcce..ef680eecc 100644
--- a/tune/div_qr_1_tune.c
+++ b/tune/div_qr_1_tune.c
@@ -30,7 +30,6 @@ see https://www.gnu.org/licenses/.  */
 
 #define TUNE_PROGRAM_BUILD 1
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 mp_limb_t mpn_div_qr_1n_pi1_1 (mp_ptr, mp_srcptr, mp_size_t, mp_limb_t, mp_limb_t, mp_limb_t);
diff --git a/tune/div_qr_1n_pi1_1.c b/tune/div_qr_1n_pi1_1.c
index 6dd8ceb43..e64a3c774 100644
--- a/tune/div_qr_1n_pi1_1.c
+++ b/tune/div_qr_1n_pi1_1.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef DIV_QR_1N_METHOD
diff --git a/tune/div_qr_1n_pi1_2.c b/tune/div_qr_1n_pi1_2.c
index acc80d469..c5432eabb 100644
--- a/tune/div_qr_1n_pi1_2.c
+++ b/tune/div_qr_1n_pi1_2.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef DIV_QR_1N_METHOD
diff --git a/tune/divrem1div.c b/tune/divrem1div.c
index b680f9d22..008997161 100644
--- a/tune/divrem1div.c
+++ b/tune/divrem1div.c
@@ -30,7 +30,6 @@ see https://www.gnu.org/licenses/.  */
 
 #define OPERATION_divrem_1
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef DIVREM_1_NORM_THRESHOLD
diff --git a/tune/divrem1inv.c b/tune/divrem1inv.c
index 598c03c73..82c852882 100644
--- a/tune/divrem1inv.c
+++ b/tune/divrem1inv.c
@@ -30,7 +30,6 @@ see https://www.gnu.org/licenses/.  */
 
 #define OPERATION_divrem_1
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef DIVREM_1_NORM_THRESHOLD
diff --git a/tune/divrem2div.c b/tune/divrem2div.c
index cd7f3f5a8..8331d8fe3 100644
--- a/tune/divrem2div.c
+++ b/tune/divrem2div.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #ifdef DIVREM_2_THRESHOLD
diff --git a/tune/divrem2inv.c b/tune/divrem2inv.c
index bd7c4268f..8ae87f500 100644
--- a/tune/divrem2inv.c
+++ b/tune/divrem2inv.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #ifdef DIVREM_2_THRESHOLD
diff --git a/tune/freq.c b/tune/freq.c
index 210f42564..ee3850647 100644
--- a/tune/freq.c
+++ b/tune/freq.c
@@ -137,7 +137,6 @@ see https://www.gnu.org/licenses/.  */
 #undef MAX
 #endif
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #include "speed.h"
diff --git a/tune/gcd_bin.c b/tune/gcd_bin.c
index 3e4e5bcfd..86bc287b5 100644
--- a/tune/gcd_bin.c
+++ b/tune/gcd_bin.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef  GCD_ACCEL_THRESHOLD
diff --git a/tune/gcdext_double.c b/tune/gcdext_double.c
index c72f07ea9..2b2ba156b 100644
--- a/tune/gcdext_double.c
+++ b/tune/gcdext_double.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef GCDEXT_THRESHOLD
diff --git a/tune/gcdext_single.c b/tune/gcdext_single.c
index 292e9e87e..3c1d28cc0 100644
--- a/tune/gcdext_single.c
+++ b/tune/gcdext_single.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef GCDEXT_THRESHOLD
diff --git a/tune/gcdextod.c b/tune/gcdextod.c
index c08087d48..f40cae6ef 100644
--- a/tune/gcdextod.c
+++ b/tune/gcdextod.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef GCDEXT_THRESHOLD
diff --git a/tune/gcdextos.c b/tune/gcdextos.c
index fb8af2927..f51ff5276 100644
--- a/tune/gcdextos.c
+++ b/tune/gcdextos.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef GCDEXT_THRESHOLD
diff --git a/tune/hgcd_appr_lehmer.c b/tune/hgcd_appr_lehmer.c
index 790e61e3c..aa43a0709 100644
--- a/tune/hgcd_appr_lehmer.c
+++ b/tune/hgcd_appr_lehmer.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef  HGCD_APPR_THRESHOLD
diff --git a/tune/hgcd_lehmer.c b/tune/hgcd_lehmer.c
index 11d0ef882..364749dcd 100644
--- a/tune/hgcd_lehmer.c
+++ b/tune/hgcd_lehmer.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef  HGCD_THRESHOLD
diff --git a/tune/hgcd_reduce_1.c b/tune/hgcd_reduce_1.c
index 383c2d700..505223326 100644
--- a/tune/hgcd_reduce_1.c
+++ b/tune/hgcd_reduce_1.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef  HGCD_REDUCE_THRESHOLD
diff --git a/tune/hgcd_reduce_2.c b/tune/hgcd_reduce_2.c
index ac18b6033..5d802e049 100644
--- a/tune/hgcd_reduce_2.c
+++ b/tune/hgcd_reduce_2.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef  HGCD_REDUCE_THRESHOLD
diff --git a/tune/jacbase1.c b/tune/jacbase1.c
index a73df8b72..89a584ddd 100644
--- a/tune/jacbase1.c
+++ b/tune/jacbase1.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef JACOBI_BASE_METHOD
diff --git a/tune/jacbase2.c b/tune/jacbase2.c
index b99ebe906..253d83581 100644
--- a/tune/jacbase2.c
+++ b/tune/jacbase2.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef JACOBI_BASE_METHOD
diff --git a/tune/jacbase3.c b/tune/jacbase3.c
index 408b0fed6..4440f31af 100644
--- a/tune/jacbase3.c
+++ b/tune/jacbase3.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef JACOBI_BASE_METHOD
diff --git a/tune/jacbase4.c b/tune/jacbase4.c
index 70d535240..daea3bbf1 100644
--- a/tune/jacbase4.c
+++ b/tune/jacbase4.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef JACOBI_BASE_METHOD
diff --git a/tune/mod_1_1-1.c b/tune/mod_1_1-1.c
index 7eb7fcdf7..7de1e4238 100644
--- a/tune/mod_1_1-1.c
+++ b/tune/mod_1_1-1.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef MOD_1_1P_METHOD
diff --git a/tune/mod_1_1-2.c b/tune/mod_1_1-2.c
index 52ca57749..980a64fdd 100644
--- a/tune/mod_1_1-2.c
+++ b/tune/mod_1_1-2.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef MOD_1_1P_METHOD
diff --git a/tune/mod_1_div.c b/tune/mod_1_div.c
index a0663be05..6268d4e57 100644
--- a/tune/mod_1_div.c
+++ b/tune/mod_1_div.c
@@ -30,7 +30,6 @@ see https://www.gnu.org/licenses/.  */
 
 #define OPERATION_mod_1
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef MOD_1_NORM_THRESHOLD
diff --git a/tune/mod_1_inv.c b/tune/mod_1_inv.c
index 92c936ddc..3b4271096 100644
--- a/tune/mod_1_inv.c
+++ b/tune/mod_1_inv.c
@@ -30,7 +30,6 @@ see https://www.gnu.org/licenses/.  */
 
 #define OPERATION_mod_1
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef MOD_1_NORM_THRESHOLD
diff --git a/tune/modlinv.c b/tune/modlinv.c
index e3f2063e0..42c583ac4 100644
--- a/tune/modlinv.c
+++ b/tune/modlinv.c
@@ -30,7 +30,6 @@ GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"
 #include "speed.h"
diff --git a/tune/noop.c b/tune/noop.c
index 5c13c96ee..c127b734c 100644
--- a/tune/noop.c
+++ b/tune/noop.c
@@ -32,7 +32,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #include "speed.h"
diff --git a/tune/powm_mod.c b/tune/powm_mod.c
index 7c20f53e7..765fd7bd1 100644
--- a/tune/powm_mod.c
+++ b/tune/powm_mod.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef POWM_THRESHOLD
diff --git a/tune/powm_redc.c b/tune/powm_redc.c
index c34bb2e0a..8584614fc 100644
--- a/tune/powm_redc.c
+++ b/tune/powm_redc.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 /* WANT_GLOBAL_REDC makes redc() available for speed and tune program use. */
diff --git a/tune/pre_divrem_1.c b/tune/pre_divrem_1.c
index 388ca4150..66d00da49 100644
--- a/tune/pre_divrem_1.c
+++ b/tune/pre_divrem_1.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #if ! USE_PREINV_DIVREM_1
diff --git a/tune/sb_div.c b/tune/sb_div.c
index a8e096e82..5170dc32e 100644
--- a/tune/sb_div.c
+++ b/tune/sb_div.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #ifdef DIV_SB_PREINV_THRESHOLD
diff --git a/tune/sb_inv.c b/tune/sb_inv.c
index f247b8c50..45e06a396 100644
--- a/tune/sb_inv.c
+++ b/tune/sb_inv.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #ifdef DIV_SB_PREINV_THRESHOLD
diff --git a/tune/set_strb.c b/tune/set_strb.c
index 842ec4cd4..4712bbe7b 100644
--- a/tune/set_strb.c
+++ b/tune/set_strb.c
@@ -33,7 +33,6 @@ see https://www.gnu.org/licenses/.  */
 #define __gmpn_dc_set_str mpn_dc_set_str_basecase
 #define __gmpn_set_str_compute_powtab mpn_set_str_compute_powtab_basecase
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #ifndef SIZE_T_MAX
diff --git a/tune/set_strp.c b/tune/set_strp.c
index 5520f2869..3053b605f 100644
--- a/tune/set_strp.c
+++ b/tune/set_strp.c
@@ -30,7 +30,6 @@ see https://www.gnu.org/licenses/.  */
 
 #define TUNE_PROGRAM_BUILD  1   /* for gmp-impl.h */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/tune/set_strs.c b/tune/set_strs.c
index 75b6f39b4..6a0346fbc 100644
--- a/tune/set_strs.c
+++ b/tune/set_strs.c
@@ -33,7 +33,6 @@ see https://www.gnu.org/licenses/.  */
 #define __gmpn_dc_set_str mpn_dc_set_str_subquad
 #define __gmpn_set_str_compute_powtab mpn_set_str_compute_powtab_subquad
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #undef SET_STR_DC_THRESHOLD
diff --git a/tune/speed.c b/tune/speed.c
index efab32bb3..e33775b3b 100644
--- a/tune/speed.c
+++ b/tune/speed.c
@@ -67,7 +67,6 @@ see https://www.gnu.org/licenses/.  */
 #endif
 
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"  /* for the benefit of speed-many.c */
 #include "tests.h"
diff --git a/tune/time.c b/tune/time.c
index 0178b345a..e0d262096 100644
--- a/tune/time.c
+++ b/tune/time.c
@@ -207,7 +207,6 @@ see https://www.gnu.org/licenses/.  */
 #include <sys/times.h>  /* for times() and struct tms */
 #endif
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 #include "speed.h"
diff --git a/tune/tuneup.c b/tune/tuneup.c
index dcbcbc26b..f34e1f8a0 100644
--- a/tune/tuneup.c
+++ b/tune/tuneup.c
@@ -120,7 +120,6 @@ see https://www.gnu.org/licenses/.  */
 #include <unistd.h>
 #endif
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"