sci-mathematics/coq-serapi/files/coq-serapi-sertop.el-path.patch


1
2
3
4
5
6
7
8
9
10
11
12

index 300a22f..63f7dcc 100644
--- a/sertop.el
+++ b/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.")