diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-05-24 01:42:45 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-05-24 01:42:45 +0200 |
| commit | 908d883f98c06a5c211efdbebbb0f27cde335fc8 (patch) | |
| tree | b296497c09c4e14be436e06c10c8197acab68b06 /elisp/geiser-plt.el | |
| parent | 32ba9dcfb9db2ef8575e81211fe8681a84b46bf0 (diff) | |
| download | geiser-chez-908d883f98c06a5c211efdbebbb0f27cde335fc8.tar.gz geiser-chez-908d883f98c06a5c211efdbebbb0f27cde335fc8.tar.bz2 | |
PLT: customizable collection directories.
Diffstat (limited to 'elisp/geiser-plt.el')
| -rw-r--r-- | elisp/geiser-plt.el | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/elisp/geiser-plt.el b/elisp/geiser-plt.el index 337c43d..bcfbddc 100644 --- a/elisp/geiser-plt.el +++ b/elisp/geiser-plt.el @@ -44,6 +44,11 @@ :type '(choice string (repeat string)) :group 'geiser-plt) +(defcustom geiser-plt-collects nil + "A list of paths to be added to mzscheme's collection directories." + :type '(repeat file) + :group 'geiser-plt) + (defcustom geiser-plt-init-file "~/.plt-geiser" "Initialization file with user code for the mzscheme REPL." :type 'string @@ -63,6 +68,7 @@ This function uses `geiser-plt-init-file' if it exists." (expand-file-name geiser-plt-init-file)))) `("-i" "-q" "-S" ,(expand-file-name "plt/" geiser-scheme-dir) + ,@(apply 'append (mapcar (lambda (p) (list "-S" p)) geiser-plt-collects)) ,@(and (listp geiser-plt-binary) (cdr geiser-plt-binary)) ,@(and init-file (file-readable-p init-file) (list "-f" init-file)) "-f" ,(expand-file-name "plt/geiser.ss" geiser-scheme-dir)))) |