diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-02-05 17:43:10 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-02-05 17:43:10 +0000 |
| commit | c31f575f39c1e387f18f630fb01d3a89c2339fdf (patch) | |
| tree | d6db6ce35cd0849abe99eccd07d0f86a1aa82025 /sci-mathematics/coq-serapi/files | |
| parent | 34d05d15811bd789a5348824d4f4151a49f924c9 (diff) | |
gentoo auto-resync : 05:02:2024 - 17:43:10
Diffstat (limited to 'sci-mathematics/coq-serapi/files')
| -rw-r--r-- | sci-mathematics/coq-serapi/files/coq-serapi-0.19.0-sertop-el.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sci-mathematics/coq-serapi/files/coq-serapi-0.19.0-sertop-el.patch b/sci-mathematics/coq-serapi/files/coq-serapi-0.19.0-sertop-el.patch new file mode 100644 index 000000000000..b6aa6c1784ca --- /dev/null +++ b/sci-mathematics/coq-serapi/files/coq-serapi-0.19.0-sertop-el.patch @@ -0,0 +1,11 @@ +--- a/sertop/sertop.el ++++ b/sertop/sertop.el +@@ -37,7 +37,7 @@ + (buffer-file-name)))) + + (defvar sertop-executable-path +- (or (expand-file-name "sertop.native" sertop--root) ++ (or (executable-find "sertop.native") + (executable-find "sertop")) + "Path to sertop.") + |