FloPoCo installation manual

Operators tend to come and go as we struggle to support them, and we apologize for that. Hopefully the new Autotest features will bring more stability. Meanwhile, it is possible that the operator you want works better in an older version: read the release notes.


Installation in Ubuntu and other Debian derivative

Single-line installation scripts

These scripts should work on the current Debian, Ubuntu, and other Debian derivatives.

We would welcome similar installation scripts for other platforms. Copy this in a dash/bash shell (and enter your password when prompted):

Version 4.1, the last one with the old framework

yes | sudo apt-get install g++ libgmp3-dev libmpfr-dev libfplll-dev libxml2-dev bison libmpfi-dev flex cmake libboost-all-dev libgsl0-dev && wget https://gforge.inria.fr/frs/download.php/33151/sollya-4.1.tar.gz && tar xzf sollya-4.1.tar.gz && cd sollya-4.1/ && ./configure && make -j4 && sudo make install && cd .. && wget https://gforge.inria.fr/frs/download.php/file/36968/flopoco-4.1.1.tgz && tar xzf flopoco-4.1.1.tgz && cd flopoco-4.1.1/ && cmake . && make -j4 && ./flopoco && ./flopoco BuildHTMLDoc

Once the above line has installed all the dependencies, you may also live on the edge and compile the git version available from the source code repository

In addition, enable bash autocompletion by typing ./flopoco BuildAutocomplete and following the instructions

Version 2.5.0, the last version before the transition to Sollya4 broke everything that bit heaps had not yet broken

yes | sudo apt-get install g++ libgmp3-dev libmpfr-dev libxml2-dev bison libmpfi-dev flex cmake libboost-all-dev libgsl0-dev && wget https://gforge.inria.fr/frs/download.php/file/34429/libfplll-3.0.12.tar.gz && tar xzf libfplll-3.0.12.tar.gz && cd libfplll-3.0.12/ && ./configure && make -j2 && sudo make install && cd .. && wget https://gforge.inria.fr/frs/download.php/28571/sollya-3.0.tar.gz && tar xzf sollya-3.0.tar.gz && cd sollya-3.0/ && ./configure && make -j4 && sudo make install && cd .. && wget https://gforge.inria.fr/frs/download.php/file/32591/flopoco-2.5.0.tgz && tar xzf flopoco-2.5.0.tgz && cd flopoco-2.5.0/ && cmake . && make -j4 && ./flopoco

Version 2.3.2, the last version before the Great Leader embarked the project in the bit heap hazardous adventure

yes | sudo apt-get install g++ libgmp3-dev libmpfr-dev libxml2-dev bison libmpfi-dev flex cmake libboost-all-dev libgsl0-dev && wget https://gforge.inria.fr/frs/download.php/file/34429/libfplll-3.0.12.tar.gz && tar xzf libfplll-3.0.12.tar.gz && cd libfplll-3.0.12/ && ./configure && make -j2 && sudo make install && cd .. && wget https://gforge.inria.fr/frs/download.php/28571/sollya-3.0.tar.gz && tar xzf sollya-3.0.tar.gz && cd sollya-3.0/ && ./configure && make -j4 && sudo make install && cd .. && wget https://gforge.inria.fr/frs/download.php/file/35206/flopoco-2.3.2.tgz && tar xzf flopoco-2.3.2.tgz && cd flopoco-2.3.2/ && cmake . && make -j4 && ./flopoco

Older versions may include operators that have later been deprecated. Look up the source code repository

Generic installation instructions

FloPoCo may be compiled either using CMake or the autotools. The recommended way is CMake, which is available for most Unix and Linux distributions and for Windows. If you prefer to use the autotools read the README.autotools file.

CMake is included in mainstream Linux/Unix distributions, and is available for other operating systems, including Windows.

FloPoCo also depends on the MPFR library, on the C++ interface to GMP (which may or may not be a dependency of MPFR) and on flex++, all of which are probably available in your favourite Linux/Unix distribution.

You really want to link FloPoCo against Sollya. Most advanced operators depend on it, to the point that we don't check anymore that FloPoCo compiles without Sollya... For this purpose, you must download, compile and install Sollya.

Compilation is a two-step process:

cmake .

make

The adventurous may get the development version of FloPoCo from its source code repository.


Installation in Windows

Here is a simple way to get FloPoCo running in a virtual machine under Windows. You will need to install :

Installing Ubuntu in a Vagrant virtual box

Create a folder where you want to contain all the Vagrant files.

Open a command prompt and go into this folder. If you are using windows, you can quickly open a command prompt by holding down shift and right-clicking the project folder, then choose “open command window here”.

Now type the following commands :

vagrant init ubuntu/trusty32

vagrant up

The first time, it may take some time depending on your internet connection.

Connecting to the virtual machine by SSH

You have two solutions at this point :

Updating your virtual machine

Now that your are connected to your virtual machine, type the following commands :

sudo apt-get update

sudo apt-get upgrade

If a prompt asks you something, just press "y".

Installing Flopoco on your virtual machine

Go to the Linux installation instructions : Copy one of the one-line installation scripts and paste it into the prompt of your virtual machine. Wait. Sometime, you will be asked to press "y".

Some common problems

If you encountered others problems, give us feedback and if possible solutions so that we can add them to the preceeding list.