annotate src/octave.cc @ 1742:a02f140ed897

[project @ 1996-01-12 11:09:39 by jwe]
author jwe
date Fri, 12 Jan 1996 11:21:53 +0000
parents 4d552a89ceaa
children fc63680a4dc9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1 // octave.cc -*- C++ -*-
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
2 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
3
1009
dfe01093f657 [project @ 1995-01-04 04:05:12 by jwe]
jwe
parents: 1005
diff changeset
4 Copyright (C) 1992, 1993, 1994, 1995 John W. Eaton
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
5
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
6 This file is part of Octave.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
7
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
8 Octave is free software; you can redistribute it and/or modify it
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
9 under the terms of the GNU General Public License as published by the
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
10 Free Software Foundation; either version 2, or (at your option) any
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
11 later version.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
12
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
13 Octave is distributed in the hope that it will be useful, but WITHOUT
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
16 for more details.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
17
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
18 You should have received a copy of the GNU General Public License
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
19 along with Octave; see the file COPYING. If not, write to the Free
1315
611d403c7f3d [project @ 1995-06-25 19:56:32 by jwe]
jwe
parents: 1288
diff changeset
20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
21
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
22 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
23
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
24 // Born February 20, 1992.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
25
240
a99f28f5e351 [project @ 1993-11-30 20:24:36 by jwe]
jwe
parents: 223
diff changeset
26 #ifdef HAVE_CONFIG_H
1192
b6360f2d4fa6 [project @ 1995-03-30 21:38:35 by jwe]
jwe
parents: 1153
diff changeset
27 #include <config.h>
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
28 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
29
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
30 #include <cassert>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
31 #include <csetjmp>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
32 #include <csignal>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
33 #include <cstdlib>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
34 #include <cstring>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
35 #include <ctime>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
36
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
37 #include <fstream.h>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
38 #include <iostream.h>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
39 #include <strstream.h>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
40
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
41 #ifdef HAVE_UNISTD_H
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
42 #include <sys/types.h>
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
43 #include <unistd.h>
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
44 #endif
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
45
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
46 #include <pwd.h>
636
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
47
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
48 #include "getopt.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
49
240
a99f28f5e351 [project @ 1993-11-30 20:24:36 by jwe]
jwe
parents: 223
diff changeset
50 #include "lo-error.h"
223
82c050e70f7a [project @ 1993-11-14 10:58:11 by jwe]
jwe
parents: 206
diff changeset
51
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
52 #include "builtins.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
53 #include "defaults.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
54 #include "defun.h"
703
21cc5b9b9ed6 [project @ 1994-09-15 02:39:57 by jwe]
jwe
parents: 686
diff changeset
55 #include "dynamic-ld.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
56 #include "error.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
57 #include "file-io.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
58 #include "help.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
59 #include "input.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
60 #include "lex.h"
1742
a02f140ed897 [project @ 1996-01-12 11:09:39 by jwe]
jwe
parents: 1711
diff changeset
61 #include "oct-hist.h"
1670
6708c53892c1 [project @ 1995-12-27 04:33:00 by jwe]
jwe
parents: 1669
diff changeset
62 #include "toplev.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
63 #include "pager.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
64 #include "parse.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
65 #include "pathsearch.h"
562
50bf8d1b024e [project @ 1994-07-25 23:19:11 by jwe]
jwe
parents: 560
diff changeset
66 #include "procstream.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
67 #include "sighandlers.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
68 #include "statdefs.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
69 #include "sysdep.h"
1742
a02f140ed897 [project @ 1996-01-12 11:09:39 by jwe]
jwe
parents: 1711
diff changeset
70 #include "pt-const.h"
a02f140ed897 [project @ 1996-01-12 11:09:39 by jwe]
jwe
parents: 1711
diff changeset
71 #include "pt-misc.h"
a02f140ed897 [project @ 1996-01-12 11:09:39 by jwe]
jwe
parents: 1711
diff changeset
72 #include "pt-plot.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
73 #include "unwind-prot.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
74 #include "user-prefs.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
75 #include "utils.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
76 #include "variables.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
77 #include "version.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
78
1704
bcb2a18534a8 [project @ 1996-01-07 05:22:21 by jwe]
jwe
parents: 1689
diff changeset
79 #if !defined (HAVE_ATEXIT) && defined (HAVE_ON_EXIT)
bcb2a18534a8 [project @ 1996-01-07 05:22:21 by jwe]
jwe
parents: 1689
diff changeset
80 extern "C" int on_exit ();
bcb2a18534a8 [project @ 1996-01-07 05:22:21 by jwe]
jwe
parents: 1689
diff changeset
81 #define atexit on_exit
bcb2a18534a8 [project @ 1996-01-07 05:22:21 by jwe]
jwe
parents: 1689
diff changeset
82 #endif
bcb2a18534a8 [project @ 1996-01-07 05:22:21 by jwe]
jwe
parents: 1689
diff changeset
83
1684
f85887dfe06c [project @ 1995-12-30 03:46:07 by jwe]
jwe
parents: 1670
diff changeset
84 // This is from readline's paren.c:
f85887dfe06c [project @ 1995-12-30 03:46:07 by jwe]
jwe
parents: 1670
diff changeset
85 extern int rl_blink_matching_paren;
1516
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
86
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
87 // Top level context (?)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
88 jmp_buf toplevel;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
89
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
90 // Nonzero means we read ~/.octaverc and ./.octaverc.
616
9ced66fce8a3 [project @ 1994-08-15 04:16:37 by jwe]
jwe
parents: 614
diff changeset
91 // (--norc; --ignore-init-file; -f)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
92 static int read_init_files = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
93
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
94 // Nonzero means we don't print the usual startup message.
616
9ced66fce8a3 [project @ 1994-08-15 04:16:37 by jwe]
jwe
parents: 614
diff changeset
95 // (--quiet; --silent; -q)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
96 static int inhibit_startup_message = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
97
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
98 // Nonzero means we turn on compatibility options.
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
99 // (--traditional)
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
100 static int traditional = 0;
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
101
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
102 // Usage message
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
103 static const char *usage_string =
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
104 "octave [-?Vdfhiqvx] [--debug] [--echo-commands] [--exec-path path]\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
105 [--help] [--ignore-init-file] [--info-file file] [--info-program prog]\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
106 [--interactive] [-p path] [--path path] [--silent] [--traditional]\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
107 [--verbose] [--version] [file]";
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
108
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
109 // This is here so that it's more likely that the usage message and
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
110 // the real set of options will agree. Note: the `+' must come first
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
111 // to prevent getopt from permuting arguments!
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
112 static const char *short_opts = "+?Vdfhip:qvx";
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
113
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
114 // Long options. See the comments in getopt.h for the meanings of the
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
115 // fields in this structure.
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
116 #define EXEC_PATH_OPTION 1
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
117 #define INFO_FILE_OPTION 2
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
118 #define INFO_PROG_OPTION 3
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
119 #define TRADITIONAL_OPTION 4
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
120 static struct option long_opts[] =
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
121 {
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
122 { "debug", no_argument, 0, 'd' },
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
123 { "echo-commands", no_argument, 0, 'x' },
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
124 { "exec-path", required_argument, 0, EXEC_PATH_OPTION },
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
125 { "help", no_argument, 0, 'h' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
126 { "interactive", no_argument, 0, 'i' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
127 { "info-file", required_argument, 0, INFO_FILE_OPTION },
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
128 { "info-program", required_argument, 0, INFO_PROG_OPTION },
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
129 { "ignore-init-file", no_argument, 0, 'f' },
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
130 { "norc", no_argument, 0, 'f' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
131 { "path", required_argument, 0, 'p' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
132 { "quiet", no_argument, 0, 'q' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
133 { "silent", no_argument, 0, 'q' },
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
134 { "traditional", no_argument, 0, TRADITIONAL_OPTION },
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
135 { "verbose", no_argument, 0, 'V' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
136 { "version", no_argument, 0, 'v' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
137 { 0, 0, 0, 0 }
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
138 };
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
139
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
140 // Store the command-line options for later use.
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
141
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
142 static void
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
143 intern_argv (int argc, char **argv)
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
144 {
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
145 if (argc > 1)
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
146 {
1572
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
147 int max_len = 0;
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
148 for (int i = 1; i < argc; i++)
1572
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
149 {
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
150 int tmp_len = strlen (argv[i]);
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
151 if (tmp_len > max_len)
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
152 max_len = tmp_len;
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
153 }
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
154
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
155 octave_argv.resize (argc-1, max_len, 0);
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
156
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
157 for (int i = 1; i < argc; i++)
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
158 octave_argv.insert (argv[i], i-1, 0);
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
159
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
160 bind_builtin_variable ("argv", octave_argv, 1, 1, 0);
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
161 }
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
162 }
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
163
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
164 // Initialize some global variables for later use.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
165
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
166 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
167 initialize_globals (char *name)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
168 {
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
169 raw_prog_name = strsave (name);
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
170 char *tmp = strrchr (raw_prog_name, '/');
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
171 prog_name = tmp ? strsave (tmp+1) : strsave (raw_prog_name);
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
172
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
173 kpse_set_progname (name);
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
174
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
175 struct passwd *entry = getpwuid (getuid ());
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
176 if (entry)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
177 user_name = strsave (entry->pw_name);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
178 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
179 user_name = strsave ("I have no name!");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
180 endpwent ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
181
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
182 char hostname[256];
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
183 if (gethostname (hostname, 255) < 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
184 host_name = strsave ("I have no host!");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
185 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
186 host_name = strsave (hostname);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
187
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
188 char *hd = getenv ("HOME");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
189 if (hd)
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
190 home_directory = strsave (hd);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
191 else
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
192 home_directory = strsave ("I have no home!");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
193
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
194 // This may seem odd, but doing it this way means that we don't have
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
195 // to modify the kpathsea library...
1153
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
196
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
197 char *odb = getenv ("OCTAVE_DB_DIR");
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
198
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
199 if (odb)
1711
4d552a89ceaa [project @ 1996-01-08 01:12:38 by jwe]
jwe
parents: 1704
diff changeset
200 oct_putenv ("TEXMF", odb);
1153
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
201 else
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
202 {
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
203 char *oh = getenv ("OCTAVE_HOME");
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
204
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
205 if (oh)
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
206 {
1711
4d552a89ceaa [project @ 1996-01-08 01:12:38 by jwe]
jwe
parents: 1704
diff changeset
207 int len = strlen (oh) + 12;
4d552a89ceaa [project @ 1996-01-08 01:12:38 by jwe]
jwe
parents: 1704
diff changeset
208 char *putenv_val = new char [len];
4d552a89ceaa [project @ 1996-01-08 01:12:38 by jwe]
jwe
parents: 1704
diff changeset
209 sprintf (putenv_val, "%s/lib/octave", oh);
4d552a89ceaa [project @ 1996-01-08 01:12:38 by jwe]
jwe
parents: 1704
diff changeset
210 oct_putenv ("TEXMF", putenv_val);
1153
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
211 }
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
212 else
1711
4d552a89ceaa [project @ 1996-01-08 01:12:38 by jwe]
jwe
parents: 1704
diff changeset
213 oct_putenv ("TEXMF", OCTAVE_DATADIR "/octave");
1153
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
214 }
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
215
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
216 exec_path = default_exec_path ();
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
217
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
218 load_path = default_path ();
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
219
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
220 info_file = default_info_file ();
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
221
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
222 info_prog = default_info_prog ();
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
223
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
224 editor = default_editor ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
225 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
226
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
227 // Initialize by reading startup files.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
228
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
229 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
230 execute_startup_files (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
231 {
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
232 begin_unwind_frame ("execute_startup_files");
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
233
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
234 // XXX FIXME XXX -- need to make it possible to set this in startup
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
235 // files.
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
236
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
237 unwind_protect_int (input_from_startup_file);
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
238 unwind_protect_int (user_pref.echo_executing_commands);
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
239
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
240 input_from_startup_file = 1;
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
241 user_pref.echo_executing_commands = ECHO_OFF;
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
242
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
243 int verbose = (verbose_flag && ! inhibit_startup_message);
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
244
1477
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
245 // Execute commands from the site-wide configuration file. First
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
246 // from the file $(prefix)/lib/octave/site/m/octaverc (if it exists),
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
247 // then from the file $(prefix)/lib/octave/$(version)/m/octaverc (if
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
248 // it exists).
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
249
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
250 char *lsd = get_local_site_defaults ();
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
251 parse_and_execute (lsd, 0, verbose);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
252
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
253 char *sd = get_site_defaults ();
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
254 parse_and_execute (sd, 0, verbose);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
255
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
256 // Try to execute commands from $HOME/.octaverc and ./.octaverc.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
257
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
258 char *home_rc = 0;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
259 if (home_directory)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
260 {
85
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
261 home_rc = strconcat (home_directory, "/.octaverc");
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
262 parse_and_execute (home_rc, 0, verbose);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
263 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
264
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
265 // Names alone are not enough.
85
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
266
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
267 struct stat home_rc_statbuf;
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
268 stat (home_rc, &home_rc_statbuf);
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
269 delete [] home_rc;
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
270
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
271 struct stat dot_rc_statbuf;
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
272 stat ("./.octaverc", &dot_rc_statbuf);
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
273
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
274 if (home_rc_statbuf.st_ino != dot_rc_statbuf.st_ino)
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
275 parse_and_execute ("./.octaverc", 0, verbose);
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
276
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
277 run_unwind_frame ("execute_startup_files");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
278 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
279
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
280 // Usage message with extra help.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
281
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
282 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
283 verbose_usage (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
284 {
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
285 cout << "\n" OCTAVE_NAME_VERSION_AND_COPYRIGHT "\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
286 \n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
287 Usage: octave [options]\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
288 \n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
289 Options:\n\
1119
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
290 \n\
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
291 -d, --debug Enter parser debugging mode.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
292 -x, --echo-commands Echo commands as they are executed.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
293 --exec-path PATH Set path for executing subprograms.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
294 -h, -?, --help Print short help message and exit.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
295 -f, --ignore-init-file Don't read any initialization files.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
296 --info-file FILE Use top-level info file FILE.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
297 --info-program PROGRAM Use PROGRAM for reading info files.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
298 -i, --interactive Force interactive behavior.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
299 -p PATH, --path PATH Set initial LOADPATH to PATH.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
300 -q, --silent Don't print message at startup.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
301 --traditional Set compatibility variables.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
302 -V, --verbose Enable verbose output in some cases.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
303 -v, --version Print version number and exit.\n\
1119
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
304 \n\
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
305 FILE Execute commands from FILE.\n\
1119
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
306 \n";
285
79a1403b8b6e [project @ 1994-01-11 05:56:55 by jwe]
jwe
parents: 284
diff changeset
307
613
1ef6a5be15fe [project @ 1994-08-14 21:18:52 by jwe]
jwe
parents: 612
diff changeset
308 exit (0);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
309 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
310
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
311 // Terse usage messsage.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
312
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
313 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
314 usage (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
315 {
613
1ef6a5be15fe [project @ 1994-08-14 21:18:52 by jwe]
jwe
parents: 612
diff changeset
316 cerr << "usage: " << usage_string << "\n";
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
317 exit (1);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
318 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
319
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
320 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
321 print_version_and_exit (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
322 {
1107
69fa46755c57 [project @ 1995-02-14 22:54:23 by jwe]
jwe
parents: 1106
diff changeset
323 cout << OCTAVE_NAME_AND_VERSION << "\n";
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
324 exit (0);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
325 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
326
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
327 static void
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
328 initialize_error_handlers ()
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
329 {
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
330 set_liboctave_error_handler (error);
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
331 }
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
332
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
333 // What happens on --traditional.
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
334
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
335 static void
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
336 maximum_braindamage (void)
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
337 {
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
338 bind_builtin_variable ("PS1", ">> ");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
339 bind_builtin_variable ("PS2", "");
1423
2d88758ed94b [project @ 1995-09-18 16:04:37 by jwe]
jwe
parents: 1411
diff changeset
340 bind_builtin_variable ("beep_on_error", "true");
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
341 bind_builtin_variable ("default_save_format", "mat-binary");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
342 bind_builtin_variable ("define_all_return_values", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
343 bind_builtin_variable ("do_fortran_indexing", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
344 bind_builtin_variable ("empty_list_elements_ok", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
345 bind_builtin_variable ("implicit_str_to_num_ok", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
346 bind_builtin_variable ("ok_to_lose_imaginary_part", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
347 bind_builtin_variable ("page_screen_output", "false");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
348 bind_builtin_variable ("prefer_column_vectors", "false");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
349 bind_builtin_variable ("prefer_zero_one_indexing", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
350 bind_builtin_variable ("print_empty_dimensions", "false");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
351 bind_builtin_variable ("treat_neg_dim_as_zero", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
352 bind_builtin_variable ("warn_function_name_clash", "false");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
353 bind_builtin_variable ("whitespace_in_literal_matrix", "traditional");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
354 }
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
355
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
356 // You guessed it.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
357
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
358 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
359 main (int argc, char **argv)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
360 {
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
361 int echo_commands = ECHO_OFF;
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
362
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
363 // The order of these calls is important, and initialize_globals
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
364 // must come before the options are processed because some command
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
365 // line options override defaults.
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
366
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
367 init_user_prefs ();
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
368
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
369 initialize_pager ();
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
370
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
371 sysdep_init ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
372
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
373 initialize_error_handlers ();
223
82c050e70f7a [project @ 1993-11-14 10:58:11 by jwe]
jwe
parents: 206
diff changeset
374
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
375 initialize_globals (argv[0]);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
376
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
377 int optc;
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
378 while ((optc = getopt_long (argc, argv, short_opts, long_opts, 0)) != EOF)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
379 {
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
380 switch (optc)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
381 {
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
382 case 'V':
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
383 verbose_flag++;
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
384 break;
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
385
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
386 case 'd':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
387 yydebug++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
388 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
389
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
390 case 'f':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
391 read_init_files = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
392 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
393
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
394 case 'h':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
395 case '?':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
396 verbose_usage ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
397 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
398
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
399 case 'i':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
400 forced_interactive = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
401 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
402
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
403 case 'p':
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
404 if (optarg)
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
405 load_path = strsave (optarg);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
406 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
407
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
408 case 'q':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
409 inhibit_startup_message = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
410 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
411
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
412 case 'x':
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
413 echo_commands = (ECHO_SCRIPTS | ECHO_FUNCTIONS | ECHO_CMD_LINE);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
414 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
415
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
416 case 'v':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
417 print_version_and_exit ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
418 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
419
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
420 case EXEC_PATH_OPTION:
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
421 if (optarg)
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
422 exec_path = strsave (optarg);
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
423 break;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
424
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
425 case INFO_FILE_OPTION:
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
426 if (optarg)
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
427 info_file = strsave (optarg);
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
428 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
429
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
430 case INFO_PROG_OPTION:
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
431 if (optarg)
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
432 info_prog = strsave (optarg);
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
433 break;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
434
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
435 case TRADITIONAL_OPTION:
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
436 traditional = 1;
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
437 break;
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
438
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
439 default:
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
440 usage ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
441 break;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
442 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
443 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
444
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
445 #if defined (HAVE_ATEXIT) || defined (HAVE_ON_EXIT)
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
446 // Make sure we clean up when we exit. If we don't have atexit or
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
447 // on_exit, we're going to leave some junk files around if we exit
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
448 // abnormally.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
449 atexit (cleanup_tmp_files);
318
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
450 #endif
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
451
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
452 // These can come after command line args since none of them set any
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
453 // defaults that might be changed by command line options.
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
454
636
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
455 install_signal_handlers ();
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
456
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
457 initialize_file_io ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
458
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
459 initialize_symbol_tables ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
460
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
461 install_builtins ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
462
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
463 initialize_readline ();
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
464
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
465 init_dynamic_linker ();
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
466
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
467 if (! inhibit_startup_message)
1106
676db72ec37c [project @ 1995-02-14 22:48:07 by jwe]
jwe
parents: 1104
diff changeset
468 cout << OCTAVE_STARTUP_MESSAGE "\n" << endl;
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
469
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
470 if (traditional)
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
471 maximum_braindamage ();
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
472
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
473 bind_builtin_variable ("echo_executing_commands",
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
474 (double) echo_commands);
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
475
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
476 if (read_init_files)
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
477 execute_startup_files ();
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
478
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
479 initialize_history ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
480
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
481 if (! inhibit_startup_message && reading_startup_message_printed)
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
482 cout << endl;
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
483
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
484 // Avoid counting commands executed from startup files.
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
485
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
486 current_command_number = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
487
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
488 // If there is an extra argument, see if it names a file to read.
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
489 // Additional arguments are taken as command line options for the
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
490 // script.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
491
149
471912bc76c4 [project @ 1993-10-05 19:11:06 by jwe]
jwe
parents: 143
diff changeset
492 int remaining_args = argc - optind;
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
493 if (remaining_args > 0)
149
471912bc76c4 [project @ 1993-10-05 19:11:06 by jwe]
jwe
parents: 143
diff changeset
494 {
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 949
diff changeset
495 reading_script_file = 1;
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 949
diff changeset
496 curr_fcn_file_name = argv[optind];
1608
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
497 curr_fcn_file_full_name = curr_fcn_file_name;
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
498
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 949
diff changeset
499 FILE *infile = get_input_from_file (curr_fcn_file_name);
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
500
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
501 if (infile)
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
502 {
1516
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
503 input_from_command_line_file = 1;
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
504
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
505 bind_builtin_variable ("program_invocation_name",
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
506 curr_fcn_file_name);
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
507
1608
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
508 const char *tmp = strrchr (curr_fcn_file_name, '/');
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
509 tmp = tmp ? tmp+1 : curr_fcn_file_name;
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
510
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
511 bind_builtin_variable ("program_name", tmp);
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
512
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
513 intern_argv (remaining_args, argv+optind);
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
514
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
515 rl_blink_matching_paren = 0;
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
516 switch_to_buffer (create_buffer (infile));
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
517 }
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
518 else
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
519 clean_up_and_exit (1);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
520 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
521 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
522 {
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
523 // Is input coming from a terminal? If so, we are probably
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
524 // interactive.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
525
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
526 interactive = (isatty (fileno (stdin)) && isatty (fileno (stdout)));
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
527
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
528 intern_argv (argc, argv);
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
529
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
530 switch_to_buffer (create_buffer (get_input_from_stdin ()));
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
531 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
532
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
533 // Force input to be echoed if not really interactive, but the user
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
534 // has forced interactive behavior.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
535
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
536 if (!interactive && forced_interactive)
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
537 {
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
538 rl_blink_matching_paren = 0;
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
539
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
540 // XXX FIXME XXX -- is this the right thing to do?
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
541
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
542 bind_builtin_variable ("echo_executing_commands",
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
543 (double) ECHO_CMD_LINE);
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
544 }
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
545
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
546 if (! interactive)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
547 using_readline = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
548
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
549 // Allow the user to interrupt us without exiting.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
550
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
551 if (setjmp (toplevel) != 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
552 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
553 raw_mode (0);
176
86fe57141743 [project @ 1993-10-22 19:04:09 by jwe]
jwe
parents: 167
diff changeset
554
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
555 cout << "\n";
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
556 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
557
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
558 can_interrupt = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
559
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
560 catch_interrupts ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
561
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
562 // The big loop.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
563
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
564 int retval;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
565 do
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
566 {
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
567 curr_sym_tab = top_level_sym_tab;
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
568
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
569 reset_parser ();
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
570
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
571 retval = yyparse ();
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
572
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
573 if (retval == 0 && global_command)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
574 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
575 global_command->eval (1);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
576 delete global_command;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
577 current_command_number++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
578 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
579 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
580 while (retval == 0);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
581
1005
46a2983cb297 [project @ 1995-01-03 02:08:32 by jwe]
jwe
parents: 984
diff changeset
582 if (retval == 1 && ! error_state)
46a2983cb297 [project @ 1995-01-03 02:08:32 by jwe]
jwe
parents: 984
diff changeset
583 retval = 0;
46a2983cb297 [project @ 1995-01-03 02:08:32 by jwe]
jwe
parents: 984
diff changeset
584
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
585 clean_up_and_exit (retval);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
586 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
587
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
588 /*
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
589 ;;; Local Variables: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
590 ;;; mode: C++ ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
591 ;;; page-delimiter: "^/\\*" ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
592 ;;; End: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
593 */