Repository navigation
Conversation
Prefer compatible CMake package targets, report the selected provider, and retain bundled fallback and unit tests. Guard the Debug ABI and exclude imported memtailor from local target exports. Co-authored-by: Codex <noreply@openai.com>
Probe the selected target at configuration time and report MEMT_DEBUG explicitly. Propagate its usage requirements and check Debug compatibility for either discovery method. Co-authored-by: Codex <noreply@openai.com>
Co-authored-by: Codex <noreply@openai.com>
Extend provider selection to mathic and mathicgb, validate transitive debug and TBB metadata, preserve library tests, and document mixed-provider constraints. Co-authored-by: Codex <noreply@openai.com>
Contributor
Author
|
I did a manual check of this PR, together with its companion Macaulay2/M2-emacs#103, |
dimpase
marked this pull request as ready for review
September 22, 2026 04:40
Contributor
Author
|
from zulip: @mikestillman @d-torrance OK, let's amend this here. |
Contributor
Author
|
I don't like e3cf252 - it messes up with git instead of using an Emacs mechanism to fetch plugin updates |
Contributor
Author
|
🤖 wrote: |
dimpase
force-pushed
the
unbundle-emacs
branch
from
September 24, 2026 04:01
39b07da to
184c82e
Compare
Contributor
Author
|
force-push to add missing co-signed commit headers |
dimpase
force-pushed
the
unbundle-emacs
branch
from
September 24, 2026 05:39
e076afd to
ee17f46
Compare
The documentation is staged on wiki-mathic-providers in the fork and should be published to the upstream wiki after this PR merges. Co-authored-by: Codex <noreply@openai.com>
Signed-off-by: Dima Pasechnik <dima@pasechnik.info>
Signed-off-by: Dima Pasechnik <dima@pasechnik.info>
Signed-off-by: Dima Pasechnik <dima@pasechnik.info>
3 tasks done
dimpase
force-pushed
the
unbundle-emacs
branch
from
October 23, 2026 05:51
e7dbb2e to
44fc788
Compare
Co-authored-by: Codex <noreply@openai.com>
…es into cmake-no-submodules # Conflicts: # M2/cmake/check-libraries.cmake Co-authored-by: Codex <noreply@openai.com>
Co-authored-by: Codex <noreply@openai.com>
…ules into unbundle-emacs-replacement # Conflicts: # M2/BUILD/README.md # M2/Macaulay2/CMakeLists.txt # M2/Macaulay2/editors/CMakeLists.txt Co-authored-by: Codex <noreply@openai.com>
6 tasks
Co-authored-by: Codex <noreply@openai.com>
3 tasks done
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Description
Install Emacs support independently from Macaulay2/M2-emacs, instead of downloading, generating and installing it as part of M2.
Remove the Emacs submodule, CMake/Autotools generation and installation rules, source-archive handling, explicit CI/Docker targets, RPM bundled-file entries and installation-layout settings. Preserve Prism, Vim and Pygments generation, runtime communication with Emacs, and the existing documentation node names.
setup()continues to configure command shells.setupEmacs()prompts before replacing its marked block in~/.emacs, backing up the previous file. The block usespackage-vc-installfrom the independent repository'smainbranch (Emacs 29+ and Git). Subsequent startups update VC-installed packages when Emacs becomes idle; tarball/distribution packages remain under their existing package manager. Failures do not abort startup, and F12 starts M2. Documentation covers older Emacs and migration from the bundled configuration.Related issues and pull requests
Depends on: #4758, including its prerequisites #4728 and #4757. This branch has been rebuilt on that replacement stack and no longer contains #4725's selective-submodule machinery. Review the Emacs-only comparison.
#4692 and Macaulay2/M2-emacs#103 have merged. Installation works with the merged M2-emacs
mainbranch and does not require M2-emacs#105–107 or a hosted package archive.Testing
GIT_SUBMODULE=OFFand external libraries succeeds on the replacement stack. The editor-target check confirmsM2-editorsexists andM2-emacsis absent.package-vc-install, an actual upgrade using a local Git fixture, and documentation parsing with M2 1.26.06.ubuntu-26.04label configured explicitly and skips ShellCheck for pre-existing warnings.A complete rebuild of this Emacs branch, full documentation/package installation, distribution packaging and GUI testing were not repeated locally. The existing macOS Autotools package-install serialization is retained.
Release notes
Install the Emacs interface separately;
setupEmacs()uses Emacs's built-in VC package installer.AI disclosure
Tools and models used: OpenAI Codex.
How AI was used: implementation, conflict resolution, restacking, validation and PR description.
Verification: the checks described above were run by Codex.
License