[PPL-devel] Fwd: ppl-1.2

[Roberto Bagnara]

On 04/11/2016 12:04 AM, Jakub Schiebl wrote:
> Hello,

Hello Jakub.

> I have Debian 7.8 wheezy with only console installation.
> I made:
> 
> ./configure --enable-cxx
> make
> make check
> make install
> 
> in folder /home/user/myproject/gmp-6.1.0
> and when I rune in folder /home/user/myproject/ppl-1.2 ./configuration , then it finish with error:

I guess you mean "./configure", not "./configuration".

> checking for the GMP library version 4.1.3 or above... no
> configure: error: Cannot find GMP version 4.1.3 or higher.
> GMP is the GNU Multi-Precision library:
> see http://www.swox.com/gmp/ for more information.
> When compiling the GMP library, do not forget to enable the C++ interface:
> add --enable-cxx to the configuration options.
> 
> 
> Can you plese help me ?

See README.configure for information on how to configure
the PPL to use a particular version of GMP.
If the problem persists, the `config.log' file created
by PPL's `configure' script should tell you what went
wrong.
Kind regards,

   Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com