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@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@cs.unipr.it https://www.cs.unipr.it/mailman/listinfo/ppl-devel