-
Notifications
You must be signed in to change notification settings - Fork 2
/
init.g
48 lines (41 loc) · 1.71 KB
/
init.g
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
###########################################################################
##
#W init.g The SCSCP package Olexandr Konovalov
#W Steve Linton
##
###########################################################################
# read function declarations
ReadPackage("scscp", "lib/openmath.gd");
ReadPackage("scscp", "lib/xstream.gd");
ReadPackage("scscp", "lib/connect.gd");
ReadPackage("scscp", "lib/process.gd");
ReadPackage("scscp", "lib/remote.gd");
ReadPackage("scscp", "lib/scscp.gd");
# setting the default and compatible versions of SCSCP for the client
SCSCP_VERSION := "1.3";
SCSCP_COMPATIBLE_VERSIONS := [ "1.0", "1.1", "1.2", "1.3" ];
# We introduce the global variable SCSCPserverMode because
# of different handling of OMR at server and client sides.
# It might be useful in other cases as well. This variable
# will be set to true by the call of the function RunSCSCPserver
SCSCPserverMode := false;
# We introduce the global variable IN_SCSCP_TRACING_MODE to turn
# on/off recording events for performance analysis. It can
# be switched using the EventsTracesTo function
IN_SCSCP_TRACING_MODE := false;
# Setting the default OpenMath encoding to XML
IN_SCSCP_BINARY_MODE := false;
# read the other part of code
ReadPackage("scscp", "lib/utils.g");
ReadPackage("scscp", "config.g");
ReadPackage("scscp", "configpar.g");
ReadPackage("scscp", "tracing/tracing.g");
ReadPackage("scscp", "lib/client.g");
ReadPackage("scscp", "lib/openmath.g");
ReadPackage("scscp", "lib/webservice.g");
ReadPackage("scscp", "lib/special.g");
ReadPackage("scscp", "par/parlist.g");
###########################################################################
##
#E
##