[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62762: 'make' often errors with "Org version mismatch" after pulling
From: |
Ihor Radchenko |
Subject: |
bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code |
Date: |
Mon, 01 May 2023 10:25:20 +0000 |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
> Maybe if we can identify a "first org-*.el file" (i.e. a file which
> *any* use of some part of Org mode would necessarily load pretty early
> on), then we can reduce this check to:
Such file is org-macs.el
> - check if that "first org-*.el file" is already loaded.
> - if no, load it
> - if yes, compare the output of `locate-file` to what is found in
> `load-history`, and in case it doesn't match (because of a new
> directory in `load-path`), signal an error (or maybe force a reload
> instead?).
>
> We could even provide a new `require-with-shadow-check` function that
> does just that.
May you provide an approximate code for that function?
--
Ihor Radchenko // yantar92,
Org mode contributor,
Learn more about Org mode at <https://orgmode.org/>.
Support Org development at <https://liberapay.com/org-mode>,
or support my work at <https://liberapay.com/yantar92>
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code,
Ihor Radchenko <=
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Stefan Monnier, 2023/05/01
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Ihor Radchenko, 2023/05/02
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Stefan Monnier, 2023/05/02
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Ihor Radchenko, 2023/05/03
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Alan Mackenzie, 2023/05/03
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Eli Zaretskii, 2023/05/04
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Alan Mackenzie, 2023/05/04
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Eli Zaretskii, 2023/05/04
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Max Nikulin, 2023/05/04
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Stefan Monnier, 2023/05/04