[PPL-devel] PARMA POLYHEDRA LIBRARY for Windows

[Roberto Bagnara]

Hi Gopal.

You can cross-compile the PPL under Linux for Windows.
We do this routinely.  I strongly recommend you to use
the Git version, devel branch:

$ git clone git://git.bugseng.com/ppl/ppl.git
$ cd ppl
$ git checkout devel

Then you can do something like that (see README.configure
for more information):

$ mkdir gmpbuild gmpinstall pplbuild pplinstall
$ cd /home/roberto/gmpbuild
$ /home/roberto/gmp-6.2.1/configure --host=x86_64-w64-mingw32 --prefix=/home/roberto/gmpinstall --enable-fat --enable-cxx --disable-shared --enable-static
$ make
$ make install
$ cd /home/roberto/pplbuild
$ /home/roberto/ppl/configure --host=x86_64-w64-mingw32 --prefix=/home/roberto/pplinstall --with-cxxflags=-std=c++11 --with-gmp=/home/roberto/gmpinstall --enable-optimization --disable-debugging --disable-documentation --enable-interfaces="c cxx" --enable-ppl_lcdd --disable-ppl_lpsol --disable-ppl_pips --enable-instantiations=Polyhedron --disable-assertions
$ make
$ make install
$ ls -R /home/roberto/pplinstall/
/home/roberto/pplinstall/:
bin  include  lib  share

/home/roberto/pplinstall/bin:
ppl-config.exe  ppl_lcdd.exe

/home/roberto/pplinstall/include:
ppl_c.h  ppl.hh

/home/roberto/pplinstall/lib:
libppl.a  libppl_c.a  libppl_c.la  libppl.la

/home/roberto/pplinstall/share:
aclocal  doc  man

/home/roberto/pplinstall/share/aclocal:
ppl_c.m4  ppl.m4

/home/roberto/pplinstall/share/doc:
ppl

/home/roberto/pplinstall/share/doc/ppl:
BUGS       COPYING  fdl.txt  NEWS    README.configure  TODO
ChangeLog  CREDITS  gpl.txt  README  README.doc

/home/roberto/pplinstall/share/man:
man1  man3

/home/roberto/pplinstall/share/man/man1:
ppl-config.1  ppl_lcdd.1

/home/roberto/pplinstall/share/man/man3:
libppl.3  libppl_c.3

Note:

1) If you are on a Debian-like Linux distro, you need to install
    the g++-mingw-w64 package and possibly others.
2) The configuration options I have used are typical, but not necessarily
    suitable for you: see README.configure .
3) Your reference to Visual Studio Code confuses me: this is an IDE, right?

Kind regards,

    Roberto

Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematical, Physical and Computer Sciences
University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it

On 4/19/22 13:17, Gopal Rai wrote:
> My name is Gopal working as a technical lead in Raytheon Technologies.
> 
> I visited https://www.bugseng.com/ <https://www.bugseng.com/>. I am interested in using PARMA POLYHEDRA LIBRARY. I downloaded it but could not compile it. This is the first time I am compiling a cpp library. It would be great if I get some help in this regard. For your information, I am working on a Windows system and using Visual Studio Code.
> 
> Could you please tell me how can I compile it on a Windows system? or Please let me know where to download a ready-to-use one for Windows.
> 
> Your help is much appreciated.
> 
> Thanks & Regards
> 
> Gopal Narayan Rai
> Mobile: +91-9542316991
> 
> 
> 
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> https://www.cs.unipr.it/mailman/listinfo/ppl-devel