/usr/share/doc/sollya/README is in sollya-doc 6.0+ds-6build1.
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.
|