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 | 581b1691b18f7a9209ee350d3af5e1f4366cc84d (patch) | |
| tree | 4857804f9eeb3d89d0b310aaec70c10671c1e950 /elisp/geiser-plt.el | |
| parent | 5f3993bffb01dafb2f7a943ece88753143ccdb04 (diff) | |
| download | geiser-581b1691b18f7a9209ee350d3af5e1f4366cc84d.tar.gz geiser-581b1691b18f7a9209ee350d3af5e1f4366cc84d.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)))) |