This file is indexed.

/usr/share/doc/libsollya6/README is in libsollya6 6.0+ds-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 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
Sollya is a computer program whose purpose is to provide an
environment for safe floating-point code development. It is
particularly targeted to the automated implementation of
mathematical floating-point libraries (libm). Amongst other features,
it offers a certified infinity norm, an automatic polynomial
implementer and a fast Remez algorithm.


In order to compile the software you will need the following packages
installed:

- gcc
- g++
- gnuplot
- gmp
- mpfr
- mpfi
- libxml2-dev
- fplll (available at url https://github.com/dstehle/fplll)
- libtool

In order to compile, use the makefile by invoking it using the
following command:

./configure
make

The configure script coming with this distribution of Sollya supports
several --with-*** switches. These switches, as usual, enable the libraries
Sollya depends on to be installed in non-standard directories.
Please use

./configure --help

to get an overview over the different switches.


You can finally use the software typing

./sollya

or install it with:

make install

The use of the readline-wrapper rlwrap is highly recommended for
interactive work with sollya.


If you wish to compile and install Sollya from a fresh git clone,
you further need:

- bison version 2.4 or later
- flex version 2.5.33 or later

Bison and flex are really needed if you compile a fresh git clone
or if you modify the grammar files contained in the
distribution. Otherwise, precompiled versions are found in the
distribution and can be used.

When compiling a fresh git clone, launch first the autogen.sh shell
script before executing the two steps indicated above.
Users compiling fresh git clones are recommended to use the
--enable-strict-lexer-parser-check option of the configure script.