%{
#include "config.h"
-#include <stdio.h>
-extern "C" {
-#include <readline/readline.h>
-#include <readline/history.h>
-}
-#include <map>
-
-#include <ginac/ginac.h>
#include "ginsh.h"
-
#include "ginsh_parser.h"
#define YY_INPUT(buf, result, max_size) (result = ginsh_input(buf, max_size))
{
int result;
if (yy_current_buffer->yy_is_interactive) {
- int actual;
-
+#ifdef HAVE_LIBREADLINE
// Do we need to read a new line?
+ int actual;
if (line_length == 0) {
// Free old line
line_length -= actual;
line_ptr += actual;
result = actual;
-
+#else
+ printf("> "); fflush(stdout);
+ int c = '*', n;
+ for (n = 0; n < max_size && (c = getc(yyin)) != EOF && c != '\n'; ++n)
+ buf[n] = (char)c;
+ if (c == '\n')
+ buf[n++] = (char)c;
+ if (c == EOF && ferror(yyin))
+ YY_FATAL_ERROR("input in flex scanner failed");
+ result = n;
+#endif
} else if (((result = fread(buf, 1, max_size, yyin)) == 0) && ferror(yyin))
YY_FATAL_ERROR("input in flex scanner failed");
return result;
}
-// Scanner terminates on EOF
+// List of input files to be processed
+int num_files = 0;
+char **file_list = NULL;
+
+// EOF encountered, connect to next file. If this was the last file,
+// connect to stdin. If this was stdin, terminate the scanner.
int yywrap()
{
- return 1;
+ if (yyin == stdin)
+ return 1;
+
+ fclose(yyin);
+ if (num_files) {
+ yyin = fopen(*file_list, "r");
+ if (yyin == NULL) {
+ cerr << "Can't open " << *file_list << endl;
+ return 1;
+ }
+ num_files--;
+ file_list++;
+ } else
+ yyin = stdin;
+ return 0;
}