really boot primitive-eval from scheme.
[bpt/guile.git] / libguile / load.c
CommitLineData
fbb857a4 1/* Copyright (C) 1995,1996,1998,1999,2000,2001, 2004, 2006, 2008, 2009 Free Software Foundation, Inc.
0f2d19dd 2 *
73be1d9e 3 * This library is free software; you can redistribute it and/or
53befeb7
NJ
4 * modify it under the terms of the GNU Lesser General Public License
5 * as published by the Free Software Foundation; either version 3 of
6 * the License, or (at your option) any later version.
0f2d19dd 7 *
53befeb7
NJ
8 * This library is distributed in the hope that it will be useful, but
9 * WITHOUT ANY WARRANTY; without even the implied warranty of
73be1d9e
MV
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
11 * Lesser General Public License for more details.
0f2d19dd 12 *
73be1d9e
MV
13 * You should have received a copy of the GNU Lesser General Public
14 * License along with this library; if not, write to the Free Software
53befeb7
NJ
15 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
16 * 02110-1301 USA
73be1d9e 17 */
1bbd0b84 18
1bbd0b84 19
0f2d19dd
JB
20\f
21
dbb605f5 22#ifdef HAVE_CONFIG_H
cbd41c89
RB
23# include <config.h>
24#endif
25
13070bd3 26#include <string.h>
7d04d68b 27#include <stdio.h>
13070bd3 28
a0599745
MD
29#include "libguile/_scm.h"
30#include "libguile/libpath.h"
31#include "libguile/fports.h"
32#include "libguile/read.h"
33#include "libguile/eval.h"
34#include "libguile/throw.h"
35#include "libguile/alist.h"
36#include "libguile/dynwind.h"
37#include "libguile/root.h"
38#include "libguile/strings.h"
f33b174d 39#include "libguile/modules.h"
c96d76b8 40#include "libguile/lang.h"
7d04d68b 41#include "libguile/chars.h"
c44ca4fe 42#include "libguile/srfi-13.h"
a0599745
MD
43
44#include "libguile/validate.h"
45#include "libguile/load.h"
ec3a8ace 46#include "libguile/fluids.h"
06721500 47
22f4ee48
AW
48#include "libguile/vm.h" /* for load-compiled/vm */
49
06721500
JB
50#include <sys/types.h>
51#include <sys/stat.h>
52
53#ifdef HAVE_UNISTD_H
54#include <unistd.h>
55#endif /* HAVE_UNISTD_H */
56
5b197db8
AW
57#ifdef HAVE_PWD_H
58#include <pwd.h>
59#endif /* HAVE_PWD_H */
60
06721500
JB
61#ifndef R_OK
62#define R_OK 4
63#endif
0f2d19dd
JB
64
65\f
06721500 66/* Loading a file, given an absolute filename. */
0f2d19dd 67
26544b96
JB
68/* Hook to run when we load a file, perhaps to announce the fact somewhere.
69 Applied to the full name of the file. */
70static SCM *scm_loc_load_hook;
71
ec3a8ace
NJ
72/* The current reader (a fluid). */
73static SCM the_reader = SCM_BOOL_F;
8b039053 74
ec3a8ace 75
3b3b36dd 76SCM_DEFINE (scm_primitive_load, "primitive-load", 1, 0, 0,
1bbd0b84 77 (SCM filename),
67e8151b
MG
78 "Load the file named @var{filename} and evaluate its contents in\n"
79 "the top-level environment. The load paths are not searched;\n"
80 "@var{filename} must either be a full pathname or be a pathname\n"
81 "relative to the current directory. If the variable\n"
82 "@code{%load-hook} is defined, it should be bound to a procedure\n"
83 "that will be called before any code is loaded. See the\n"
84 "documentation for @code{%load-hook} later in this section.")
1bbd0b84 85#define FUNC_NAME s_scm_primitive_load
0f2d19dd 86{
26544b96 87 SCM hook = *scm_loc_load_hook;
889975e5 88 char *encoding;
a6d9e5ab 89 SCM_VALIDATE_STRING (1, filename);
bc36d050 90 if (scm_is_true (hook) && scm_is_false (scm_procedure_p (hook)))
2ade72d7
DH
91 SCM_MISC_ERROR ("value of %load-hook is neither a procedure nor #f",
92 SCM_EOL);
26544b96 93
bc36d050 94 if (!scm_is_false (hook))
fdc28395 95 scm_call_1 (hook, filename);
26544b96 96
1bbd0b84 97 { /* scope */
b5623573 98 SCM port = scm_open_file (filename, scm_from_locale_string ("r"));
661ae7ab
MV
99 scm_dynwind_begin (SCM_F_DYNWIND_REWINDABLE);
100 scm_i_dynwind_current_load_port (port);
f8a1c9a8
LC
101
102 encoding = scm_i_scan_for_encoding (port);
889975e5 103 if (encoding)
f8a1c9a8 104 scm_i_set_port_encoding_x (port, encoding);
889975e5 105 else
f8a1c9a8 106 /* The file has no encoding declared. We'll presume Latin-1. */
889975e5 107 scm_i_set_port_encoding_x (port, NULL);
f8a1c9a8 108
b5623573
MV
109 while (1)
110 {
ec3a8ace
NJ
111 SCM reader, form;
112
113 /* Lookup and use the current reader to read the next
114 expression. */
8b039053 115 reader = scm_fluid_ref (the_reader);
ec3a8ace
NJ
116 if (reader == SCM_BOOL_F)
117 form = scm_read (port);
118 else
119 form = scm_call_1 (reader, port);
120
b5623573
MV
121 if (SCM_EOF_OBJECT_P (form))
122 break;
ec3a8ace 123
b5623573
MV
124 scm_primitive_eval_x (form);
125 }
126
661ae7ab 127 scm_dynwind_end ();
0f2d19dd
JB
128 scm_close_port (port);
129 }
b59b97ba 130 return SCM_UNSPECIFIED;
0f2d19dd 131}
1bbd0b84 132#undef FUNC_NAME
0f2d19dd 133
c519b272
MV
134SCM
135scm_c_primitive_load (const char *filename)
136{
cc95e00a 137 return scm_primitive_load (scm_from_locale_string (filename));
c519b272
MV
138}
139
0f2d19dd 140\f
3feedb00
MD
141/* Builtin path to scheme library files. */
142#ifdef SCM_PKGDATA_DIR
a1ec6916 143SCM_DEFINE (scm_sys_package_data_dir, "%package-data-dir", 0, 0, 0,
1bbd0b84 144 (),
b380b885
MD
145 "Return the name of the directory where Scheme packages, modules and\n"
146 "libraries are kept. On most Unix systems, this will be\n"
147 "@samp{/usr/local/share/guile}.")
1bbd0b84 148#define FUNC_NAME s_scm_sys_package_data_dir
3feedb00 149{
cc95e00a 150 return scm_from_locale_string (SCM_PKGDATA_DIR);
3feedb00 151}
1bbd0b84 152#undef FUNC_NAME
3feedb00
MD
153#endif /* SCM_PKGDATA_DIR */
154
e8e9b690 155#ifdef SCM_LIBRARY_DIR
a1ec6916 156SCM_DEFINE (scm_sys_library_dir, "%library-dir", 0,0,0,
e8e9b690 157 (),
b380b885
MD
158 "Return the directory where the Guile Scheme library files are installed.\n"
159 "E.g., may return \"/usr/share/guile/1.3.5\".")
e8e9b690
GB
160#define FUNC_NAME s_scm_sys_library_dir
161{
cc95e00a 162 return scm_from_locale_string (SCM_LIBRARY_DIR);
e8e9b690
GB
163}
164#undef FUNC_NAME
165#endif /* SCM_LIBRARY_DIR */
166
167#ifdef SCM_SITE_DIR
a1ec6916 168SCM_DEFINE (scm_sys_site_dir, "%site-dir", 0,0,0,
e8e9b690 169 (),
b380b885
MD
170 "Return the directory where the Guile site files are installed.\n"
171 "E.g., may return \"/usr/share/guile/site\".")
e8e9b690
GB
172#define FUNC_NAME s_scm_sys_site_dir
173{
cc95e00a 174 return scm_from_locale_string (SCM_SITE_DIR);
e8e9b690
GB
175}
176#undef FUNC_NAME
177#endif /* SCM_SITE_DIR */
178
179
180
3feedb00 181\f
06721500 182/* Initializing the load path, and searching it. */
0f2d19dd 183
26544b96 184/* List of names of directories we search for files to load. */
06721500
JB
185static SCM *scm_loc_load_path;
186
26544b96
JB
187/* List of extensions we try adding to the filenames. */
188static SCM *scm_loc_load_extensions;
189
5b197db8
AW
190/* Like %load-path and %load-extensions, but for compiled files. */
191static SCM *scm_loc_load_compiled_path;
22f4ee48
AW
192static SCM *scm_loc_load_compiled_extensions;
193
ee001750
AW
194/* Whether we should try to auto-compile. */
195static SCM *scm_loc_load_should_autocompile;
01cddfc1 196
5ea401bf
AW
197/* The fallback path for autocompilation */
198static SCM *scm_loc_compile_fallback_path;
01cddfc1 199
a1ec6916 200SCM_DEFINE (scm_parse_path, "parse-path", 1, 1, 0,
1bbd0b84 201 (SCM path, SCM tail),
d91788cb
MG
202 "Parse @var{path}, which is expected to be a colon-separated\n"
203 "string, into a list and return the resulting list with\n"
204 "@var{tail} appended. If @var{path} is @code{#f}, @var{tail}\n"
205 "is returned.")
1bbd0b84 206#define FUNC_NAME s_scm_parse_path
04e8fb0a 207{
7d04d68b
MV
208#ifdef __MINGW32__
209 SCM sep = SCM_MAKE_CHAR (';');
210#else
211 SCM sep = SCM_MAKE_CHAR (':');
212#endif
213
04e8fb0a
MD
214 if (SCM_UNBNDP (tail))
215 tail = SCM_EOL;
7888309b 216 return (scm_is_false (path)
04e8fb0a 217 ? tail
7d04d68b 218 : scm_append_x (scm_list_2 (scm_string_split (path, sep), tail)));
04e8fb0a 219}
1bbd0b84 220#undef FUNC_NAME
04e8fb0a
MD
221
222
06721500 223/* Initialize the global variable %load-path, given the value of the
3feedb00 224 SCM_SITE_DIR and SCM_LIBRARY_DIR preprocessor symbols and the
01cddfc1 225 GUILE_LOAD_PATH environment variable. */
0f2d19dd 226void
06721500
JB
227scm_init_load_path ()
228{
11c5e0bf 229 char *env;
06721500 230 SCM path = SCM_EOL;
5b197db8 231 SCM cpath = SCM_EOL;
06721500 232
3feedb00 233#ifdef SCM_LIBRARY_DIR
02b84691
AW
234 env = getenv ("GUILE_SYSTEM_PATH");
235 if (env && strcmp (env, "") == 0)
236 /* special-case interpret system-path=="" as meaning no system path instead
237 of '("") */
238 ;
239 else if (env)
240 path = scm_parse_path (scm_from_locale_string (env), path);
241 else
242 path = scm_list_3 (scm_from_locale_string (SCM_SITE_DIR),
243 scm_from_locale_string (SCM_LIBRARY_DIR),
244 scm_from_locale_string (SCM_PKGDATA_DIR));
5b197db8
AW
245
246 env = getenv ("GUILE_SYSTEM_COMPILED_PATH");
247 if (env && strcmp (env, "") == 0)
248 /* like above */
249 ;
250 else if (env)
251 cpath = scm_parse_path (scm_from_locale_string (env), cpath);
252 else
3c997c4b
AW
253 cpath = scm_cons (scm_from_locale_string (SCM_CCACHE_DIR), cpath);
254
3feedb00 255#endif /* SCM_LIBRARY_DIR */
06721500 256
3c997c4b 257 {
179fe336
AW
258 char cachedir[1024];
259 char *e;
260#ifdef HAVE_GETPWENT
261 struct passwd *pwd;
262#endif
5b197db8 263
6e5c02b8
AW
264#define FALLBACK_DIR \
265 "guile/ccache/" SCM_EFFECTIVE_VERSION "-" SCM_OBJCODE_MACHINE_VERSION_STRING
179fe336
AW
266
267 if ((e = getenv ("XDG_CACHE_HOME")))
48a0fe4d 268 snprintf (cachedir, sizeof(cachedir), "%s/" FALLBACK_DIR, e);
179fe336
AW
269 else if ((e = getenv ("HOME")))
270 snprintf (cachedir, sizeof(cachedir), "%s/.cache/" FALLBACK_DIR, e);
5b197db8 271#ifdef HAVE_GETPWENT
179fe336
AW
272 else if ((pwd = getpwuid (getuid ())) && pwd->pw_dir)
273 snprintf (cachedir, sizeof(cachedir), "%s/.cache/" FALLBACK_DIR,
274 pwd->pw_dir);
5b197db8 275#endif /* HAVE_GETPWENT */
179fe336
AW
276 else
277 cachedir[0] = 0;
278
279 if (cachedir[0])
280 *scm_loc_compile_fallback_path = scm_from_locale_string (cachedir);
3c997c4b 281 }
06721500 282
11c5e0bf
MV
283 env = getenv ("GUILE_LOAD_PATH");
284 if (env)
285 path = scm_parse_path (scm_from_locale_string (env), path);
01cddfc1 286
5b197db8
AW
287 env = getenv ("GUILE_LOAD_COMPILED_PATH");
288 if (env)
289 cpath = scm_parse_path (scm_from_locale_string (env), cpath);
290
06721500 291 *scm_loc_load_path = path;
5b197db8 292 *scm_loc_load_compiled_path = cpath;
06721500
JB
293}
294
04e8fb0a 295SCM scm_listofnullstr;
06721500 296
7d04d68b
MV
297/* Utility functions for assembling C strings in a buffer.
298 */
299
300struct stringbuf {
301 char *buf, *ptr;
302 size_t buf_len;
303};
304
305static void
306stringbuf_free (void *data)
307{
308 struct stringbuf *buf = (struct stringbuf *)data;
309 free (buf->buf);
310}
311
312static void
313stringbuf_grow (struct stringbuf *buf)
314{
315 size_t ptroff = buf->ptr - buf->buf;
316 buf->buf_len *= 2;
7d04d68b
MV
317 buf->buf = scm_realloc (buf->buf, buf->buf_len);
318 buf->ptr = buf->buf + ptroff;
319}
320
321static void
322stringbuf_cat_locale_string (struct stringbuf *buf, SCM str)
323{
324 size_t max_len = buf->buf_len - (buf->ptr - buf->buf) - 1;
325 size_t len = scm_to_locale_stringbuf (str, buf->ptr, max_len);
326 if (len > max_len)
327 {
328 /* buffer is too small, double its size and try again.
329 */
330 stringbuf_grow (buf);
331 stringbuf_cat_locale_string (buf, str);
332 }
333 else
334 {
335 /* string fits, terminate it and check for embedded '\0'.
336 */
337 buf->ptr[len] = '\0';
338 if (strlen (buf->ptr) != len)
339 scm_misc_error (NULL,
340 "string contains #\\nul character: ~S",
341 scm_list_1 (str));
342 buf->ptr += len;
343 }
344}
345
346static void
347stringbuf_cat (struct stringbuf *buf, char *str)
348{
349 size_t max_len = buf->buf_len - (buf->ptr - buf->buf) - 1;
350 size_t len = strlen (str);
351 if (len > max_len)
352 {
353 /* buffer is too small, double its size and try again.
354 */
355 stringbuf_grow (buf);
356 stringbuf_cat (buf, str);
357 }
358 else
359 {
360 /* string fits, copy it into buffer.
361 */
362 strcpy (buf->ptr, str);
363 buf->ptr += len;
364 }
365}
366
367
22f4ee48
AW
368static int
369scm_c_string_has_an_ext (char *str, size_t len, SCM extensions)
370{
371 for (; !scm_is_null (extensions); extensions = SCM_CDR (extensions))
372 {
373 char *ext;
374 size_t extlen;
375 int match;
376 ext = scm_to_locale_string (SCM_CAR (extensions));
377 extlen = strlen (ext);
378 match = (len > extlen && str[len - extlen - 1] == '.'
379 && strncmp (str + (len - extlen), ext, extlen) == 0);
380 free (ext);
381 if (match)
382 return 1;
383 }
384 return 0;
385}
386
04e8fb0a 387/* Search PATH for a directory containing a file named FILENAME.
06721500 388 The file must be readable, and not a directory.
26544b96 389 If we find one, return its full filename; otherwise, return #f.
56384176
JB
390 If FILENAME is absolute, return it unchanged.
391 If given, EXTENSIONS is a list of strings; for each directory
392 in PATH, we search for FILENAME concatenated with each EXTENSION. */
88cbb421
LC
393SCM_DEFINE (scm_search_path, "search-path", 2, 0, 1,
394 (SCM path, SCM filename, SCM rest),
d91788cb
MG
395 "Search @var{path} for a directory containing a file named\n"
396 "@var{filename}. The file must be readable, and not a directory.\n"
397 "If we find one, return its full filename; otherwise, return\n"
398 "@code{#f}. If @var{filename} is absolute, return it unchanged.\n"
399 "If given, @var{extensions} is a list of strings; for each\n"
400 "directory in @var{path}, we search for @var{filename}\n"
401 "concatenated with each @var{extension}.")
1bbd0b84 402#define FUNC_NAME s_scm_search_path
06721500 403{
7d04d68b 404 struct stringbuf buf;
56384176 405 char *filename_chars;
7d04d68b 406 size_t filename_len;
88cbb421 407 SCM extensions, require_exts;
7d04d68b 408 SCM result = SCM_BOOL_F;
06721500 409
88cbb421
LC
410 if (scm_is_null (rest))
411 {
412 /* Called either by Scheme code that didn't provide the optional
413 arguments, or C code that used the Guile 1.8 signature (2 required,
414 1 optional arg) and passed '() as the EXTENSIONS argument. */
415 extensions = SCM_EOL;
416 require_exts = SCM_UNDEFINED;
417 }
418 else
419 {
420 if (scm_is_null (SCM_CAR (rest)) || scm_is_pair (SCM_CAR (rest)))
421 {
422 /* Called by Scheme code written for 1.9. */
423 extensions = SCM_CAR (rest);
424 if (scm_is_null (SCM_CDR (rest)))
425 require_exts = SCM_UNDEFINED;
426 else
427 {
428 require_exts = SCM_CADR (rest);
429 if (SCM_UNLIKELY (!scm_is_null (SCM_CDDR (rest))))
430 scm_wrong_num_args (scm_from_locale_string (FUNC_NAME));
431 }
432 }
433 else
434 {
435 /* Called by C code that uses the 1.8 signature, i.e., which
436 expects the 3rd argument to be EXTENSIONS. */
437 extensions = rest;
438 require_exts = SCM_UNDEFINED;
439 }
440 }
441
04e8fb0a 442 if (SCM_UNBNDP (extensions))
56384176 443 extensions = SCM_EOL;
56384176 444
88cbb421
LC
445 SCM_VALIDATE_LIST (3, extensions);
446
22f4ee48
AW
447 if (SCM_UNBNDP (require_exts))
448 require_exts = SCM_BOOL_F;
449
661ae7ab 450 scm_dynwind_begin (0);
7d04d68b
MV
451
452 filename_chars = scm_to_locale_string (filename);
453 filename_len = strlen (filename_chars);
661ae7ab 454 scm_dynwind_free (filename_chars);
06721500 455
26544b96 456 /* If FILENAME is absolute, return it unchanged. */
2e945bcc
SJ
457#ifdef __MINGW32__
458 if (((filename_len >= 1) &&
459 (filename_chars[0] == '/' || filename_chars[0] == '\\')) ||
460 ((filename_len >= 3) && filename_chars[1] == ':' &&
461 ((filename_chars[0] >= 'a' && filename_chars[0] <= 'z') ||
462 (filename_chars[0] >= 'A' && filename_chars[0] <= 'Z')) &&
463 (filename_chars[2] == '/' || filename_chars[2] == '\\')))
464#else
56384176 465 if (filename_len >= 1 && filename_chars[0] == '/')
2e945bcc 466#endif
7d04d68b 467 {
22f4ee48
AW
468 SCM res = filename;
469 if (scm_is_true (require_exts) &&
470 !scm_c_string_has_an_ext (filename_chars, filename_len,
471 extensions))
472 res = SCM_BOOL_F;
473
661ae7ab 474 scm_dynwind_end ();
22f4ee48 475 return res;
7d04d68b 476 }
26544b96 477
56384176
JB
478 /* If FILENAME has an extension, don't try to add EXTENSIONS to it. */
479 {
480 char *endp;
481
482 for (endp = filename_chars + filename_len - 1;
483 endp >= filename_chars;
484 endp--)
485 {
486 if (*endp == '.')
487 {
22f4ee48
AW
488 if (scm_is_true (require_exts) &&
489 !scm_c_string_has_an_ext (filename_chars, filename_len,
490 extensions))
491 {
492 /* This filename has an extension, but not one of the right
493 ones... */
494 scm_dynwind_end ();
495 return SCM_BOOL_F;
496 }
56384176
JB
497 /* This filename already has an extension, so cancel the
498 list of extensions. */
499 extensions = SCM_EOL;
500 break;
501 }
2e945bcc
SJ
502#ifdef __MINGW32__
503 else if (*endp == '/' || *endp == '\\')
504#else
56384176 505 else if (*endp == '/')
2e945bcc 506#endif
56384176
JB
507 /* This filename has no extension, so keep the current list
508 of extensions. */
509 break;
510 }
511 }
512
7d04d68b
MV
513 /* This simplifies the loop below a bit.
514 */
d2e53ed6 515 if (scm_is_null (extensions))
7d04d68b 516 extensions = scm_listofnullstr;
06721500 517
7d04d68b
MV
518 buf.buf_len = 512;
519 buf.buf = scm_malloc (buf.buf_len);
661ae7ab 520 scm_dynwind_unwind_handler (stringbuf_free, &buf, SCM_F_WIND_EXPLICITLY);
0a74e31d 521
7d04d68b
MV
522 /* Try every path element.
523 */
d2e53ed6 524 for (; scm_is_pair (path); path = SCM_CDR (path))
7d04d68b
MV
525 {
526 SCM dir = SCM_CAR (path);
527 SCM exts;
528 size_t sans_ext_len;
529
530 buf.ptr = buf.buf;
531 stringbuf_cat_locale_string (&buf, dir);
532
533 /* Concatenate the path name and the filename. */
534
2e945bcc 535#ifdef __MINGW32__
5a6d139b 536 if ((buf.ptr > buf.buf) && (buf.ptr[-1] != '/') && (buf.ptr[-1] != '\\'))
2e945bcc 537#else
5a6d139b 538 if ((buf.ptr > buf.buf) && (buf.ptr[-1] != '/'))
2e945bcc 539#endif
7d04d68b
MV
540 stringbuf_cat (&buf, "/");
541
542 stringbuf_cat (&buf, filename_chars);
543 sans_ext_len = buf.ptr - buf.buf;
544
545 /* Try every extension. */
d2e53ed6 546 for (exts = extensions; scm_is_pair (exts); exts = SCM_CDR (exts))
7d04d68b
MV
547 {
548 SCM ext = SCM_CAR (exts);
549 struct stat mode;
550
551 buf.ptr = buf.buf + sans_ext_len;
552 stringbuf_cat_locale_string (&buf, ext);
553
554 /* If the file exists at all, we should return it. If the
555 file is inaccessible, then that's an error. */
556
7d04d68b
MV
557 if (stat (buf.buf, &mode) == 0
558 && ! (mode.st_mode & S_IFDIR))
559 {
560 result = scm_from_locale_string (buf.buf);
561 goto end;
562 }
563 }
564
565 if (!SCM_NULL_OR_NIL_P (exts))
566 scm_wrong_type_arg_msg (NULL, 0, extensions, "proper list");
567 }
56384176 568
7d04d68b
MV
569 if (!SCM_NULL_OR_NIL_P (path))
570 scm_wrong_type_arg_msg (NULL, 0, path, "proper list");
56384176 571
7d04d68b 572 end:
661ae7ab 573 scm_dynwind_end ();
7d04d68b 574 return result;
06721500 575}
1bbd0b84 576#undef FUNC_NAME
06721500
JB
577
578
04e8fb0a
MD
579/* Search %load-path for a directory containing a file named FILENAME.
580 The file must be readable, and not a directory.
581 If we find one, return its full filename; otherwise, return #f.
582 If FILENAME is absolute, return it unchanged. */
3b3b36dd 583SCM_DEFINE (scm_sys_search_load_path, "%search-load-path", 1, 0, 0,
67e8151b
MG
584 (SCM filename),
585 "Search @var{%load-path} for the file named @var{filename},\n"
586 "which must be readable by the current user. If @var{filename}\n"
587 "is found in the list of paths to search or is an absolute\n"
588 "pathname, return its full pathname. Otherwise, return\n"
589 "@code{#f}. Filenames may have any of the optional extensions\n"
590 "in the @code{%load-extensions} list; @code{%search-load-path}\n"
591 "will try each extension automatically.")
1bbd0b84 592#define FUNC_NAME s_scm_sys_search_load_path
04e8fb0a
MD
593{
594 SCM path = *scm_loc_load_path;
595 SCM exts = *scm_loc_load_extensions;
a6d9e5ab 596 SCM_VALIDATE_STRING (1, filename);
1bbd0b84 597
2ade72d7
DH
598 if (scm_ilength (path) < 0)
599 SCM_MISC_ERROR ("%load-path is not a proper list", SCM_EOL);
600 if (scm_ilength (exts) < 0)
601 SCM_MISC_ERROR ("%load-extension list is not a proper list", SCM_EOL);
88cbb421 602 return scm_search_path (path, filename, exts);
04e8fb0a 603}
1bbd0b84 604#undef FUNC_NAME
04e8fb0a
MD
605
606
1d022387 607static int
535fb833 608compiled_is_fresh (SCM full_filename, SCM compiled_filename)
1d022387
AW
609{
610 char *source, *compiled;
611 struct stat stat_source, stat_compiled;
612 int res;
613
614 source = scm_to_locale_string (full_filename);
615 compiled = scm_to_locale_string (compiled_filename);
616
617 if (stat (source, &stat_source) == 0
618 && stat (compiled, &stat_compiled) == 0
535fb833 619 && stat_source.st_mtime == stat_compiled.st_mtime)
1d022387
AW
620 {
621 res = 1;
622 }
623 else
624 {
625 scm_puts (";;; note: source file ", scm_current_error_port ());
626 scm_puts (source, scm_current_error_port ());
6fd367e7 627 scm_puts ("\n;;; newer than compiled ", scm_current_error_port ());
1d022387
AW
628 scm_puts (compiled, scm_current_error_port ());
629 scm_puts ("\n", scm_current_error_port ());
630 res = 0;
1d022387 631 }
3c997c4b 632
1d022387
AW
633 free (source);
634 free (compiled);
635 return res;
636}
637
87c595c7
LC
638SCM_KEYWORD (kw_env, "env");
639
1d022387 640static SCM
ee001750 641do_try_autocompile (void *data)
1d022387 642{
3c997c4b
AW
643 SCM source = PTR2SCM (data);
644 SCM comp_mod, compile_file;
ee001750
AW
645
646 scm_puts (";;; compiling ", scm_current_error_port ());
3c997c4b 647 scm_display (source, scm_current_error_port ());
ee001750
AW
648 scm_newline (scm_current_error_port ());
649
650 comp_mod = scm_c_resolve_module ("system base compile");
628132c5
AW
651 compile_file = scm_module_variable
652 (comp_mod, scm_from_locale_symbol ("compile-file"));
ee001750 653
3c997c4b
AW
654 if (scm_is_true (compile_file))
655 {
87c595c7
LC
656 /* Auto-compile in the context of the current module. */
657 SCM res = scm_call_3 (scm_variable_ref (compile_file), source,
658 kw_env, scm_current_module ());
3c997c4b
AW
659 scm_puts (";;; compiled ", scm_current_error_port ());
660 scm_display (res, scm_current_error_port ());
661 scm_newline (scm_current_error_port ());
662 return res;
663 }
664 else
665 {
666 scm_puts (";;; it seems ", scm_current_error_port ());
667 scm_display (source, scm_current_error_port ());
668 scm_puts ("\n;;; is part of the compiler; skipping autocompilation\n",
669 scm_current_error_port ());
670 return SCM_BOOL_F;
671 }
ee001750
AW
672}
673
674static SCM
675autocompile_catch_handler (void *data, SCM tag, SCM throw_args)
676{
3c997c4b 677 SCM source = PTR2SCM (data);
ee001750 678 scm_puts (";;; WARNING: compilation of ", scm_current_error_port ());
3c997c4b 679 scm_display (source, scm_current_error_port ());
6fd367e7 680 scm_puts (" failed:\n", scm_current_error_port ());
ee001750
AW
681 scm_puts (";;; key ", scm_current_error_port ());
682 scm_write (tag, scm_current_error_port ());
683 scm_puts (", throw args ", scm_current_error_port ());
684 scm_write (throw_args, scm_current_error_port ());
685 scm_newline (scm_current_error_port ());
1d022387
AW
686 return SCM_BOOL_F;
687}
688
9591a2b0
AW
689SCM_DEFINE (scm_sys_warn_autocompilation_enabled, "%warn-autocompilation-enabled", 0, 0, 0,
690 (void), "")
15058484 691#define FUNC_NAME s_scm_sys_warn_autocompilation_enabled
ee001750
AW
692{
693 static int message_shown = 0;
ee001750
AW
694
695 if (!message_shown)
696 {
697 scm_puts (";;; note: autocompilation is enabled, set GUILE_AUTO_COMPILE=0\n"
6fd367e7 698 ";;; or pass the --no-autocompile argument to disable.\n",
ee001750
AW
699 scm_current_error_port ());
700 message_shown = 1;
701 }
702
9591a2b0
AW
703 return SCM_UNSPECIFIED;
704}
15058484 705#undef FUNC_NAME
9591a2b0 706
9591a2b0
AW
707static SCM
708scm_try_autocompile (SCM source)
709{
710 if (scm_is_false (*scm_loc_load_should_autocompile))
711 return SCM_BOOL_F;
712
713 scm_sys_warn_autocompilation_enabled ();
ee001750
AW
714 return scm_c_catch (SCM_BOOL_T,
715 do_try_autocompile,
3c997c4b 716 SCM2PTR (source),
ee001750 717 autocompile_catch_handler,
3c997c4b 718 SCM2PTR (source),
ee001750
AW
719 NULL, NULL);
720}
721
31ab99de
LC
722SCM_DEFINE (scm_primitive_load_path, "primitive-load-path", 0, 0, 1,
723 (SCM args),
67e8151b
MG
724 "Search @var{%load-path} for the file named @var{filename} and\n"
725 "load it into the top-level environment. If @var{filename} is a\n"
726 "relative pathname and is not found in the list of search paths,\n"
0fb81f95
AW
727 "an error is signalled, unless the optional argument\n"
728 "@var{exception_on_not_found} is @code{#f}, in which case\n"
729 "@code{#f} is returned instead.")
1bbd0b84 730#define FUNC_NAME s_scm_primitive_load_path
06721500 731{
31ab99de 732 SCM filename, exception_on_not_found;
22f4ee48 733 SCM full_filename, compiled_filename;
628132c5 734 int compiled_is_fallback = 0;
26544b96 735
31ab99de
LC
736 if (scm_is_string (args))
737 {
738 /* C code written for 1.8 and earlier expects this function to take a
739 single argument (the file name). */
740 filename = args;
741 exception_on_not_found = SCM_UNDEFINED;
742 }
743 else
744 {
745 /* Starting from 1.9, this function takes 1 required and 1 optional
746 argument. */
747 long len;
748
749 SCM_VALIDATE_LIST_COPYLEN (SCM_ARG1, args, len);
750 if (len < 1 || len > 2)
751 scm_error_num_args_subr (FUNC_NAME);
752
753 filename = SCM_CAR (args);
754 SCM_VALIDATE_STRING (SCM_ARG1, filename);
755
756 exception_on_not_found = len > 1 ? SCM_CADR (args) : SCM_UNDEFINED;
757 }
758
0fb81f95
AW
759 if (SCM_UNBNDP (exception_on_not_found))
760 exception_on_not_found = SCM_BOOL_T;
26544b96 761
26544b96 762 full_filename = scm_sys_search_load_path (filename);
88cbb421
LC
763 compiled_filename =
764 scm_search_path (*scm_loc_load_compiled_path,
765 filename,
766 scm_list_2 (*scm_loc_load_compiled_extensions,
767 SCM_BOOL_T));
768
5ea401bf
AW
769 if (scm_is_false (compiled_filename)
770 && scm_is_true (full_filename)
3c997c4b
AW
771 && scm_is_true (*scm_loc_compile_fallback_path)
772 && scm_is_pair (*scm_loc_load_compiled_extensions)
773 && scm_is_string (scm_car (*scm_loc_load_compiled_extensions)))
5ea401bf 774 {
3c997c4b
AW
775 SCM fallback = scm_string_append
776 (scm_list_3 (*scm_loc_compile_fallback_path,
777 full_filename,
778 scm_car (*scm_loc_load_compiled_extensions)));
779 if (scm_is_true (scm_stat (fallback, SCM_BOOL_F)))
628132c5
AW
780 {
781 compiled_filename = fallback;
782 compiled_is_fallback = 1;
783 }
5ea401bf
AW
784 }
785
22f4ee48 786 if (scm_is_false (full_filename) && scm_is_false (compiled_filename))
0fb81f95
AW
787 {
788 if (scm_is_true (exception_on_not_found))
789 SCM_MISC_ERROR ("Unable to find file ~S in load path",
790 scm_list_1 (filename));
791 else
792 return SCM_BOOL_F;
793 }
22f4ee48 794
1d022387
AW
795 if (scm_is_false (full_filename)
796 || (scm_is_true (compiled_filename)
535fb833 797 && compiled_is_fresh (full_filename, compiled_filename)))
22f4ee48
AW
798 return scm_load_compiled_with_vm (compiled_filename);
799
628132c5
AW
800 /* Perhaps there was the installed .go that was stale, but our fallback is
801 fresh. Let's try that. Duplicating code, but perhaps that's OK. */
802
803 if (!compiled_is_fallback
804 && scm_is_true (*scm_loc_compile_fallback_path)
805 && scm_is_pair (*scm_loc_load_compiled_extensions)
806 && scm_is_string (scm_car (*scm_loc_load_compiled_extensions)))
807 {
808 SCM fallback = scm_string_append
809 (scm_list_3 (*scm_loc_compile_fallback_path,
810 full_filename,
811 scm_car (*scm_loc_load_compiled_extensions)));
812 if (scm_is_true (scm_stat (fallback, SCM_BOOL_F))
535fb833 813 && compiled_is_fresh (full_filename, fallback))
628132c5
AW
814 {
815 scm_puts (";;; found fresh local cache at ", scm_current_error_port ());
816 scm_display (fallback, scm_current_error_port ());
817 scm_newline (scm_current_error_port ());
5950cc3f 818 return scm_load_compiled_with_vm (fallback);
628132c5 819 }
3c997c4b 820 }
628132c5
AW
821
822 /* Otherwise, we bottom out here. */
22f4ee48 823 {
628132c5 824 SCM freshly_compiled = scm_try_autocompile (full_filename);
22f4ee48 825
628132c5
AW
826 if (scm_is_true (freshly_compiled))
827 return scm_load_compiled_with_vm (freshly_compiled);
22f4ee48 828 else
628132c5 829 return scm_primitive_load (full_filename);
22f4ee48 830 }
06721500 831}
1bbd0b84 832#undef FUNC_NAME
06721500 833
c519b272
MV
834SCM
835scm_c_primitive_load_path (const char *filename)
836{
31ab99de 837 return scm_primitive_load_path (scm_from_locale_string (filename));
c519b272
MV
838}
839
5f161164
AW
840void
841scm_init_eval_in_scheme (void)
842{
843 SCM eval_scm, eval_go;
844 eval_scm = scm_search_path (*scm_loc_load_path,
845 scm_from_locale_string ("ice-9/eval.scm"),
846 SCM_EOL);
847 eval_go = scm_search_path (*scm_loc_load_compiled_path,
848 scm_from_locale_string ("ice-9/eval.go"),
849 SCM_EOL);
850
851 if (scm_is_true (eval_scm) && scm_is_true (eval_go)
852 && compiled_is_fresh (eval_scm, eval_go))
853 scm_load_compiled_with_vm (eval_go);
854}
855
06721500 856\f
e151bee6 857/* Information about the build environment. */
06721500 858
d7a22073
LC
859SCM_VARIABLE_INIT (sys_host_type, "%host-type",
860 scm_from_locale_string (HOST_TYPE));
861
862
e151bee6
JB
863/* Initialize the scheme variable %guile-build-info, based on data
864 provided by the Makefile, via libpath.h. */
865static void
866init_build_info ()
867{
868 static struct { char *name; char *value; } info[] = SCM_BUILD_INFO;
86d31dfe 869 SCM *loc = SCM_VARIABLE_LOC (scm_c_define ("%guile-build-info", SCM_EOL));
c014a02e 870 unsigned long i;
e151bee6
JB
871
872 for (i = 0; i < (sizeof (info) / sizeof (info[0])); i++)
cc95e00a
MV
873 {
874 SCM key = scm_from_locale_symbol (info[i].name);
875 SCM val = scm_from_locale_string (info[i].value);
876 *loc = scm_acons (key, val, *loc);
877 }
e151bee6
JB
878}
879
e151bee6 880\f
0f2d19dd
JB
881void
882scm_init_load ()
0f2d19dd 883{
1afff620 884 scm_listofnullstr = scm_permanent_object (scm_list_1 (scm_nullstr));
86d31dfe 885 scm_loc_load_path = SCM_VARIABLE_LOC (scm_c_define ("%load-path", SCM_EOL));
26544b96 886 scm_loc_load_extensions
86d31dfe 887 = SCM_VARIABLE_LOC (scm_c_define ("%load-extensions",
cc95e00a
MV
888 scm_list_2 (scm_from_locale_string (".scm"),
889 scm_nullstr)));
5b197db8
AW
890 scm_loc_load_compiled_path
891 = SCM_VARIABLE_LOC (scm_c_define ("%load-compiled-path", SCM_EOL));
22f4ee48
AW
892 scm_loc_load_compiled_extensions
893 = SCM_VARIABLE_LOC (scm_c_define ("%load-compiled-extensions",
894 scm_list_1 (scm_from_locale_string (".go"))));
86d31dfe 895 scm_loc_load_hook = SCM_VARIABLE_LOC (scm_c_define ("%load-hook", SCM_BOOL_F));
06721500 896
5ea401bf
AW
897 scm_loc_compile_fallback_path
898 = SCM_VARIABLE_LOC (scm_c_define ("%compile-fallback-path", SCM_BOOL_F));
899
ee001750
AW
900 scm_loc_load_should_autocompile
901 = SCM_VARIABLE_LOC (scm_c_define ("%load-should-autocompile", SCM_BOOL_F));
902
ec3a8ace 903 the_reader = scm_make_fluid ();
8b039053 904 scm_fluid_set_x (the_reader, SCM_BOOL_F);
ec3a8ace
NJ
905 scm_c_define("current-reader", the_reader);
906
e151bee6
JB
907 init_build_info ();
908
a0599745 909#include "libguile/load.x"
0f2d19dd 910}
89e00824
ML
911
912/*
913 Local Variables:
914 c-file-style: "gnu"
915 End:
916*/