Sollya is a computer program whose purpose is to provide an environment for safe floating-point code development. It is particularily targeted to the automatized 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 2.2.0 or later - mpfi - libxml2-dev - fplll (available at url http://perso.ens-lyon.fr/damien.stehle/english.html#software) - libtool - bison version 2.3 or later - flex version 2.5.33 or later Bison and flex are really needed if you compile a fresh svn checkout or if you modify the grammar files contained in the distribution. Otherwise, precompiled versions are found in the distribution and can be used. In order to compile, use the makefile by invoking it using the following command: ./configure make When compiling a fresh svn checkout, launch first the autogen.sh shell script before executing the two steps indicated above. Users compiling fresh svn checkouts are recommanded to use the --enable-strict-lexer-parser-check option of the configure script. You can then 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.
schevill
authored
This commit was extracted from SVN r898. git-svn-id: svn://scm.gforge.inria.fr/svn/sollya/branches/workMioaraAndSylvain@898 af37bc7e-59aa-4313-bbaf-7d19c0032f32