-
Notifications
You must be signed in to change notification settings - Fork 8
/
PackageInfo.g
109 lines (98 loc) · 3.48 KB
/
PackageInfo.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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
#############################################################################
##
## PackageInfo.g for the package `float' Laurent Bartholdi
##
SetPackageInfo( rec(
PackageName := "float",
Subtitle := "Integration of mpfr, mpfi, mpc, fplll and cxsc in GAP",
Version := "1.0.5",
Date := "30/08/2024", # dd/mm/yyyy format
License := "GPL-2.0-or-later",
## <#GAPDoc Label="Version">
## <!ENTITY Version "1.0.5">
## <!ENTITY Date "30/08/2024">
## <#/GAPDoc>
Persons := [
rec(
LastName := "Bartholdi",
FirstNames := "Laurent",
IsAuthor := true,
IsMaintainer := true,
Email := "laurent.bartholdi@gmail.com",
WWWHome := "https://www.math.uni-sb.de/ag/bartholdi/",
PostalAddress := Concatenation( [
"FR Mathematik\n",
"D-68041 Saarbrücken\n",
"Germany" ] ),
Place := "Saarbrücken",
Institution := "Universität des Saarlandes"
)
],
Status := "deposited",
SourceRepository := rec(
Type := "git",
URL := Concatenation( "https://github.com/gap-packages/", ~.PackageName ),
),
IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
PackageWWWHome := Concatenation( "https://gap-packages.github.io/", ~.PackageName ),
README_URL := Concatenation( ~.PackageWWWHome, "/README.md" ),
PackageInfoURL := Concatenation( ~.PackageWWWHome, "/PackageInfo.g" ),
ArchiveURL := Concatenation( ~.SourceRepository.URL,
"/releases/download/v", ~.Version,
"/", ~.PackageName, "-", ~.Version ),
ArchiveFormats := ".tar.gz",
AbstractHTML := "The <span class=\"pkgname\">float</span> package allows \
GAP to manipulate floating-point numbers with arbitrary \
precision. It is based on MPFR, MPFI, MPC, CXSC, FPLLL",
PackageWWWHome := "https://gap-packages.github.io/float/",
PackageDoc := rec(
BookName := "float",
ArchiveURLSubset := ["doc"],
HTMLStart := "doc/chap0_mj.html",
PDFFile := "doc/manual.pdf",
SixFile := "doc/manual.six",
LongTitle := "Floating-point numbers",
),
Dependencies := rec(
GAP := ">=4.12.0",
NeededOtherPackages := [["GAPDoc",">=1.0"]],
SuggestedOtherPackages := [],
ExternalConditions := ["GAP compiled with GMP support"]
),
AvailabilityTest := function()
if not IsKernelExtensionAvailable("float") then
LogPackageLoadingMessage(PACKAGE_WARNING,
[Concatenation("The DLL program `",
Filename(DirectoriesPackagePrograms("float")[1], "float.so"),
"' was not compiled, and is needed for the float package."),
"Run `./configure && make' in its home directory"]);
return false;
fi;
return true;
end,
BannerString := Concatenation(~.PackageName, " ", String(~.Version), " with modules [?] ...\n"),
BannerFunction := function(info)
local str, modules;
str:= info.BannerString;
modules := [];
if IsBound(MPFR_INT) then
Add(modules,"mpfr");
fi;
if IsBound(MPFI_INT) then
Add(modules,"mpfi");
fi;
if IsBound(MPC_INT) then
Add(modules,"mpc");
fi;
if IsBound(@FPLLL) then
Add(modules,"fplll");
fi;
if IsBound(CXSC_INT) then
Add(modules,"cxsc");
fi;
modules := JoinStringsWithSeparator(modules, ", ");
return ReplacedString(str, "?", modules);
end,
TestFile := "tst/testall.g",
Keywords := ["floating-point"]
));