Subversion Repositories wimsdev

Rev

Rev 8100 | Rev 8501 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 8100 Rev 8120
Line 16... Line 16...
16 
 */
 16 
 */
17 
 
 17 
 
18 
/* Interface gap to wims */
 18 
/* Interface gap to wims */
19 
 
 19 
 
20 
/*************** Customization: change values hereafter ****************/
 20 
/*************** Customization: change values hereafter ****************/
- 
 
 21 
#include "common.h"
21 
 
 22 
 
22 
/* limit of input/output file sizes */
 - 
 
23 
#define fsizelim 131072
 - 
 
24 
/* gap prompt string */
 23 
/* gap prompt string */
25 
#define gapprompt "gap> "
 24 
#define gapprompt "gap> "
26 
/* This string tells gap to exit. */
 25 
/* This string tells gap to exit. */
27 
#define quitstring "\nquit;\n"
 26 
char *quitstring="\nquit;\n";
28 
/* The way to print a string in the program. */
 27 
/* The way to print a string in the program. */
29 
#define stringprinter "Print(\"%s\\n\");\n"
 28 
char *stringprinter="Print(\"%s\\n\");\n";
30 
/* This is GAP home page. To be kept up to date. */
 29 
/* This is GAP home page. To be kept up to date. */
31 
#define homepage "http://www-gap.dcs.st-and.ac.uk/~gap"
 30 
#define homepage "http://www-gap.dcs.st-and.ac.uk/~gap"
32 
 
 31 
 
- 
 
 32 
/* limit of input/output file sizes */
33 
char *nameofcmd="gap.sh -T -n";
 33 
int fsizelim=131072;
34 
int precision=20; /* default */
 34 
int precision=20; /* default */
- 
 
 35 
 
- 
 
 36 
char *nameofcmd="gap.sh -T -n";
35 
char header[]="\n\
 37 
char header[]="\n\
36 
";
 38 
";
37 
 
 39 
 
38 
struct {
 40 
struct {
39 
    char *wname;    char *defaultval;
 41 
    char *wname; char *defaultval;
40 
} setups[]={
 42 
} setups[]={
41 
};
 43 
};
42 
 
 44 
 
43 
/* names which are not allowed */
 45 
/* names which are not allowed */
44 
char *illegal[]={
 46 
char *illegal[]={
45 
      "Reread","Process","Exec","Filename","SaveWorkspace"
 47 
      "Reread","Process","Exec","Filename","SaveWorkspace"
46 
};
 48 
};
- 
 
 49 
 
- 
 
 50 
int illegal_no=(sizeof(illegal)/sizeof(illegal[0]));
47 
 
 51 
 
48 
/* name parts which are not allowed */
 52 
/* name parts which are not allowed */
49 
char *illpart[]={
 53 
char *illpart[]={
50 
    "File", "Path", "Read", "To"
 54 
    "File", "Path", "Read", "To"
51 
};
 55 
};
52 
 
 56 
 
- 
 
 57 
int illpart_no=(sizeof(illpart)/sizeof(illpart[0]));
- 
 
 58 
 
53 
/***************** Nothing should need change hereafter *****************/
 59 
/***************** Nothing should need change hereafter *****************/
54 
 
 60 
 
55 
#define progname "gap"
 61 
char *progname="gap";
56 
#include "common.h"
 - 
 
57 
#include "common.c"
 - 
 
58 
 
 62 
 
59 
/* check for security violations in command string */
 63 
/* check for security violations in command string */
60 
void check_parm(char *pm)
 64 
void check_parm(char *pm)
61 
{
 65 
{
62 
    char *pp; int l;
 66 
    char *pp; int l;