-
Notifications
You must be signed in to change notification settings - Fork 14
/
read.g
45 lines (40 loc) · 1.5 KB
/
read.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
#############################################################################
##
## read.g The IO package
## Max Neunhoeffer
##
## Copyright (C) by Max Neunhoeffer
## This file is free software, see license information at the end.
##
ReadPackage("IO", "gap/io.gi");
ReadPackage("IO", "gap/pickle.gi");
ReadPackage("IO", "gap/realrandom.gi");
ReadPackage("IO", "gap/http.gi");
ReadPackage("IO", "gap/background.gi");
ReadPackage("IO", "gap/iohub.gi");
ReadPackage("IO", "gap/callwithtimeout.gi");
# We now create the possibility that other packages can provide pickling
# and unpickling handlers.
if IsBound(IO_PkgThingsToRead) then
for p in IO_PkgThingsToRead do
ReadPackage(p[1],p[2]);
od;
Unbind(IO_PkgThingsToRead);
fi;
if IsHPCGAP then
MakeThreadLocal("IO");
fi;
##
## This program is free software: you can redistribute it and/or modify
## it under the terms of the GNU General Public License as published by
## the Free Software Foundation, either version 3 of the License, or
## (at your option) any later version.
##
## This program is distributed in the hope that it will be useful,
## but WITHOUT ANY WARRANTY; without even the implied warranty of
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
## GNU General Public License for more details.
##
## You should have received a copy of the GNU General Public License
## along with this program. If not, see <https://www.gnu.org/licenses/>.
##