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
|
#############################################################################
##
## PackageInfo.g for the package `float' Laurent Bartholdi
##
SetPackageInfo( rec(
PackageName := "Float",
Subtitle := "Integration of mpfr, mpfi, mpc, fplll and cxsc in GAP",
Version := "0.6.3",
Date := "03/09/2014",
## <#GAPDoc Label="Version">
## <!ENTITY Version "0.6.3">
## <!ENTITY Date "03/09/2014">
## <#/GAPDoc>
ArchiveURL := Concatenation("http://www.uni-math.gwdg.de/laurent/archive/float-",~.Version),
ArchiveFormats := ".tar.gz",
Persons := [
rec(
LastName := "Bartholdi",
FirstNames := "Laurent",
IsAuthor := true,
IsMaintainer := true,
Email := "laurent.bartholdi@gmail.com",
WWWHome := "http://www.uni-math.gwdg.de/laurent",
PostalAddress := Concatenation( [
"Mathematisches Institut\n",
"Bunsenstraße 3—5\n",
"D-37073 Göttingen\n",
"Germany" ] ),
Place := "Göttingen",
Institution := "Georg-August Universität zu Göttingen"
)
],
Status := "deposited",
README_URL := "http://laurentbartholdi.github.com/float/README.float",
PackageInfoURL := "http://laurentbartholdi.github.com/float/PackageInfo.g",
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 := "http://laurentbartholdi.github.com/float/",
PackageDoc := rec(
BookName := "Float",
ArchiveURLSubset := ["doc"],
HTMLStart := "doc/chap0.html",
PDFFile := "doc/manual.pdf",
SixFile := "doc/manual.six",
LongTitle := "Floating-point numbers",
Autoload := true
),
Dependencies := rec(
GAP := ">=4.5.0",
NeededOtherPackages := [["GAPDoc",">=1.0"]],
SuggestedOtherPackages := [],
ExternalConditions := ["GAP compiled with GMP support"]
),
AvailabilityTest := function()
local f;
f := Filename(DirectoriesPackagePrograms("float"),"float.so");
if f=fail 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"]);
fi;
return f<>fail;
end,
BannerString := Concatenation("Loading FLOAT ", String(~.Version), " ...\n"),
Autoload := false,
TestFile := "tst/testall.g",
Keywords := ["floating-point"]
));
|
