Changes between Initial Version and Version 1 of Ticket #61742, comment 4


Ignore:
Timestamp:
Sep 21, 2021, 2:26:39 PM (3 years ago)
Author:
wyuenho (Jimmy Yuen Ho Wong)
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #61742, comment 4

    initial v1  
    1 I don't understand the change here. The problem the author had seems to come from the working directory having some old build, possible emacs 26, there's no need to remove --with-gmp unless we want to use the included mini-gmp all the time, in which case we should delete port:gmp too.
     1I don't understand the change here. The problem the author had seems to come from the working directory having some old build, possible emacs 26, there's no need to remove --with-gmp unless we want to use the included mini-gmp all the time, in which case we should delete port:gmp too. If --with-gmp is wrong, just replace it with --with-libgmp.