[Texmacs-dev] maple_filter in 1.0.1.5

[Martin Costabel]

When compiling texmacs-1.0.1.5 on Mac OSX (gcc-3.1), I get the following 
error

cd plugins/maple; make -i -f Makefile CC=gcc CXX=c++
c++ src/maple_in_filter.cc -o bin/maple_in_filter
c++ src/maple_filter.cc -o bin/maple_filter
src/maple_filter.cc:27: `string' was not declared in this scope
src/maple_filter.cc:27: parse error before `,' token
src/maple_filter.cc:36: `string' was not declared in this scope
src/maple_filter.cc:36: `s' was not declared in this scope
src/maple_filter.cc:36: parse error before `)' token
[20 more lines of the same omitted]
make[2]: [bin/maple_filter] Error 1 (ignored)

This is not fatal for the compilation (the maple plugin is not built, 
that's all) and it is not even important, because AFAIK a suitable 
version of maple for MacOSX doesn't exist anyway. But I would like to 
know what causes this error. I tried all kinds of compiler options, 
other #include files, namespace declarations, all to no avail. Could 
someone who knows C++ please explain?

The first 36 lines of that file are below.

--
Martin

% less -N TeXmacs-1.0.1.5-src/plugins/maple/src/maple_filter.cc
     1
     2  #include <stdio.h>
     3  #include <stdlib.h>
     4  #include <string.h>
     5  #include <iostream.h>
     6  #include <string>
     7
     8  /*#define DATA_BEGIN   ((string) "debut" )
     9  #define DATA_END     ((string) "fin" )
    10  #define DATA_ESCAPE  ((string) "escape" )*/
    11
    12  #define DATA_BEGIN   ((char) 2)
    13  #define DATA_END     ((char) 5)
    14  #define DATA_ESCAPE  ((char) 27)
    15
    16  static int counter= 0;
    17
    18  void
    19  next_input () {
    20    counter++;
    21    cout << DATA_BEGIN << "channel:prompt" << DATA_END;
    22    cout << DATA_BEGIN << "latex:\\brown Maple " << counter
    23         << "]\\ " << DATA_END;
    24  }
    25
    26  string
    27  remplacer(string in, string what, string by) {
    28    string result= in;
    29    while (result.find(what)!=string::npos) {
    30      result= result.replace (result.find(what), what.length(), by);
    31    }
    32    return result;
    33  }
    34
    35  void
    36  passer (string &s, int indentation) {