annotate src/octave.cc @ 3014:38de16594cb4

[project @ 1997-06-02 20:28:09 by jwe]
author jwe
date Mon, 02 Jun 1997 20:35:37 +0000
parents 91589ab98e37
children 92aa3d651723
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 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
2
2847
8b262e771614 [project @ 1997-03-27 16:18:26 by jwe]
jwe
parents: 2830
diff changeset
3 Copyright (C) 1996, 1997 John W. Eaton
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
4
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
5 This file is part of Octave.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
6
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
7 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
8 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
9 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
10 later version.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
11
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
12 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
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
14 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
15 for more details.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
16
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
17 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
18 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
19 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
20
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 // Born February 20, 1992.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
24
240
a99f28f5e351 [project @ 1993-11-30 20:24:36 by jwe]
jwe
parents: 223
diff changeset
25 #ifdef HAVE_CONFIG_H
1192
b6360f2d4fa6 [project @ 1995-03-30 21:38:35 by jwe]
jwe
parents: 1153
diff changeset
26 #include <config.h>
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
27 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
28
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
29 #include <cassert>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
30 #include <csignal>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
31 #include <cstdlib>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
32 #include <cstring>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
33 #include <ctime>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
34
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
35 #include <fstream.h>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
36 #include <iostream.h>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
37 #include <strstream.h>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
38
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
39 #ifdef HAVE_UNISTD_H
2442
f667d7ec08b9 [project @ 1996-10-30 18:46:22 by jwe]
jwe
parents: 2404
diff changeset
40 #ifdef HAVE_SYS_TYPES_H
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
41 #include <sys/types.h>
2442
f667d7ec08b9 [project @ 1996-10-30 18:46:22 by jwe]
jwe
parents: 2404
diff changeset
42 #endif
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
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
46 #include "cmd-edit.h"
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
47 #include "file-stat.h"
240
a99f28f5e351 [project @ 1993-11-30 20:24:36 by jwe]
jwe
parents: 223
diff changeset
48 #include "lo-error.h"
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
49 #include "oct-env.h"
1907
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
50 #include "str-vec.h"
223
82c050e70f7a [project @ 1993-11-14 10:58:11 by jwe]
jwe
parents: 206
diff changeset
51
2492
06595bc7f2d0 [project @ 1996-11-09 00:13:50 by jwe]
jwe
parents: 2470
diff changeset
52 #include <defaults.h>
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
53 #include "defun.h"
703
21cc5b9b9ed6 [project @ 1994-09-15 02:39:57 by jwe]
jwe
parents: 686
diff changeset
54 #include "dynamic-ld.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
55 #include "error.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
56 #include "file-io.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
57 #include "input.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
58 #include "lex.h"
1742
a02f140ed897 [project @ 1996-01-12 11:09:39 by jwe]
jwe
parents: 1711
diff changeset
59 #include "oct-hist.h"
2375
7ef24992e290 [project @ 1996-10-12 00:39:52 by jwe]
jwe
parents: 2277
diff changeset
60 #include "ops.h"
1670
6708c53892c1 [project @ 1995-12-27 04:33:00 by jwe]
jwe
parents: 1669
diff changeset
61 #include "toplev.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
62 #include "parse.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
63 #include "pathsearch.h"
2982
20f5cec4f11c [project @ 1997-05-16 03:29:26 by jwe]
jwe
parents: 2926
diff changeset
64 #include "pt-plot.h"
562
50bf8d1b024e [project @ 1994-07-25 23:19:11 by jwe]
jwe
parents: 560
diff changeset
65 #include "procstream.h"
1817
13c1e0718d68 [project @ 1996-01-29 21:12:36 by jwe]
jwe
parents: 1799
diff changeset
66 #include "prog-args.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 "sysdep.h"
2375
7ef24992e290 [project @ 1996-10-12 00:39:52 by jwe]
jwe
parents: 2277
diff changeset
69 #include "ov.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
70 #include "unwind-prot.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
71 #include "utils.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
72 #include "variables.h"
2492
06595bc7f2d0 [project @ 1996-11-09 00:13:50 by jwe]
jwe
parents: 2470
diff changeset
73 #include <version.h>
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
74
2910
1da1af95082e [project @ 1997-04-30 06:42:17 by jwe]
jwe
parents: 2897
diff changeset
75 extern void install_builtins (void);
1da1af95082e [project @ 1997-04-30 06:42:17 by jwe]
jwe
parents: 2897
diff changeset
76
1704
bcb2a18534a8 [project @ 1996-01-07 05:22:21 by jwe]
jwe
parents: 1689
diff changeset
77 #if !defined (HAVE_ATEXIT) && defined (HAVE_ON_EXIT)
bcb2a18534a8 [project @ 1996-01-07 05:22:21 by jwe]
jwe
parents: 1689
diff changeset
78 extern "C" int on_exit ();
bcb2a18534a8 [project @ 1996-01-07 05:22:21 by jwe]
jwe
parents: 1689
diff changeset
79 #define atexit on_exit
bcb2a18534a8 [project @ 1996-01-07 05:22:21 by jwe]
jwe
parents: 1689
diff changeset
80 #endif
bcb2a18534a8 [project @ 1996-01-07 05:22:21 by jwe]
jwe
parents: 1689
diff changeset
81
1792
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
82 // Don't redefine the variables if glibc already has.
2775
c80d72d52385 [project @ 1997-03-01 07:37:31 by jwe]
jwe
parents: 2658
diff changeset
83 #if defined (HAVE_PROGRAM_INVOCATION_NAME) || defined (WITH_KPATHSEARCH)
2470
1e673f0648b5 [project @ 1996-11-05 21:46:06 by jwe]
jwe
parents: 2445
diff changeset
84 extern char *program_invocation_name;
1e673f0648b5 [project @ 1996-11-05 21:46:06 by jwe]
jwe
parents: 2445
diff changeset
85 extern char *program_invocation_short_name;
1e673f0648b5 [project @ 1996-11-05 21:46:06 by jwe]
jwe
parents: 2445
diff changeset
86 #else
1792
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
87 char *program_invocation_name;
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
88 char *program_invocation_short_name;
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
89 #endif
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
90
1907
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
91 // The command-line options.
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
92 static string_vector octave_argv;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
93
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
94 // TRUE means we read ~/.octaverc and ./.octaverc.
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
95 // (--norc; --no-init-file; -f)
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
96 static bool read_init_files = true;
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
97
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
98 // TRUE means we read the site-wide octaverc files.
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
99 // (--norc; --no-site-file; -f)
2240
e759180dd7db [project @ 1996-05-22 02:42:17 by jwe]
jwe
parents: 2239
diff changeset
100 static bool read_site_files = true;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
101
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
102 // 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
103 // (--quiet; --silent; -q)
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
104 static bool inhibit_startup_message = false;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
105
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
106 // Nonzero means we turn on compatibility options.
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
107 // (--traditional)
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
108 static bool traditional = false;
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
109
1825
8219d9b7cb73 [project @ 1996-02-02 01:00:57 by jwe]
jwe
parents: 1821
diff changeset
110 // If nonzero, print verbose info in some cases.
8219d9b7cb73 [project @ 1996-02-02 01:00:57 by jwe]
jwe
parents: 1821
diff changeset
111 // (--verbose; -V)
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
112 static bool verbose_flag = false;
1825
8219d9b7cb73 [project @ 1996-02-02 01:00:57 by jwe]
jwe
parents: 1821
diff changeset
113
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
114 // Usage message
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
115 static const char *usage_string =
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
116 "octave [-?Vdfhiqvx] [--debug] [--echo-commands] [--exec-path path]\n\
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
117 [--help] [--info-file file] [--info-program prog] [--interactive]\n\
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
118 [--no-init-file] [--no-line-editing] [--no-site-file] [-p path]\n\
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
119 [--path path] [--silent] [--traditional] [--verbose] [--version] [file]";
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
120
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
121 // 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
122 // 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
123 // to prevent getopt from permuting arguments!
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
124 static const char *short_opts = "+?Vdfhip:qvx";
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
125
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
126 // 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
127 // fields in this structure.
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
128 #define EXEC_PATH_OPTION 1
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
129 #define INFO_FILE_OPTION 2
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
130 #define INFO_PROG_OPTION 3
2240
e759180dd7db [project @ 1996-05-22 02:42:17 by jwe]
jwe
parents: 2239
diff changeset
131 #define NO_INIT_FILE_OPTION 4
e759180dd7db [project @ 1996-05-22 02:42:17 by jwe]
jwe
parents: 2239
diff changeset
132 #define NO_LINE_EDITING_OPTION 5
e759180dd7db [project @ 1996-05-22 02:42:17 by jwe]
jwe
parents: 2239
diff changeset
133 #define NO_SITE_FILE_OPTION 6
e759180dd7db [project @ 1996-05-22 02:42:17 by jwe]
jwe
parents: 2239
diff changeset
134 #define TRADITIONAL_OPTION 7
1817
13c1e0718d68 [project @ 1996-01-29 21:12:36 by jwe]
jwe
parents: 1799
diff changeset
135 long_options long_opts[] =
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
136 {
1855
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
137 { "debug", prog_args::no_arg, 0, 'd' },
2277
778a9a837952 [project @ 1996-05-24 05:57:09 by jwe]
jwe
parents: 2240
diff changeset
138 { "braindead", prog_args::no_arg, 0, TRADITIONAL_OPTION },
1855
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
139 { "echo-commands", prog_args::no_arg, 0, 'x' },
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
140 { "exec-path", prog_args::required_arg, 0, EXEC_PATH_OPTION },
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
141 { "help", prog_args::no_arg, 0, 'h' },
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
142 { "info-file", prog_args::required_arg, 0, INFO_FILE_OPTION },
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
143 { "info-program", prog_args::required_arg, 0, INFO_PROG_OPTION },
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
144 { "interactive", prog_args::no_arg, 0, 'i' },
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
145 { "no-init-file", prog_args::no_arg, 0, NO_INIT_FILE_OPTION },
1855
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
146 { "no-line-editing", prog_args::no_arg, 0, NO_LINE_EDITING_OPTION },
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
147 { "no-site-file", prog_args::no_arg, 0, NO_SITE_FILE_OPTION },
1855
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
148 { "norc", prog_args::no_arg, 0, 'f' },
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
149 { "path", prog_args::required_arg, 0, 'p' },
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
150 { "quiet", prog_args::no_arg, 0, 'q' },
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
151 { "silent", prog_args::no_arg, 0, 'q' },
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
152 { "traditional", prog_args::no_arg, 0, TRADITIONAL_OPTION },
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
153 { "verbose", prog_args::no_arg, 0, 'V' },
cdc5b74cc261 [project @ 1996-02-03 14:48:32 by jwe]
jwe
parents: 1825
diff changeset
154 { "version", prog_args::no_arg, 0, 'v' },
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
155 { 0, 0, 0, 0 }
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
156 };
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
157
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
158 // Store the command-line options for later use.
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
159
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
160 static void
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
161 intern_argv (int argc, char **argv)
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
162 {
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
163 octave_env::set_program_name (argv[0]);
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
164
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
165 // XXX FIXME XXX -- Kpathsea needs this.
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
166
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
167 #if ! defined (HAVE_PROGRAM_INVOCATION_NAME)
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
168 program_invocation_name
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
169 = strsave (octave_env::get_program_invocation_name () . c_str ());
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
170
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
171 program_invocation_short_name
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
172 = strsave (octave_env::get_program_name () . c_str ());
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
173 #endif
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
174
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
175 if (argc > 1)
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
176 {
2495
29cd3862a9dc [project @ 1996-11-11 02:39:49 by jwe]
jwe
parents: 2492
diff changeset
177 // Skip program name in argv.
1572
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
178
2495
29cd3862a9dc [project @ 1996-11-11 02:39:49 by jwe]
jwe
parents: 2492
diff changeset
179 octave_argv = string_vector (argv+1, argc-1);
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
180
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
181 bind_builtin_variable ("argv", octave_argv, 1, 1, 0);
2404
68c5868dbe83 [project @ 1996-10-13 18:39:19 by jwe]
jwe
parents: 2402
diff changeset
182 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
183 }
1907
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
184
2800
9aeba8e006a4 [project @ 1997-03-09 09:50:20 by jwe]
jwe
parents: 2775
diff changeset
185 bind_builtin_variable ("nargin", static_cast<double> (argc-1), 1, 1, 0);
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
186 }
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
187
1792
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
188 static void
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
189 initialize_pathsearch (void)
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
190 {
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
191 // This may seem odd, but doing it this way means that we don't have
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
192 // to modify the kpathsea library...
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
193
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
194 string odb = octave_env::getenv ("OCTAVE_DB_DIR");
1792
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
195
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
196 if (odb.empty ())
1792
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
197 {
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
198 string oh = octave_env::getenv ("OCTAVE_HOME");
1792
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
199
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
200 if (oh.empty ())
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
201 octave_env::putenv ("TEXMF", OCTAVE_DATADIR "/octave");
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
202 else
1792
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
203 {
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
204 oh.append ("/lib/octave");
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
205 octave_env::putenv ("TEXMF", oh);
1792
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
206 }
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
207 }
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
208 else
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
209 octave_env::putenv ("TEXMF", odb);
1792
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
210 }
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
211
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
212 // Initialize by reading startup files.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
213
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
214 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
215 execute_startup_files (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
216 {
2985
aa9d0c0e0458 [project @ 1997-05-16 06:54:18 by jwe]
jwe
parents: 2982
diff changeset
217 unwind_protect::begin_frame ("execute_startup_files");
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
218
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
219 // 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
220 // files.
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
221
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
222 unwind_protect_int (input_from_startup_file);
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
223
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
224 input_from_startup_file = 1;
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
225
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
226 int verbose = (verbose_flag && ! inhibit_startup_message);
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
227
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
228 if (read_site_files)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
229 {
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
230 // Execute commands from the site-wide configuration file.
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
231 // First from the file $(prefix)/lib/octave/site/m/octaverc
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
232 // (if it exists), then from the file
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
233 // $(prefix)/lib/octave/$(version)/m/octaverc (if it exists).
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1744
diff changeset
234
2897
64ff56723e75 [project @ 1997-04-28 20:38:58 by jwe]
jwe
parents: 2862
diff changeset
235 parse_and_execute (Vlocal_site_defaults_file, verbose);
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1744
diff changeset
236
2897
64ff56723e75 [project @ 1997-04-28 20:38:58 by jwe]
jwe
parents: 2862
diff changeset
237 parse_and_execute (Vsite_defaults_file, verbose);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
238 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
239
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
240 if (read_init_files)
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
241 {
2512
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2495
diff changeset
242 // Try to execute commands from $HOME/$OCTAVE_INITFILE and
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2495
diff changeset
243 // $OCTAVE_INITFILE. If $OCTAVE_INITFILE is not set, .octaverc
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2495
diff changeset
244 // is assumed.
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
245
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
246 int home_rc_already_executed = 0;
2512
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2495
diff changeset
247
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
248 string initfile = octave_env::getenv ("OCTAVE_INITFILE");
2512
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2495
diff changeset
249
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
250 if (initfile.empty ())
2512
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2495
diff changeset
251 initfile = ".octaverc";
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2495
diff changeset
252
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
253 string home_dir = octave_env::get_home_directory ();
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
254
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
255 string home_rc = home_dir + "/" + initfile;
2512
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2495
diff changeset
256 string local_rc = string ("./") + initfile;
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
257
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
258 if (! home_dir.empty ())
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
259 {
2897
64ff56723e75 [project @ 1997-04-28 20:38:58 by jwe]
jwe
parents: 2862
diff changeset
260 parse_and_execute (home_rc, verbose);
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
261
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
262 // Names alone are not enough.
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
263
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
264 file_stat fs_home_rc (home_rc);
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
265
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
266 if (fs_home_rc)
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
267 {
2512
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2495
diff changeset
268 file_stat fs_dot_rc (local_rc);
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
269
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
270 if (fs_dot_rc && fs_home_rc.ino () == fs_dot_rc.ino ())
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
271 home_rc_already_executed = 1;
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
272 }
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
273 }
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
274
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
275 if (! home_rc_already_executed)
2897
64ff56723e75 [project @ 1997-04-28 20:38:58 by jwe]
jwe
parents: 2862
diff changeset
276 parse_and_execute (local_rc, verbose);
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
277 }
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
278
2985
aa9d0c0e0458 [project @ 1997-05-16 06:54:18 by jwe]
jwe
parents: 2982
diff changeset
279 unwind_protect::run_frame ("execute_startup_files");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
280 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
281
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
282 // Usage message with extra help.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
283
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
284 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
285 verbose_usage (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
286 {
2375
7ef24992e290 [project @ 1996-10-12 00:39:52 by jwe]
jwe
parents: 2277
diff changeset
287 cout << OCTAVE_NAME_VERSION_AND_COPYRIGHT "\n\
1613
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 Usage: octave [options]\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
290 \n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
291 Options:\n\
1119
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
292 \n\
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
293 -d, --debug Enter parser debugging mode.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
294 -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
295 --exec-path PATH Set path for executing subprograms.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
296 -h, -?, --help Print short help message and exit.\n\
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
297 -f, --norc Don't read any initialization files.\n\
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
298 --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
299 --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
300 -i, --interactive Force interactive behavior.\n\
2470
1e673f0648b5 [project @ 1996-11-05 21:46:06 by jwe]
jwe
parents: 2445
diff changeset
301 --no-init-file Don't read the ~/.octaverc or .octaverc files.\n\
2212
fa855f4aae30 [project @ 1996-05-15 15:43:03 by jwe]
jwe
parents: 2205
diff changeset
302 --no-line-editing Don't use readline for command-line editing.\n\
2470
1e673f0648b5 [project @ 1996-11-05 21:46:06 by jwe]
jwe
parents: 2445
diff changeset
303 --no-site-file Don't read the site-wide octaverc file.\n\
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
304 -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
305 -q, --silent Don't print message at startup.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
306 --traditional Set compatibility variables.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
307 -V, --verbose Enable verbose output in some cases.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
308 -v, --version Print version number and exit.\n\
1119
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
309 \n\
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
310 FILE Execute commands from FILE.\n\
2375
7ef24992e290 [project @ 1996-10-12 00:39:52 by jwe]
jwe
parents: 2277
diff changeset
311 \n\
7ef24992e290 [project @ 1996-10-12 00:39:52 by jwe]
jwe
parents: 2277
diff changeset
312 Additional information about Octave is available via the WWW at\n\
7ef24992e290 [project @ 1996-10-12 00:39:52 by jwe]
jwe
parents: 2277
diff changeset
313 http://www.che.wisc.edu/octave.\n\
7ef24992e290 [project @ 1996-10-12 00:39:52 by jwe]
jwe
parents: 2277
diff changeset
314 \n\
7ef24992e290 [project @ 1996-10-12 00:39:52 by jwe]
jwe
parents: 2277
diff changeset
315 Please report bugs to the mailing list `bug-octave@bevo.che.wisc.edu'.\n";
285
79a1403b8b6e [project @ 1994-01-11 05:56:55 by jwe]
jwe
parents: 284
diff changeset
316
613
1ef6a5be15fe [project @ 1994-08-14 21:18:52 by jwe]
jwe
parents: 612
diff changeset
317 exit (0);
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
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
320 // Terse usage messsage.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
321
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
322 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
323 usage (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
324 {
613
1ef6a5be15fe [project @ 1994-08-14 21:18:52 by jwe]
jwe
parents: 612
diff changeset
325 cerr << "usage: " << usage_string << "\n";
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
326 exit (1);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
327 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
328
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
329 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
330 print_version_and_exit (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
331 {
1107
69fa46755c57 [project @ 1995-02-14 22:54:23 by jwe]
jwe
parents: 1106
diff changeset
332 cout << OCTAVE_NAME_AND_VERSION << "\n";
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
333 exit (0);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
334 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
335
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
336 static void
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
337 initialize_error_handlers ()
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
338 {
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
339 set_liboctave_error_handler (error);
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
340 }
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
341
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
342 // What happens on --traditional.
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
343
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
344 static void
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
345 maximum_braindamage (void)
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
346 {
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
347 bind_builtin_variable ("PS1", ">> ");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
348 bind_builtin_variable ("PS2", "");
2402
690435f72e58 [project @ 1996-10-13 16:23:27 by jwe]
jwe
parents: 2375
diff changeset
349 bind_builtin_variable ("beep_on_error", 1.0);
2993
91589ab98e37 [project @ 1997-05-21 21:44:54 by jwe]
jwe
parents: 2985
diff changeset
350 bind_builtin_variable ("default_eval_print_flag", 0.0);
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
351 bind_builtin_variable ("default_save_format", "mat-binary");
2402
690435f72e58 [project @ 1996-10-13 16:23:27 by jwe]
jwe
parents: 2375
diff changeset
352 bind_builtin_variable ("define_all_return_values", 1.0);
690435f72e58 [project @ 1996-10-13 16:23:27 by jwe]
jwe
parents: 2375
diff changeset
353 bind_builtin_variable ("do_fortran_indexing", 1.0);
690435f72e58 [project @ 1996-10-13 16:23:27 by jwe]
jwe
parents: 2375
diff changeset
354 bind_builtin_variable ("empty_list_elements_ok", 1.0);
690435f72e58 [project @ 1996-10-13 16:23:27 by jwe]
jwe
parents: 2375
diff changeset
355 bind_builtin_variable ("implicit_str_to_num_ok", 1.0);
690435f72e58 [project @ 1996-10-13 16:23:27 by jwe]
jwe
parents: 2375
diff changeset
356 bind_builtin_variable ("ok_to_lose_imaginary_part", 1.0);
690435f72e58 [project @ 1996-10-13 16:23:27 by jwe]
jwe
parents: 2375
diff changeset
357 bind_builtin_variable ("page_screen_output", 0.0);
690435f72e58 [project @ 1996-10-13 16:23:27 by jwe]
jwe
parents: 2375
diff changeset
358 bind_builtin_variable ("prefer_column_vectors", 0.0);
690435f72e58 [project @ 1996-10-13 16:23:27 by jwe]
jwe
parents: 2375
diff changeset
359 bind_builtin_variable ("print_empty_dimensions", 0.0);
690435f72e58 [project @ 1996-10-13 16:23:27 by jwe]
jwe
parents: 2375
diff changeset
360 bind_builtin_variable ("treat_neg_dim_as_zero", 1.0);
690435f72e58 [project @ 1996-10-13 16:23:27 by jwe]
jwe
parents: 2375
diff changeset
361 bind_builtin_variable ("warn_function_name_clash", 0.0);
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
362 bind_builtin_variable ("whitespace_in_literal_matrix", "traditional");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
363 }
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
364
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
365 // You guessed it.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
366
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
367 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
368 main (int argc, char **argv)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
369 {
2205
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
370 // The order of these calls is important. The call to
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
371 // install_defaults must come before install_builtins because
2205
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
372 // default variable values must be available for the varaibles to be
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
373 // installed, and the call to install_builtins must come before the
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
374 // options are processed because some command line options override
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
375 // defaults by calling bind_builtin_variable.
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
376
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
377 sysdep_init ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
378
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
379 initialize_error_handlers ();
223
82c050e70f7a [project @ 1993-11-14 10:58:11 by jwe]
jwe
parents: 206
diff changeset
380
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
381 install_defaults ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
382
1792
e6d79e281f7d [project @ 1996-01-26 02:33:22 by jwe]
jwe
parents: 1766
diff changeset
383 initialize_pathsearch ();
1744
fc63680a4dc9 [project @ 1996-01-12 12:16:21 by jwe]
jwe
parents: 1742
diff changeset
384
2205
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
385 install_signal_handlers ();
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
386
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
387 initialize_file_io ();
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
388
2375
7ef24992e290 [project @ 1996-10-12 00:39:52 by jwe]
jwe
parents: 2277
diff changeset
389 initialize_symbol_tables ();
7ef24992e290 [project @ 1996-10-12 00:39:52 by jwe]
jwe
parents: 2277
diff changeset
390
7ef24992e290 [project @ 1996-10-12 00:39:52 by jwe]
jwe
parents: 2277
diff changeset
391 install_types ();
7ef24992e290 [project @ 1996-10-12 00:39:52 by jwe]
jwe
parents: 2277
diff changeset
392
7ef24992e290 [project @ 1996-10-12 00:39:52 by jwe]
jwe
parents: 2277
diff changeset
393 install_ops ();
2205
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
394
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
395 install_builtins ();
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
396
1817
13c1e0718d68 [project @ 1996-01-29 21:12:36 by jwe]
jwe
parents: 1799
diff changeset
397 prog_args args (argc, argv, short_opts, long_opts);
13c1e0718d68 [project @ 1996-01-29 21:12:36 by jwe]
jwe
parents: 1799
diff changeset
398
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
399 int optc;
1817
13c1e0718d68 [project @ 1996-01-29 21:12:36 by jwe]
jwe
parents: 1799
diff changeset
400 while ((optc = args.getopt ()) != EOF)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
401 {
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
402 switch (optc)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
403 {
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
404 case 'V':
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
405 verbose_flag = true;
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
406 break;
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
407
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
408 case 'd':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
409 yydebug++;
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 'f':
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
413 read_init_files = false;
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
414 read_site_files = false;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
415 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
416
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
417 case 'h':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
418 case '?':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
419 verbose_usage ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
420 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
421
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
422 case 'i':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
423 forced_interactive = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
424 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
425
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
426 case 'p':
1817
13c1e0718d68 [project @ 1996-01-29 21:12:36 by jwe]
jwe
parents: 1799
diff changeset
427 if (args.optarg ())
2205
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
428 bind_builtin_variable ("LOADPATH", args.optarg ());
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
429 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
430
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
431 case 'q':
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
432 inhibit_startup_message = true;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
433 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
434
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
435 case 'x':
2205
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
436 {
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
437 double tmp = (ECHO_SCRIPTS | ECHO_FUNCTIONS | ECHO_CMD_LINE);
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
438 bind_builtin_variable ("echo_executing_commands", tmp);
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
439 }
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
440 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
441
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
442 case 'v':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
443 print_version_and_exit ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
444 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
445
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
446 case EXEC_PATH_OPTION:
1817
13c1e0718d68 [project @ 1996-01-29 21:12:36 by jwe]
jwe
parents: 1799
diff changeset
447 if (args.optarg ())
2205
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
448 bind_builtin_variable ("EXEC_PATH", args.optarg ());
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
449 break;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
450
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
451 case INFO_FILE_OPTION:
1817
13c1e0718d68 [project @ 1996-01-29 21:12:36 by jwe]
jwe
parents: 1799
diff changeset
452 if (args.optarg ())
2205
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
453 bind_builtin_variable ("INFO_FILE", args.optarg ());
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
454 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
455
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
456 case INFO_PROG_OPTION:
1817
13c1e0718d68 [project @ 1996-01-29 21:12:36 by jwe]
jwe
parents: 1799
diff changeset
457 if (args.optarg ())
2205
bd389b53befa [project @ 1996-05-15 06:15:45 by jwe]
jwe
parents: 2095
diff changeset
458 bind_builtin_variable ("INFO_PROGRAM", args.optarg ());
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
459 break;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
460
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
461 case NO_INIT_FILE_OPTION:
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
462 read_init_files = false;
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
463 break;
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
464
1821
2e77f6543ad6 [project @ 1996-02-01 07:50:18 by jwe]
jwe
parents: 1817
diff changeset
465 case NO_LINE_EDITING_OPTION:
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
466 line_editing = 0;
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
467 break;
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
468
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
469 case NO_SITE_FILE_OPTION:
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
470 read_site_files = 0;
1821
2e77f6543ad6 [project @ 1996-02-01 07:50:18 by jwe]
jwe
parents: 1817
diff changeset
471 break;
2e77f6543ad6 [project @ 1996-02-01 07:50:18 by jwe]
jwe
parents: 1817
diff changeset
472
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
473 case TRADITIONAL_OPTION:
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
474 traditional = true;
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
475 break;
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
476
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
477 default:
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
478 usage ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
479 break;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
480 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
481 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
482
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
483 #if defined (HAVE_ATEXIT) || defined (HAVE_ON_EXIT)
2077
2d03b8eb891d [project @ 1996-04-24 00:21:21 by jwe]
jwe
parents: 1996
diff changeset
484 // Make sure we clean up when we exit. Also allow users to register
2d03b8eb891d [project @ 1996-04-24 00:21:21 by jwe]
jwe
parents: 1996
diff changeset
485 // functions. If we don't have atexit or on_exit, we're going to
2d03b8eb891d [project @ 1996-04-24 00:21:21 by jwe]
jwe
parents: 1996
diff changeset
486 // leave some junk files around if we exit abnormally.
2d03b8eb891d [project @ 1996-04-24 00:21:21 by jwe]
jwe
parents: 1996
diff changeset
487
2d03b8eb891d [project @ 1996-04-24 00:21:21 by jwe]
jwe
parents: 1996
diff changeset
488 atexit (do_octave_atexit);
2d03b8eb891d [project @ 1996-04-24 00:21:21 by jwe]
jwe
parents: 1996
diff changeset
489
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
490 atexit (cleanup_tmp_files);
318
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
491 #endif
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
492
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
493 // 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
494 // 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
495
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
496 initialize_command_input ();
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
497
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
498 if (! inhibit_startup_message)
1106
676db72ec37c [project @ 1995-02-14 22:48:07 by jwe]
jwe
parents: 1104
diff changeset
499 cout << OCTAVE_STARTUP_MESSAGE "\n" << endl;
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
500
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
501 if (traditional)
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
502 maximum_braindamage ();
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
503
2239
4d12b52750cb [project @ 1996-05-22 02:38:16 by jwe]
jwe
parents: 2212
diff changeset
504 execute_startup_files ();
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
505
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
506 command_history::read (false);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
507
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
508 if (! inhibit_startup_message && reading_startup_message_printed)
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
509 cout << endl;
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
510
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
511 // Avoid counting commands executed from startup files.
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
512
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
513 command_editor::reset_current_command_number (1);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
514
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
515 // 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
516 // 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
517 // script.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
518
1817
13c1e0718d68 [project @ 1996-01-29 21:12:36 by jwe]
jwe
parents: 1799
diff changeset
519 int last_arg_idx = args.optind ();
13c1e0718d68 [project @ 1996-01-29 21:12:36 by jwe]
jwe
parents: 1799
diff changeset
520 int remaining_args = argc - last_arg_idx;
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
521 if (remaining_args > 0)
149
471912bc76c4 [project @ 1993-10-05 19:11:06 by jwe]
jwe
parents: 143
diff changeset
522 {
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 949
diff changeset
523 reading_script_file = 1;
1817
13c1e0718d68 [project @ 1996-01-29 21:12:36 by jwe]
jwe
parents: 1799
diff changeset
524 curr_fcn_file_name = argv[last_arg_idx];
1608
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
525 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
526
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 949
diff changeset
527 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
528
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
529 if (infile)
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
530 {
1516
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
531 input_from_command_line_file = 1;
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
532
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
533 bind_builtin_variable ("program_invocation_name",
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
534 curr_fcn_file_name);
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
535
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1744
diff changeset
536 size_t pos = curr_fcn_file_name.rfind ('/');
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1744
diff changeset
537
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1744
diff changeset
538 string tmp = (pos != NPOS)
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1744
diff changeset
539 ? curr_fcn_file_name.substr (pos+1) : curr_fcn_file_name;
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
540
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
541 bind_builtin_variable ("program_name", tmp);
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
542
1817
13c1e0718d68 [project @ 1996-01-29 21:12:36 by jwe]
jwe
parents: 1799
diff changeset
543 intern_argv (remaining_args, argv+last_arg_idx);
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
544
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
545 command_editor::blink_matching_paren (false);
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
546
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
547 switch_to_buffer (create_buffer (infile));
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
548 }
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
549 else
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
550 clean_up_and_exit (1);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
551 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
552 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
553 {
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
554 // 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
555 // interactive.
1
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 interactive = (isatty (fileno (stdin)) && isatty (fileno (stdout)));
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
558
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
559 intern_argv (argc, argv);
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
560
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
561 switch_to_buffer (create_buffer (get_input_from_stdin ()));
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
562 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
563
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
564 // 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
565 // has forced interactive behavior.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
566
1907
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
567 if (! interactive && forced_interactive)
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
568 {
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
569 command_editor::blink_matching_paren (false);
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
570
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
571 // 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
572
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
573 bind_builtin_variable ("echo_executing_commands",
2800
9aeba8e006a4 [project @ 1997-03-09 09:50:20 by jwe]
jwe
parents: 2775
diff changeset
574 static_cast<double> (ECHO_CMD_LINE));
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
575 }
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
576
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
577 if (! interactive)
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2910
diff changeset
578 line_editing = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
579
1907
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
580 int retval = main_loop ();
1
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 ;;; End: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
592 */