Subversion Repositories wimsdev

Rev

Rev 8120 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
10 reyssat 1
/*    Copyright (C) 1998-2003 XIAO, Gang of Universite de Nice - Sophia Antipolis
2
 *
3
 *  This program is free software; you can redistribute it and/or modify
4
 *  it under the terms of the GNU General Public License as published by
5
 *  the Free Software Foundation; either version 2 of the License, or
6
 *  (at your option) any later version.
7
 *
8
 *  This program is distributed in the hope that it will be useful,
9
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
10
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11
 *  GNU General Public License for more details.
12
 *
13
 *  You should have received a copy of the GNU General Public License
14
 *  along with this program; if not, write to the Free Software
15
 *  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
16
 */
17
 
18
 
19
/******** Modifiable definitions ****************/
20
 
21
        /* buffer length for about information */
22
#define aboutlen 512
23
 
24
/******** Nothing to modify below ***************/
25
 
26
#include <stdio.h>
27
#include <stdlib.h>
28
#include <stdarg.h>
29
#include <unistd.h>
30
#include <string.h>
31
#include <ctype.h>
32
#include <time.h>
33
#include <errno.h>
34
#include <sys/time.h>
35
#include <sys/wait.h>
36
#include <sys/types.h>
37
#include <sys/stat.h>
38
#include <signal.h>
39
#include <fcntl.h>
8177 bpr 40
#include "../config.h"
10 reyssat 41
#include "../wimsdef.h"
8100 bpr 42
#include "../Lib/libwims.h"
10 reyssat 43
 
44
#define parmlim (MAX_LINELEN+256)
45
#define inputlim (512*1024)
46
#define SETUP_NO (sizeof(setups)/sizeof(setups[0]))
8120 bpr 47
extern int illegal_no;
48
extern int illpart_no;
49
extern char *stringprinter;
50
extern char *quitstring;
10 reyssat 51
 
8120 bpr 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;