diff options
author | Hendrik Tews <hendrik@askra.de> | 2012-05-08 08:11:52 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2012-05-08 08:11:52 +0000 |
commit | 40c1ffb035da3c6c58e53e8190cce672e42283d3 (patch) | |
tree | 2e4c577409de920d3f62ea763561999c8df0c2bb /lib | |
parent | 14f719f2b971f10d8d40c18301c77c7758de9198 (diff) |
Use proof-add-to-load-path to extend load-path. This way,
distributions with specific requirements (such as Debian with
debian-pkg-add-load-path-item) only need to patch one function.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/pg-dev.el | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/lib/pg-dev.el b/lib/pg-dev.el index b791b155..1d1c0e66 100644 --- a/lib/pg-dev.el +++ b/lib/pg-dev.el @@ -16,6 +16,12 @@ (require 'whitespace) +(eval-when-compile + (require 'cl)) + +(eval-when (compile) + (require 'proof-site)) + (with-no-warnings (setq proof-general-debug t)) @@ -77,8 +83,8 @@ (defun pg-loadpath () (interactive) - (add-to-list 'load-path "../generic/") - (add-to-list 'load-path "../lib/")) + (proof-add-to-load-path "../generic/") + (proof-add-to-load-path "../lib/")) ;;; |