Rev 12011 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 12011 | Rev 17838 | ||
|---|---|---|---|
| Line 34... | Line 34... | ||
| 34 | char *stringprinter="print(\"%s\")\n"; |
34 | char *stringprinter="print(\"%s\")\n"; |
| 35 | /* limit of input/output file sizes */ |
35 | /* limit of input/output file sizes */ |
| 36 | int fsizelim=131072; |
36 | int fsizelim=131072; |
| 37 | int precision=28; /* default */ |
37 | int precision=28; /* default */ |
| 38 | 38 | ||
| 39 | char *nameofcmd="gp"; |
39 | char *nameofcmd="gp -f -q"; |
| 40 | char *gprcenv="GPRC"; |
40 | char *gprcenv="GPRC"; |
| 41 | char *gprc="../.gprc"; |
41 | char *gprc="../.gprc"; |
| 42 | char header[]="default(output,0)\n\ |
42 | char header[]="default(output,0)\n\ |
| 43 | default(secure,1)\n\ |
43 | default(secure,1)\n\ |
| 44 | alias(ln,log)\n\ |
44 | alias(ln,log)\n\ |