1. 28 Apr, 2019 1 commit
    • Paul Eggert's avatar
      Update from GMP · 9469d58e
      Paul Eggert authored
      * admin/update-copyright (updatable_files):
      Don’t update copyright year on files copied from GMP, so that
      they’re identical to upstream.
      * src/mini-gmp.c, src/mini-gmp.h: Copy from GMP development
      versions as of 2019-01-01 20:15:39 UTC.
      9469d58e
  2. 01 Jan, 2019 1 commit
    • Paul Eggert's avatar
      Update more copyright years · a04bf151
      Paul Eggert authored
      Update some other copyright years automatically, by running:
      Run 'UPDATE_COPYRIGHT_YEAR=2019 \
      UPDATE_COPYRIGHT_USE_INTERVALS=1 \
      UPDATE_COPYRIGHT_MAX_LINE_LENGTH=79 admin/update-copyright'
      followed by 'admin/merge-gnulib'.
      a04bf151
  3. 13 Jul, 2018 1 commit
    • Tom Tromey's avatar
      Add configury for GMP library · 7cb45cd2
      Tom Tromey authored
      * configure.ac (GMP_LIB, GMP_OBJ): New substs.
      * src/Makefile.in (GMP_OBJ, GMP_OBJ): New variables.
      (base_obj): Add GMP_OBJ.
      (LIBES): Add GMP_LIB.
      * src/mini-gmp.h: New file.
      * src/mini-gmp.c: New file.
      7cb45cd2