Emacs 24.3.1 に ProofGeneral 4.2

じぇねらるたんのステッカーをいただけることになったので, ProofGeneral をインストールしてみた記録.

ついでに Emacs も最新の 24.3.1 にしてみた.

ProofGeneral についてはこちら. → http://proofgeneral.inf.ed.ac.uk/download

Emacs 24.3.1 はここからビルド済みのものをダウンロード. → http://emacsformacosx.com

$ make clean
$ make compile EMACS=/Applications/Emacs.app/Contents/MacOS/Emacs

これですんなりインストールが済むかと思いきや, バイトコンパイルでエラーが出た.

In toplevel form:
generic/pg-response.el:104:23:Error: `special-display-regexps' is an obsolete variable (as of 24.3); use `display-buffer-alist' instead.
make[1]: *** [generic/pg-response.elc] Error 1
make: *** [compile] Error 2

エラーの場所は分かったので, 以下のように書き換えて無事コンパイル完了.

--- before/pg-response.el    2012-09-25 18:44:18.000000000 +0900
+++ after/pg-response.el     2013-03-14 22:57:29.000000000 +0900
@@ -101,9 +101,9 @@
              pg-response-special-display-regexp
              proof-multiframe-parameters)))
     (if proof-multiple-frames-enable
-    (add-to-list 'special-display-regexps spdres)
-      (setq special-display-regexps
-        (delete spdres special-display-regexps))))
+    (add-to-list 'display-buffer-alist spdres)
+      (setq display-buffer-alist
+        (delete spdres display-buffer-alist))))
   (proof-layout-windows))

 (defun proof-three-window-enable ()

さてこれからはドキュメントを読みつつ使い方に慣れていく. → (PDF) http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral/doc/ProofGeneral.pdf

Comments

blog comments powered by Disqus

Licenses