diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-19 17:21:14 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-19 17:21:14 +0000 |
| commit | e103401e809f4dc15e41962331a849a58a999a01 (patch) | |
| tree | 89b26b1dc8bad6a33ee1569f79d0b9b774dfc41c /etc/lego | |
| parent | 2dbf52650a67bf4f6d801c2bd7d315c1bc3a93d9 (diff) | |
support environmental variable PROOFGENERAL
Diffstat (limited to 'etc/lego')
| -rw-r--r-- | etc/lego/lego-site.el | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/etc/lego/lego-site.el b/etc/lego/lego-site.el new file mode 100644 index 00000000..44c13422 --- /dev/null +++ b/etc/lego/lego-site.el @@ -0,0 +1,20 @@ +;;; proof-site.el Site-specific Emacs support for LEGO +;;; Copyright (C) 1998 LFCS Edinburgh +;;; Author: Thomas Kleymann <T.Kleymann@ed.ac.uk> +;;; Maintainer: lego@dcs.ed.ac.uk + +(let ((version (getenv "PROOFGENERAL"))) + (cond ((string= version "") ;default + (setq load-path + (cons "/usr/local/share/elisp/script-management" load-path)) + (setq load-path + (cons "/usr/local/share/elisp/script-management/lego" load-path)) + (load "lego")) + ((string= version "ancient") + (setq load-path (cons "/usr/local/share/elisp/lego" load-path)) + (load "lego")) + ((string= version "latest") + (load-file "/usr/local/share/elisp/proofgeneral/generic/proof-site.el")))) + + +
\ No newline at end of file |