Rev 8100 | Rev 8177 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8100 | Rev 8120 | ||
---|---|---|---|
Line 42... | Line 42... | ||
42 | #include "../Lib/libwims.h" |
42 | #include "../Lib/libwims.h" |
43 | 43 | ||
44 | #define parmlim (MAX_LINELEN+256) |
44 | #define parmlim (MAX_LINELEN+256) |
45 | #define inputlim (512*1024) |
45 | #define inputlim (512*1024) |
46 | #define SETUP_NO (sizeof(setups)/sizeof(setups[0])) |
46 | #define SETUP_NO (sizeof(setups)/sizeof(setups[0])) |
47 |
|
47 | extern int illegal_no; |
48 |
|
48 | extern int illpart_no; |
- | 49 | extern char *stringprinter; |
|
- | 50 | extern char *quitstring; |
|
49 | 51 | ||
- | 52 | /* from common.c */ |
|
- | 53 | void find_illegal(char *p); |
|
- | 54 | char *find_matching2(char *p, char c); |
|
- | 55 | void strip_zeros(char *p); |
|
- | 56 | void prepabout(char *cmd, char *outf, char *errf); |
|
- | 57 | int readabout(void); |
|
- | 58 | char *strip_trailing_spaces2(char *p); |
|
- | 59 | extern char aboutbuf[aboutlen]; |
|
- | 60 | extern char outputfname[256], *tmp_dir; |
|
- | 61 | extern unsigned int seed; /* random seed value */ |
|
- | 62 | void prepare1(void); |
|
- | 63 | void run(void); |
|
- | 64 | ||
- | 65 | extern char *progname; |
|
- | 66 | extern char *illpart[]; |
|
- | 67 | ||
- | 68 | /* from pari.c */ |
|
- | 69 | extern char *illegal[]; |
|
- | 70 | extern int precision, fsizelim; |
|
- | 71 | extern char header[]; |
|
- | 72 | extern char *nameofcmd; |
|
- | 73 | ||
- | 74 | /* from scilab.c */ |
|
- | 75 | extern int must_chroot; |
|
- | 76 | ||
- | 77 | /* from yacas.c */ |
|
- | 78 | extern char *cmdparm; |