summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2009-05-24 01:42:45 +0200
committerJose Antonio Ortega Ruiz <jao@gnu.org>2009-05-24 01:42:45 +0200
commit908d883f98c06a5c211efdbebbb0f27cde335fc8 (patch)
treeb296497c09c4e14be436e06c10c8197acab68b06
parent32ba9dcfb9db2ef8575e81211fe8681a84b46bf0 (diff)
downloadgeiser-guile-908d883f98c06a5c211efdbebbb0f27cde335fc8.tar.gz
geiser-guile-908d883f98c06a5c211efdbebbb0f27cde335fc8.tar.bz2
PLT: customizable collection directories.
-rw-r--r--elisp/geiser-plt.el6
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))))