refactor tc7 and tc16 checks
[bpt/guile.git] / libguile / load.c
CommitLineData
4a655e50 1/* Copyright (C) 1995,1996,1998,1999,2000,2001, 2004, 2006, 2008, 2009, 2010, 2011 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 29#include "libguile/_scm.h"
655aadf4 30#include "libguile/private-gc.h" /* scm_getenv_int */
a0599745
MD
31#include "libguile/libpath.h"
32#include "libguile/fports.h"
33#include "libguile/read.h"
34#include "libguile/eval.h"
35#include "libguile/throw.h"
36#include "libguile/alist.h"
37#include "libguile/dynwind.h"
38#include "libguile/root.h"
39#include "libguile/strings.h"
f33b174d 40#include "libguile/modules.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 64
abca59fe
LC
65#include <stat-time.h>
66
0f2d19dd 67\f
06721500 68/* Loading a file, given an absolute filename. */
0f2d19dd 69
26544b96
JB
70/* Hook to run when we load a file, perhaps to announce the fact somewhere.
71 Applied to the full name of the file. */
72static SCM *scm_loc_load_hook;
73
ec3a8ace
NJ
74/* The current reader (a fluid). */
75static SCM the_reader = SCM_BOOL_F;
8b039053 76
ec3a8ace 77
3b3b36dd 78SCM_DEFINE (scm_primitive_load, "primitive-load", 1, 0, 0,
1bbd0b84 79 (SCM filename),
67e8151b
MG
80 "Load the file named @var{filename} and evaluate its contents in\n"
81 "the top-level environment. The load paths are not searched;\n"
82 "@var{filename} must either be a full pathname or be a pathname\n"
83 "relative to the current directory. If the variable\n"
84 "@code{%load-hook} is defined, it should be bound to a procedure\n"
85 "that will be called before any code is loaded. See the\n"
86 "documentation for @code{%load-hook} later in this section.")
1bbd0b84 87#define FUNC_NAME s_scm_primitive_load
0f2d19dd 88{
26544b96 89 SCM hook = *scm_loc_load_hook;
889975e5 90 char *encoding;
a6d9e5ab 91 SCM_VALIDATE_STRING (1, filename);
bc36d050 92 if (scm_is_true (hook) && scm_is_false (scm_procedure_p (hook)))
2ade72d7
DH
93 SCM_MISC_ERROR ("value of %load-hook is neither a procedure nor #f",
94 SCM_EOL);
26544b96 95
bc36d050 96 if (!scm_is_false (hook))
fdc28395 97 scm_call_1 (hook, filename);
26544b96 98
1bbd0b84 99 { /* scope */
b5623573 100 SCM port = scm_open_file (filename, scm_from_locale_string ("r"));
661ae7ab
MV
101 scm_dynwind_begin (SCM_F_DYNWIND_REWINDABLE);
102 scm_i_dynwind_current_load_port (port);
f8a1c9a8
LC
103
104 encoding = scm_i_scan_for_encoding (port);
889975e5 105 if (encoding)
f8a1c9a8 106 scm_i_set_port_encoding_x (port, encoding);
889975e5 107 else
eb7a16a9
AW
108 /* The file has no encoding declared. We'll presume UTF-8, like
109 compile-file does. */
110 scm_i_set_port_encoding_x (port, "UTF-8");
f8a1c9a8 111
b5623573
MV
112 while (1)
113 {
ec3a8ace
NJ
114 SCM reader, form;
115
116 /* Lookup and use the current reader to read the next
117 expression. */
8b039053 118 reader = scm_fluid_ref (the_reader);
393baa8a 119 if (scm_is_false (reader))
ec3a8ace
NJ
120 form = scm_read (port);
121 else
122 form = scm_call_1 (reader, port);
123
b5623573
MV
124 if (SCM_EOF_OBJECT_P (form))
125 break;
ec3a8ace 126
b5623573
MV
127 scm_primitive_eval_x (form);
128 }
129
661ae7ab 130 scm_dynwind_end ();
0f2d19dd
JB
131 scm_close_port (port);
132 }
b59b97ba 133 return SCM_UNSPECIFIED;
0f2d19dd 134}
1bbd0b84 135#undef FUNC_NAME
0f2d19dd 136
c519b272
MV
137SCM
138scm_c_primitive_load (const char *filename)
139{
cc95e00a 140 return scm_primitive_load (scm_from_locale_string (filename));
c519b272
MV
141}
142
0f2d19dd 143\f
3feedb00
MD
144/* Builtin path to scheme library files. */
145#ifdef SCM_PKGDATA_DIR
a1ec6916 146SCM_DEFINE (scm_sys_package_data_dir, "%package-data-dir", 0, 0, 0,
1bbd0b84 147 (),
b380b885
MD
148 "Return the name of the directory where Scheme packages, modules and\n"
149 "libraries are kept. On most Unix systems, this will be\n"
150 "@samp{/usr/local/share/guile}.")
1bbd0b84 151#define FUNC_NAME s_scm_sys_package_data_dir
3feedb00 152{
cc95e00a 153 return scm_from_locale_string (SCM_PKGDATA_DIR);
3feedb00 154}
1bbd0b84 155#undef FUNC_NAME
3feedb00
MD
156#endif /* SCM_PKGDATA_DIR */
157
e8e9b690 158#ifdef SCM_LIBRARY_DIR
a1ec6916 159SCM_DEFINE (scm_sys_library_dir, "%library-dir", 0,0,0,
e8e9b690 160 (),
b380b885
MD
161 "Return the directory where the Guile Scheme library files are installed.\n"
162 "E.g., may return \"/usr/share/guile/1.3.5\".")
e8e9b690
GB
163#define FUNC_NAME s_scm_sys_library_dir
164{
cc95e00a 165 return scm_from_locale_string (SCM_LIBRARY_DIR);
e8e9b690
GB
166}
167#undef FUNC_NAME
168#endif /* SCM_LIBRARY_DIR */
169
170#ifdef SCM_SITE_DIR
a1ec6916 171SCM_DEFINE (scm_sys_site_dir, "%site-dir", 0,0,0,
e8e9b690 172 (),
bc325e76
AW
173 "Return the directory where users should install Scheme code for use\n"
174 "with this version of Guile.\n\n"
175 "E.g., may return \"/usr/share/guile/site/" SCM_EFFECTIVE_VERSION "\".")
e8e9b690
GB
176#define FUNC_NAME s_scm_sys_site_dir
177{
cc95e00a 178 return scm_from_locale_string (SCM_SITE_DIR);
e8e9b690
GB
179}
180#undef FUNC_NAME
181#endif /* SCM_SITE_DIR */
182
bc325e76
AW
183#ifdef SCM_GLOBAL_SITE_DIR
184SCM_DEFINE (scm_sys_global_site_dir, "%global-site-dir", 0,0,0,
185 (),
186 "Return the directory where users should install Scheme code for use\n"
187 "with all versions of Guile.\n\n"
188 "E.g., may return \"/usr/share/guile/site\".")
189#define FUNC_NAME s_scm_sys_global_site_dir
190{
191 return scm_from_locale_string (SCM_GLOBAL_SITE_DIR);
192}
193#undef FUNC_NAME
194#endif /* SCM_GLOBAL_SITE_DIR */
e8e9b690
GB
195
196
3feedb00 197\f
06721500 198/* Initializing the load path, and searching it. */
0f2d19dd 199
26544b96 200/* List of names of directories we search for files to load. */
06721500
JB
201static SCM *scm_loc_load_path;
202
26544b96
JB
203/* List of extensions we try adding to the filenames. */
204static SCM *scm_loc_load_extensions;
205
5b197db8
AW
206/* Like %load-path and %load-extensions, but for compiled files. */
207static SCM *scm_loc_load_compiled_path;
22f4ee48
AW
208static SCM *scm_loc_load_compiled_extensions;
209
ee001750 210/* Whether we should try to auto-compile. */
6f06e8d3 211static SCM *scm_loc_load_should_auto_compile;
01cddfc1 212
1e56cff2
AW
213/* Whether to treat all auto-compiled files as stale. */
214static SCM *scm_loc_fresh_auto_compile;
215
6f06e8d3 216/* The fallback path for auto-compilation */
5ea401bf 217static SCM *scm_loc_compile_fallback_path;
01cddfc1 218
a1ec6916 219SCM_DEFINE (scm_parse_path, "parse-path", 1, 1, 0,
1bbd0b84 220 (SCM path, SCM tail),
d91788cb
MG
221 "Parse @var{path}, which is expected to be a colon-separated\n"
222 "string, into a list and return the resulting list with\n"
223 "@var{tail} appended. If @var{path} is @code{#f}, @var{tail}\n"
224 "is returned.")
1bbd0b84 225#define FUNC_NAME s_scm_parse_path
04e8fb0a 226{
7d04d68b
MV
227#ifdef __MINGW32__
228 SCM sep = SCM_MAKE_CHAR (';');
229#else
230 SCM sep = SCM_MAKE_CHAR (':');
231#endif
232
04e8fb0a
MD
233 if (SCM_UNBNDP (tail))
234 tail = SCM_EOL;
7888309b 235 return (scm_is_false (path)
04e8fb0a 236 ? tail
7d04d68b 237 : scm_append_x (scm_list_2 (scm_string_split (path, sep), tail)));
04e8fb0a 238}
1bbd0b84 239#undef FUNC_NAME
04e8fb0a
MD
240
241
06721500 242/* Initialize the global variable %load-path, given the value of the
3feedb00 243 SCM_SITE_DIR and SCM_LIBRARY_DIR preprocessor symbols and the
01cddfc1 244 GUILE_LOAD_PATH environment variable. */
0f2d19dd 245void
06721500
JB
246scm_init_load_path ()
247{
11c5e0bf 248 char *env;
06721500 249 SCM path = SCM_EOL;
5b197db8 250 SCM cpath = SCM_EOL;
06721500 251
3feedb00 252#ifdef SCM_LIBRARY_DIR
02b84691
AW
253 env = getenv ("GUILE_SYSTEM_PATH");
254 if (env && strcmp (env, "") == 0)
255 /* special-case interpret system-path=="" as meaning no system path instead
256 of '("") */
257 ;
258 else if (env)
259 path = scm_parse_path (scm_from_locale_string (env), path);
260 else
bc325e76 261 path = scm_list_4 (scm_from_locale_string (SCM_LIBRARY_DIR),
3c98a49c 262 scm_from_locale_string (SCM_SITE_DIR),
bc325e76 263 scm_from_locale_string (SCM_GLOBAL_SITE_DIR),
02b84691 264 scm_from_locale_string (SCM_PKGDATA_DIR));
5b197db8
AW
265
266 env = getenv ("GUILE_SYSTEM_COMPILED_PATH");
267 if (env && strcmp (env, "") == 0)
268 /* like above */
269 ;
270 else if (env)
271 cpath = scm_parse_path (scm_from_locale_string (env), cpath);
272 else
9957641b
AW
273 {
274 cpath = scm_list_2 (scm_from_locale_string (SCM_CCACHE_DIR),
275 scm_from_locale_string (SCM_SITE_CCACHE_DIR));
276 }
3c997c4b 277
3feedb00 278#endif /* SCM_LIBRARY_DIR */
06721500 279
3c997c4b 280 {
179fe336
AW
281 char cachedir[1024];
282 char *e;
283#ifdef HAVE_GETPWENT
284 struct passwd *pwd;
285#endif
5b197db8 286
6e5c02b8
AW
287#define FALLBACK_DIR \
288 "guile/ccache/" SCM_EFFECTIVE_VERSION "-" SCM_OBJCODE_MACHINE_VERSION_STRING
179fe336
AW
289
290 if ((e = getenv ("XDG_CACHE_HOME")))
48a0fe4d 291 snprintf (cachedir, sizeof(cachedir), "%s/" FALLBACK_DIR, e);
179fe336
AW
292 else if ((e = getenv ("HOME")))
293 snprintf (cachedir, sizeof(cachedir), "%s/.cache/" FALLBACK_DIR, e);
5b197db8 294#ifdef HAVE_GETPWENT
179fe336
AW
295 else if ((pwd = getpwuid (getuid ())) && pwd->pw_dir)
296 snprintf (cachedir, sizeof(cachedir), "%s/.cache/" FALLBACK_DIR,
297 pwd->pw_dir);
5b197db8 298#endif /* HAVE_GETPWENT */
284019a2
JN
299#ifdef __MINGW32__
300 else if ((e = getenv ("LOCALAPPDATA")))
301 snprintf (cachedir, sizeof (cachedir), "%s/.cache/" FALLBACK_DIR, e);
302 else if ((e = getenv ("APPDATA")))
303 snprintf (cachedir, sizeof (cachedir), "%s/.cache/" FALLBACK_DIR, e);
304#endif /* __MINGW32__ */
179fe336
AW
305 else
306 cachedir[0] = 0;
307
308 if (cachedir[0])
309 *scm_loc_compile_fallback_path = scm_from_locale_string (cachedir);
3c997c4b 310 }
06721500 311
11c5e0bf
MV
312 env = getenv ("GUILE_LOAD_PATH");
313 if (env)
314 path = scm_parse_path (scm_from_locale_string (env), path);
01cddfc1 315
5b197db8
AW
316 env = getenv ("GUILE_LOAD_COMPILED_PATH");
317 if (env)
318 cpath = scm_parse_path (scm_from_locale_string (env), cpath);
319
06721500 320 *scm_loc_load_path = path;
5b197db8 321 *scm_loc_load_compiled_path = cpath;
06721500
JB
322}
323
04e8fb0a 324SCM scm_listofnullstr;
06721500 325
7d04d68b
MV
326/* Utility functions for assembling C strings in a buffer.
327 */
328
329struct stringbuf {
330 char *buf, *ptr;
331 size_t buf_len;
332};
333
334static void
335stringbuf_free (void *data)
336{
337 struct stringbuf *buf = (struct stringbuf *)data;
338 free (buf->buf);
339}
340
341static void
342stringbuf_grow (struct stringbuf *buf)
343{
344 size_t ptroff = buf->ptr - buf->buf;
345 buf->buf_len *= 2;
7d04d68b
MV
346 buf->buf = scm_realloc (buf->buf, buf->buf_len);
347 buf->ptr = buf->buf + ptroff;
348}
349
350static void
351stringbuf_cat_locale_string (struct stringbuf *buf, SCM str)
352{
353 size_t max_len = buf->buf_len - (buf->ptr - buf->buf) - 1;
354 size_t len = scm_to_locale_stringbuf (str, buf->ptr, max_len);
355 if (len > max_len)
356 {
357 /* buffer is too small, double its size and try again.
358 */
359 stringbuf_grow (buf);
360 stringbuf_cat_locale_string (buf, str);
361 }
362 else
363 {
364 /* string fits, terminate it and check for embedded '\0'.
365 */
366 buf->ptr[len] = '\0';
367 if (strlen (buf->ptr) != len)
368 scm_misc_error (NULL,
369 "string contains #\\nul character: ~S",
370 scm_list_1 (str));
371 buf->ptr += len;
372 }
373}
374
375static void
376stringbuf_cat (struct stringbuf *buf, char *str)
377{
378 size_t max_len = buf->buf_len - (buf->ptr - buf->buf) - 1;
379 size_t len = strlen (str);
380 if (len > max_len)
381 {
382 /* buffer is too small, double its size and try again.
383 */
384 stringbuf_grow (buf);
385 stringbuf_cat (buf, str);
386 }
387 else
388 {
389 /* string fits, copy it into buffer.
390 */
391 strcpy (buf->ptr, str);
392 buf->ptr += len;
393 }
394}
395
396
22f4ee48
AW
397static int
398scm_c_string_has_an_ext (char *str, size_t len, SCM extensions)
399{
400 for (; !scm_is_null (extensions); extensions = SCM_CDR (extensions))
401 {
402 char *ext;
403 size_t extlen;
404 int match;
405 ext = scm_to_locale_string (SCM_CAR (extensions));
406 extlen = strlen (ext);
407 match = (len > extlen && str[len - extlen - 1] == '.'
408 && strncmp (str + (len - extlen), ext, extlen) == 0);
409 free (ext);
410 if (match)
411 return 1;
412 }
413 return 0;
414}
415
04e8fb0a 416/* Search PATH for a directory containing a file named FILENAME.
06721500 417 The file must be readable, and not a directory.
26544b96 418 If we find one, return its full filename; otherwise, return #f.
56384176
JB
419 If FILENAME is absolute, return it unchanged.
420 If given, EXTENSIONS is a list of strings; for each directory
421 in PATH, we search for FILENAME concatenated with each EXTENSION. */
a6e1e050
AW
422static SCM
423search_path (SCM path, SCM filename, SCM extensions, SCM require_exts,
424 struct stat *stat_buf)
06721500 425{
7d04d68b 426 struct stringbuf buf;
56384176 427 char *filename_chars;
7d04d68b
MV
428 size_t filename_len;
429 SCM result = SCM_BOOL_F;
06721500 430
a6e1e050
AW
431 if (scm_ilength (path) < 0)
432 scm_misc_error ("%search-path", "path is not a proper list: ~a",
433 scm_list_1 (path));
434 if (scm_ilength (extensions) < 0)
435 scm_misc_error ("%search-path", "bad extensions list: ~a",
436 scm_list_1 (extensions));
22f4ee48 437
661ae7ab 438 scm_dynwind_begin (0);
7d04d68b
MV
439
440 filename_chars = scm_to_locale_string (filename);
441 filename_len = strlen (filename_chars);
661ae7ab 442 scm_dynwind_free (filename_chars);
06721500 443
26544b96 444 /* If FILENAME is absolute, return it unchanged. */
2e945bcc
SJ
445#ifdef __MINGW32__
446 if (((filename_len >= 1) &&
447 (filename_chars[0] == '/' || filename_chars[0] == '\\')) ||
448 ((filename_len >= 3) && filename_chars[1] == ':' &&
449 ((filename_chars[0] >= 'a' && filename_chars[0] <= 'z') ||
450 (filename_chars[0] >= 'A' && filename_chars[0] <= 'Z')) &&
451 (filename_chars[2] == '/' || filename_chars[2] == '\\')))
452#else
56384176 453 if (filename_len >= 1 && filename_chars[0] == '/')
2e945bcc 454#endif
7d04d68b 455 {
22f4ee48
AW
456 SCM res = filename;
457 if (scm_is_true (require_exts) &&
458 !scm_c_string_has_an_ext (filename_chars, filename_len,
459 extensions))
460 res = SCM_BOOL_F;
461
661ae7ab 462 scm_dynwind_end ();
22f4ee48 463 return res;
7d04d68b 464 }
26544b96 465
56384176
JB
466 /* If FILENAME has an extension, don't try to add EXTENSIONS to it. */
467 {
468 char *endp;
469
470 for (endp = filename_chars + filename_len - 1;
471 endp >= filename_chars;
472 endp--)
473 {
474 if (*endp == '.')
475 {
22f4ee48
AW
476 if (scm_is_true (require_exts) &&
477 !scm_c_string_has_an_ext (filename_chars, filename_len,
478 extensions))
479 {
480 /* This filename has an extension, but not one of the right
481 ones... */
482 scm_dynwind_end ();
483 return SCM_BOOL_F;
484 }
56384176
JB
485 /* This filename already has an extension, so cancel the
486 list of extensions. */
487 extensions = SCM_EOL;
488 break;
489 }
2e945bcc
SJ
490#ifdef __MINGW32__
491 else if (*endp == '/' || *endp == '\\')
492#else
56384176 493 else if (*endp == '/')
2e945bcc 494#endif
56384176
JB
495 /* This filename has no extension, so keep the current list
496 of extensions. */
497 break;
498 }
499 }
500
7d04d68b
MV
501 /* This simplifies the loop below a bit.
502 */
d2e53ed6 503 if (scm_is_null (extensions))
7d04d68b 504 extensions = scm_listofnullstr;
06721500 505
7d04d68b
MV
506 buf.buf_len = 512;
507 buf.buf = scm_malloc (buf.buf_len);
661ae7ab 508 scm_dynwind_unwind_handler (stringbuf_free, &buf, SCM_F_WIND_EXPLICITLY);
0a74e31d 509
7d04d68b
MV
510 /* Try every path element.
511 */
d2e53ed6 512 for (; scm_is_pair (path); path = SCM_CDR (path))
7d04d68b
MV
513 {
514 SCM dir = SCM_CAR (path);
515 SCM exts;
516 size_t sans_ext_len;
517
518 buf.ptr = buf.buf;
519 stringbuf_cat_locale_string (&buf, dir);
520
521 /* Concatenate the path name and the filename. */
522
2e945bcc 523#ifdef __MINGW32__
5a6d139b 524 if ((buf.ptr > buf.buf) && (buf.ptr[-1] != '/') && (buf.ptr[-1] != '\\'))
2e945bcc 525#else
5a6d139b 526 if ((buf.ptr > buf.buf) && (buf.ptr[-1] != '/'))
2e945bcc 527#endif
7d04d68b
MV
528 stringbuf_cat (&buf, "/");
529
530 stringbuf_cat (&buf, filename_chars);
531 sans_ext_len = buf.ptr - buf.buf;
532
533 /* Try every extension. */
d2e53ed6 534 for (exts = extensions; scm_is_pair (exts); exts = SCM_CDR (exts))
7d04d68b
MV
535 {
536 SCM ext = SCM_CAR (exts);
7d04d68b
MV
537
538 buf.ptr = buf.buf + sans_ext_len;
539 stringbuf_cat_locale_string (&buf, ext);
540
541 /* If the file exists at all, we should return it. If the
542 file is inaccessible, then that's an error. */
543
a6e1e050
AW
544 if (stat (buf.buf, stat_buf) == 0
545 && ! (stat_buf->st_mode & S_IFDIR))
7d04d68b
MV
546 {
547 result = scm_from_locale_string (buf.buf);
548 goto end;
549 }
550 }
551
552 if (!SCM_NULL_OR_NIL_P (exts))
553 scm_wrong_type_arg_msg (NULL, 0, extensions, "proper list");
554 }
56384176 555
7d04d68b
MV
556 if (!SCM_NULL_OR_NIL_P (path))
557 scm_wrong_type_arg_msg (NULL, 0, path, "proper list");
56384176 558
7d04d68b 559 end:
661ae7ab 560 scm_dynwind_end ();
7d04d68b 561 return result;
06721500 562}
a6e1e050
AW
563
564SCM_DEFINE (scm_search_path, "search-path", 2, 0, 1,
565 (SCM path, SCM filename, SCM rest),
566 "Search @var{path} for a directory containing a file named\n"
567 "@var{filename}. The file must be readable, and not a directory.\n"
568 "If we find one, return its full filename; otherwise, return\n"
569 "@code{#f}. If @var{filename} is absolute, return it unchanged.\n"
570 "If given, @var{extensions} is a list of strings; for each\n"
571 "directory in @var{path}, we search for @var{filename}\n"
572 "concatenated with each @var{extension}.")
573#define FUNC_NAME s_scm_search_path
574{
575 SCM extensions, require_exts;
576 struct stat stat_buf;
577
578 if (SCM_UNBNDP (rest) || scm_is_null (rest))
579 {
580 /* Called either by Scheme code that didn't provide the optional
581 arguments, or C code that used the Guile 1.8 signature (2 required,
582 1 optional arg) and passed '() or nothing as the EXTENSIONS
583 argument. */
584 extensions = SCM_EOL;
585 require_exts = SCM_UNDEFINED;
586 }
587 else
588 {
589 if (scm_is_null (SCM_CAR (rest)) || scm_is_pair (SCM_CAR (rest)))
590 {
591 /* Called by Scheme code written for 1.9. */
592 extensions = SCM_CAR (rest);
593 if (scm_is_null (SCM_CDR (rest)))
594 require_exts = SCM_UNDEFINED;
595 else
596 {
597 require_exts = SCM_CADR (rest);
598 if (SCM_UNLIKELY (!scm_is_null (SCM_CDDR (rest))))
599 scm_wrong_num_args (scm_from_locale_string (FUNC_NAME));
600 }
601 }
602 else
603 {
604 /* Called by C code that uses the 1.8 signature, i.e., which
605 expects the 3rd argument to be EXTENSIONS. */
606 extensions = rest;
607 require_exts = SCM_UNDEFINED;
608 }
609 }
610
611 if (SCM_UNBNDP (extensions))
612 extensions = SCM_EOL;
613
614 if (SCM_UNBNDP (require_exts))
615 require_exts = SCM_BOOL_F;
616
617 return search_path (path, filename, extensions, require_exts, &stat_buf);
618}
1bbd0b84 619#undef FUNC_NAME
06721500
JB
620
621
04e8fb0a
MD
622/* Search %load-path for a directory containing a file named FILENAME.
623 The file must be readable, and not a directory.
624 If we find one, return its full filename; otherwise, return #f.
625 If FILENAME is absolute, return it unchanged. */
3b3b36dd 626SCM_DEFINE (scm_sys_search_load_path, "%search-load-path", 1, 0, 0,
67e8151b
MG
627 (SCM filename),
628 "Search @var{%load-path} for the file named @var{filename},\n"
629 "which must be readable by the current user. If @var{filename}\n"
630 "is found in the list of paths to search or is an absolute\n"
631 "pathname, return its full pathname. Otherwise, return\n"
632 "@code{#f}. Filenames may have any of the optional extensions\n"
633 "in the @code{%load-extensions} list; @code{%search-load-path}\n"
634 "will try each extension automatically.")
1bbd0b84 635#define FUNC_NAME s_scm_sys_search_load_path
04e8fb0a 636{
a6e1e050
AW
637 struct stat stat_buf;
638
a6d9e5ab 639 SCM_VALIDATE_STRING (1, filename);
1bbd0b84 640
a6e1e050
AW
641 return search_path (*scm_loc_load_path, filename, *scm_loc_load_extensions,
642 SCM_BOOL_F, &stat_buf);
04e8fb0a 643}
1bbd0b84 644#undef FUNC_NAME
04e8fb0a
MD
645
646
abca59fe 647/* Return true if COMPILED_FILENAME is newer than source file
a6e1e050 648 FULL_FILENAME, false otherwise. */
1d022387 649static int
a6e1e050
AW
650compiled_is_fresh (SCM full_filename, SCM compiled_filename,
651 struct stat *stat_source, struct stat *stat_compiled)
1d022387 652{
722a4fb9 653 int compiled_is_newer;
a6e1e050 654 struct timespec source_mtime, compiled_mtime;
1d022387 655
a6e1e050
AW
656 source_mtime = get_stat_mtime (stat_source);
657 compiled_mtime = get_stat_mtime (stat_compiled);
fefd60ba 658
a6e1e050
AW
659 if (source_mtime.tv_sec < compiled_mtime.tv_sec
660 || (source_mtime.tv_sec == compiled_mtime.tv_sec
661 && source_mtime.tv_nsec <= compiled_mtime.tv_nsec))
662 compiled_is_newer = 1;
663 else
1d022387 664 {
a6e1e050
AW
665 compiled_is_newer = 0;
666 scm_puts (";;; note: source file ", scm_current_error_port ());
667 scm_display (full_filename, scm_current_error_port ());
668 scm_puts ("\n;;; newer than compiled ", scm_current_error_port ());
669 scm_display (compiled_filename, scm_current_error_port ());
670 scm_puts ("\n", scm_current_error_port ());
1d022387 671 }
abca59fe
LC
672
673 return compiled_is_newer;
1d022387
AW
674}
675
87c595c7 676SCM_KEYWORD (kw_env, "env");
5a79300f
LC
677SCM_KEYWORD (kw_opts, "opts");
678
679SCM_SYMBOL (sym_compile_file, "compile-file");
680SCM_SYMBOL (sym_auto_compilation_options, "%auto-compilation-options");
87c595c7 681
1d022387 682static SCM
6f06e8d3 683do_try_auto_compile (void *data)
1d022387 684{
3c997c4b
AW
685 SCM source = PTR2SCM (data);
686 SCM comp_mod, compile_file;
ee001750
AW
687
688 scm_puts (";;; compiling ", scm_current_error_port ());
3c997c4b 689 scm_display (source, scm_current_error_port ());
ee001750
AW
690 scm_newline (scm_current_error_port ());
691
692 comp_mod = scm_c_resolve_module ("system base compile");
5a79300f 693 compile_file = scm_module_variable (comp_mod, sym_compile_file);
ee001750 694
3c997c4b
AW
695 if (scm_is_true (compile_file))
696 {
87c595c7 697 /* Auto-compile in the context of the current module. */
5a79300f
LC
698 SCM res, opts;
699 SCM args[5];
700
701 opts = scm_module_variable (scm_the_root_module (),
702 sym_auto_compilation_options);
703 if (SCM_VARIABLEP (opts))
704 opts = SCM_VARIABLE_REF (opts);
705 else
706 opts = SCM_EOL;
707
708 args[0] = source;
709 args[1] = kw_opts;
710 args[2] = opts;
711 args[3] = kw_env;
712 args[4] = scm_current_module ();
713
714 /* Assume `*current-warning-prefix*' has an appropriate value. */
715 res = scm_call_n (scm_variable_ref (compile_file), args, 5);
716
3c997c4b
AW
717 scm_puts (";;; compiled ", scm_current_error_port ());
718 scm_display (res, scm_current_error_port ());
719 scm_newline (scm_current_error_port ());
720 return res;
721 }
722 else
723 {
724 scm_puts (";;; it seems ", scm_current_error_port ());
725 scm_display (source, scm_current_error_port ());
6f06e8d3 726 scm_puts ("\n;;; is part of the compiler; skipping auto-compilation\n",
3c997c4b
AW
727 scm_current_error_port ());
728 return SCM_BOOL_F;
729 }
ee001750
AW
730}
731
732static SCM
6f06e8d3 733auto_compile_catch_handler (void *data, SCM tag, SCM throw_args)
ee001750 734{
3c997c4b 735 SCM source = PTR2SCM (data);
669ea4eb
AW
736 SCM oport, lines;
737
738 oport = scm_open_output_string ();
739 scm_print_exception (oport, SCM_BOOL_F, tag, throw_args);
740
ee001750 741 scm_puts (";;; WARNING: compilation of ", scm_current_error_port ());
3c997c4b 742 scm_display (source, scm_current_error_port ());
6fd367e7 743 scm_puts (" failed:\n", scm_current_error_port ());
669ea4eb
AW
744
745 lines = scm_string_split (scm_get_output_string (oport),
746 SCM_MAKE_CHAR ('\n'));
747 for (; scm_is_pair (lines); lines = scm_cdr (lines))
748 if (scm_c_string_length (scm_car (lines)))
749 {
750 scm_puts (";;; ", scm_current_error_port ());
751 scm_display (scm_car (lines), scm_current_error_port ());
752 scm_newline (scm_current_error_port ());
753 }
754
755 scm_close_port (oport);
756
1d022387
AW
757 return SCM_BOOL_F;
758}
759
6f06e8d3 760SCM_DEFINE (scm_sys_warn_auto_compilation_enabled, "%warn-auto-compilation-enabled", 0, 0, 0,
9591a2b0 761 (void), "")
6f06e8d3 762#define FUNC_NAME s_scm_sys_warn_auto_compilation_enabled
ee001750
AW
763{
764 static int message_shown = 0;
ee001750
AW
765
766 if (!message_shown)
767 {
6f06e8d3
AW
768 scm_puts (";;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0\n"
769 ";;; or pass the --no-auto-compile argument to disable.\n",
ee001750
AW
770 scm_current_error_port ());
771 message_shown = 1;
772 }
773
9591a2b0
AW
774 return SCM_UNSPECIFIED;
775}
15058484 776#undef FUNC_NAME
9591a2b0 777
9591a2b0 778static SCM
6f06e8d3 779scm_try_auto_compile (SCM source)
9591a2b0 780{
6f06e8d3 781 if (scm_is_false (*scm_loc_load_should_auto_compile))
9591a2b0
AW
782 return SCM_BOOL_F;
783
6f06e8d3 784 scm_sys_warn_auto_compilation_enabled ();
ee001750 785 return scm_c_catch (SCM_BOOL_T,
6f06e8d3 786 do_try_auto_compile,
3c997c4b 787 SCM2PTR (source),
6f06e8d3 788 auto_compile_catch_handler,
3c997c4b 789 SCM2PTR (source),
ee001750
AW
790 NULL, NULL);
791}
792
6934d9e7
AW
793/* See also (system base compile):compiled-file-name. */
794static SCM
e4f6e855 795canonical_suffix (SCM fname)
6934d9e7 796{
e4f6e855
AW
797 SCM canon;
798 size_t len;
799
800 canon = scm_canonicalize_path (fname);
801 len = scm_c_string_length (canon);
6934d9e7
AW
802
803 if (len > 1 && scm_is_eq (scm_c_string_ref (canon, 0), SCM_MAKE_CHAR ('/')))
804 return canon;
805 else if (len > 2 && scm_is_eq (scm_c_string_ref (canon, 1), SCM_MAKE_CHAR (':')))
806 return scm_string_append (scm_list_3 (scm_from_latin1_string ("/"),
807 scm_c_substring (canon, 0, 1),
808 scm_c_substring (canon, 2, len)));
809 else
810 return canon;
811}
812
31ab99de
LC
813SCM_DEFINE (scm_primitive_load_path, "primitive-load-path", 0, 0, 1,
814 (SCM args),
67e8151b
MG
815 "Search @var{%load-path} for the file named @var{filename} and\n"
816 "load it into the top-level environment. If @var{filename} is a\n"
817 "relative pathname and is not found in the list of search paths,\n"
0fb81f95
AW
818 "an error is signalled, unless the optional argument\n"
819 "@var{exception_on_not_found} is @code{#f}, in which case\n"
820 "@code{#f} is returned instead.")
1bbd0b84 821#define FUNC_NAME s_scm_primitive_load_path
06721500 822{
31ab99de 823 SCM filename, exception_on_not_found;
22f4ee48 824 SCM full_filename, compiled_filename;
628132c5 825 int compiled_is_fallback = 0;
dcada7d8 826 SCM hook = *scm_loc_load_hook;
a6e1e050 827 struct stat stat_source, stat_compiled;
dcada7d8
AW
828
829 if (scm_is_true (hook) && scm_is_false (scm_procedure_p (hook)))
830 SCM_MISC_ERROR ("value of %load-hook is neither a procedure nor #f",
831 SCM_EOL);
26544b96 832
31ab99de
LC
833 if (scm_is_string (args))
834 {
835 /* C code written for 1.8 and earlier expects this function to take a
836 single argument (the file name). */
837 filename = args;
838 exception_on_not_found = SCM_UNDEFINED;
839 }
840 else
841 {
842 /* Starting from 1.9, this function takes 1 required and 1 optional
843 argument. */
844 long len;
845
846 SCM_VALIDATE_LIST_COPYLEN (SCM_ARG1, args, len);
847 if (len < 1 || len > 2)
848 scm_error_num_args_subr (FUNC_NAME);
849
850 filename = SCM_CAR (args);
851 SCM_VALIDATE_STRING (SCM_ARG1, filename);
852
853 exception_on_not_found = len > 1 ? SCM_CADR (args) : SCM_UNDEFINED;
854 }
855
0fb81f95
AW
856 if (SCM_UNBNDP (exception_on_not_found))
857 exception_on_not_found = SCM_BOOL_T;
26544b96 858
a6e1e050
AW
859 full_filename = search_path (*scm_loc_load_path, filename,
860 *scm_loc_load_extensions, SCM_BOOL_F,
861 &stat_source);
eba5ea7a 862
88cbb421 863 compiled_filename =
a6e1e050
AW
864 search_path (*scm_loc_load_compiled_path, filename,
865 *scm_loc_load_compiled_extensions, SCM_BOOL_T,
866 &stat_compiled);
88cbb421 867
5ea401bf
AW
868 if (scm_is_false (compiled_filename)
869 && scm_is_true (full_filename)
3c997c4b 870 && scm_is_true (*scm_loc_compile_fallback_path)
1e56cff2 871 && scm_is_false (*scm_loc_fresh_auto_compile)
3c997c4b
AW
872 && scm_is_pair (*scm_loc_load_compiled_extensions)
873 && scm_is_string (scm_car (*scm_loc_load_compiled_extensions)))
5ea401bf 874 {
a6e1e050
AW
875 SCM fallback;
876 char *fallback_chars;
877
878 fallback = scm_string_append
3c997c4b 879 (scm_list_3 (*scm_loc_compile_fallback_path,
e4f6e855 880 canonical_suffix (full_filename),
3c997c4b 881 scm_car (*scm_loc_load_compiled_extensions)));
a6e1e050
AW
882
883 fallback_chars = scm_to_locale_string (fallback);
884 if (stat (fallback_chars, &stat_compiled) == 0)
628132c5
AW
885 {
886 compiled_filename = fallback;
887 compiled_is_fallback = 1;
888 }
a6e1e050 889 free (fallback_chars);
5ea401bf
AW
890 }
891
22f4ee48 892 if (scm_is_false (full_filename) && scm_is_false (compiled_filename))
0fb81f95
AW
893 {
894 if (scm_is_true (exception_on_not_found))
895 SCM_MISC_ERROR ("Unable to find file ~S in load path",
896 scm_list_1 (filename));
897 else
898 return SCM_BOOL_F;
899 }
22f4ee48 900
dcada7d8
AW
901 if (!scm_is_false (hook))
902 scm_call_1 (hook, (scm_is_true (full_filename)
903 ? full_filename : compiled_filename));
904
1d022387
AW
905 if (scm_is_false (full_filename)
906 || (scm_is_true (compiled_filename)
a6e1e050
AW
907 && compiled_is_fresh (full_filename, compiled_filename,
908 &stat_source, &stat_compiled)))
22f4ee48
AW
909 return scm_load_compiled_with_vm (compiled_filename);
910
628132c5
AW
911 /* Perhaps there was the installed .go that was stale, but our fallback is
912 fresh. Let's try that. Duplicating code, but perhaps that's OK. */
913
914 if (!compiled_is_fallback
915 && scm_is_true (*scm_loc_compile_fallback_path)
1e56cff2 916 && scm_is_false (*scm_loc_fresh_auto_compile)
628132c5
AW
917 && scm_is_pair (*scm_loc_load_compiled_extensions)
918 && scm_is_string (scm_car (*scm_loc_load_compiled_extensions)))
919 {
a6e1e050
AW
920 SCM fallback;
921 char *fallback_chars;
922 int stat_ret;
923
924 fallback = scm_string_append
628132c5 925 (scm_list_3 (*scm_loc_compile_fallback_path,
e4f6e855 926 canonical_suffix (full_filename),
628132c5 927 scm_car (*scm_loc_load_compiled_extensions)));
a6e1e050
AW
928
929 fallback_chars = scm_to_locale_string (fallback);
930 stat_ret = stat (fallback_chars, &stat_compiled);
931 free (fallback_chars);
932
933 if (stat_ret == 0 && compiled_is_fresh (full_filename, fallback,
934 &stat_source, &stat_compiled))
628132c5
AW
935 {
936 scm_puts (";;; found fresh local cache at ", scm_current_error_port ());
937 scm_display (fallback, scm_current_error_port ());
938 scm_newline (scm_current_error_port ());
5950cc3f 939 return scm_load_compiled_with_vm (fallback);
628132c5 940 }
3c997c4b 941 }
628132c5
AW
942
943 /* Otherwise, we bottom out here. */
22f4ee48 944 {
6f06e8d3 945 SCM freshly_compiled = scm_try_auto_compile (full_filename);
22f4ee48 946
628132c5
AW
947 if (scm_is_true (freshly_compiled))
948 return scm_load_compiled_with_vm (freshly_compiled);
22f4ee48 949 else
628132c5 950 return scm_primitive_load (full_filename);
22f4ee48 951 }
06721500 952}
1bbd0b84 953#undef FUNC_NAME
06721500 954
c519b272
MV
955SCM
956scm_c_primitive_load_path (const char *filename)
957{
31ab99de 958 return scm_primitive_load_path (scm_from_locale_string (filename));
c519b272
MV
959}
960
5f161164
AW
961void
962scm_init_eval_in_scheme (void)
963{
964 SCM eval_scm, eval_go;
a6e1e050
AW
965 struct stat stat_source, stat_compiled;
966
967 eval_scm = search_path (*scm_loc_load_path,
968 scm_from_locale_string ("ice-9/eval.scm"),
969 SCM_EOL, SCM_BOOL_F, &stat_source);
970 eval_go = search_path (*scm_loc_load_compiled_path,
971 scm_from_locale_string ("ice-9/eval.go"),
972 SCM_EOL, SCM_BOOL_F, &stat_compiled);
5f161164
AW
973
974 if (scm_is_true (eval_scm) && scm_is_true (eval_go)
a6e1e050
AW
975 && compiled_is_fresh (eval_scm, eval_go,
976 &stat_source, &stat_compiled))
5f161164 977 scm_load_compiled_with_vm (eval_go);
ed1bf2c8
AW
978 else
979 /* if we have no eval.go, we shouldn't load any compiled code at all */
980 *scm_loc_load_compiled_path = SCM_EOL;
5f161164
AW
981}
982
06721500 983\f
e151bee6 984/* Information about the build environment. */
06721500 985
d7a22073
LC
986SCM_VARIABLE_INIT (sys_host_type, "%host-type",
987 scm_from_locale_string (HOST_TYPE));
988
989
e151bee6
JB
990/* Initialize the scheme variable %guile-build-info, based on data
991 provided by the Makefile, via libpath.h. */
992static void
993init_build_info ()
994{
995 static struct { char *name; char *value; } info[] = SCM_BUILD_INFO;
86d31dfe 996 SCM *loc = SCM_VARIABLE_LOC (scm_c_define ("%guile-build-info", SCM_EOL));
c014a02e 997 unsigned long i;
e151bee6
JB
998
999 for (i = 0; i < (sizeof (info) / sizeof (info[0])); i++)
cc95e00a
MV
1000 {
1001 SCM key = scm_from_locale_symbol (info[i].name);
1002 SCM val = scm_from_locale_string (info[i].value);
1003 *loc = scm_acons (key, val, *loc);
1004 }
26ac1e3f
AW
1005#ifdef PACKAGE_PACKAGER
1006 *loc = scm_acons (scm_from_latin1_symbol ("packager"),
1007 scm_from_latin1_string (PACKAGE_PACKAGER),
1008 *loc);
1009#endif
1010#ifdef PACKAGE_PACKAGER_VERSION
1011 *loc = scm_acons (scm_from_latin1_symbol ("packager-version"),
1012 scm_from_latin1_string (PACKAGE_PACKAGER_VERSION),
1013 *loc);
1014#endif
1015#ifdef PACKAGE_PACKAGER_BUG_REPORTS
1016 *loc = scm_acons (scm_from_latin1_symbol ("packager-bug-reports"),
1017 scm_from_latin1_string (PACKAGE_PACKAGER_BUG_REPORTS),
1018 *loc);
1019#endif
e151bee6
JB
1020}
1021
e151bee6 1022\f
0f2d19dd
JB
1023void
1024scm_init_load ()
0f2d19dd 1025{
f39448c5 1026 scm_listofnullstr = scm_list_1 (scm_nullstr);
86d31dfe 1027 scm_loc_load_path = SCM_VARIABLE_LOC (scm_c_define ("%load-path", SCM_EOL));
26544b96 1028 scm_loc_load_extensions
86d31dfe 1029 = SCM_VARIABLE_LOC (scm_c_define ("%load-extensions",
cc95e00a
MV
1030 scm_list_2 (scm_from_locale_string (".scm"),
1031 scm_nullstr)));
5b197db8
AW
1032 scm_loc_load_compiled_path
1033 = SCM_VARIABLE_LOC (scm_c_define ("%load-compiled-path", SCM_EOL));
22f4ee48
AW
1034 scm_loc_load_compiled_extensions
1035 = SCM_VARIABLE_LOC (scm_c_define ("%load-compiled-extensions",
1036 scm_list_1 (scm_from_locale_string (".go"))));
86d31dfe 1037 scm_loc_load_hook = SCM_VARIABLE_LOC (scm_c_define ("%load-hook", SCM_BOOL_F));
06721500 1038
5ea401bf
AW
1039 scm_loc_compile_fallback_path
1040 = SCM_VARIABLE_LOC (scm_c_define ("%compile-fallback-path", SCM_BOOL_F));
6f06e8d3
AW
1041 scm_loc_load_should_auto_compile
1042 = SCM_VARIABLE_LOC (scm_c_define ("%load-should-auto-compile", SCM_BOOL_F));
1e56cff2
AW
1043 scm_loc_fresh_auto_compile
1044 = SCM_VARIABLE_LOC (scm_c_define ("%fresh-auto-compile", SCM_BOOL_F));
5ea401bf 1045
ec3a8ace 1046 the_reader = scm_make_fluid ();
8b039053 1047 scm_fluid_set_x (the_reader, SCM_BOOL_F);
ec3a8ace
NJ
1048 scm_c_define("current-reader", the_reader);
1049
a6029b97
AW
1050 scm_c_define ("load-compiled",
1051 scm_c_make_gsubr ("load-compiled/vm", 1, 0, 0,
1052 scm_load_compiled_with_vm));
1053
e151bee6
JB
1054 init_build_info ();
1055
a0599745 1056#include "libguile/load.x"
0f2d19dd 1057}
89e00824 1058
6128f34c 1059void
6f06e8d3 1060scm_init_load_should_auto_compile ()
6128f34c 1061{
1e56cff2
AW
1062 char *auto_compile = getenv ("GUILE_AUTO_COMPILE");
1063
1064 if (auto_compile && strcmp (auto_compile, "0") == 0)
1065 {
1066 *scm_loc_load_should_auto_compile = SCM_BOOL_F;
1067 *scm_loc_fresh_auto_compile = SCM_BOOL_F;
1068 }
1069 /* Allow "freshen" also. */
1070 else if (auto_compile && strncmp (auto_compile, "fresh", 5) == 0)
1071 {
1072 *scm_loc_load_should_auto_compile = SCM_BOOL_T;
1073 *scm_loc_fresh_auto_compile = SCM_BOOL_T;
1074 }
1075 else
1076 {
1077 *scm_loc_load_should_auto_compile = SCM_BOOL_T;
1078 *scm_loc_fresh_auto_compile = SCM_BOOL_F;
1079 }
6128f34c
AW
1080}
1081
1082
1083
89e00824
ML
1084/*
1085 Local Variables:
1086 c-file-style: "gnu"
1087 End:
1088*/