search

daviderestivo / homebrew-emacs-head

GNU Emacs formula for the Homebrew package manager
GNU General Public License v3.0
298 stars 29 forks source link

Support with-mps build #215

Closed jmckitrick closed 2 months ago

daviderestivo commented 2 months ago

Can you please update the options in the README file?

P.S.: Please mark this option as [Experimental]

jmckitrick commented 2 months ago

I should have told you the option is nowhere near ready for inclusion at this point. They have a long way to go.Sent from my iPhoneOn Aug 24, 2024, at 3:34 AM, Davide Restivo @.***> wrote: Can you please update the options in the README file?

—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you authored the thread.Message ID: @.***>

daviderestivo commented 2 months ago

Then I would close this PR and the corresponding issue if you're ok with it. We can re-open it once the feature is close to be usable.