From e103401e809f4dc15e41962331a849a58a999a01 Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Mon, 19 Oct 1998 17:21:14 +0000 Subject: support environmental variable PROOFGENERAL --- etc/lego/lego-site.el | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 etc/lego/lego-site.el 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 +;;; 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 -- cgit v1.2.3