<div dir="ltr"><div dir="ltr"><div>Hi Roberto,</div><div><br></div><div>Thanks. Based on looking at the c++ code of ppl_lcdd, I have indeed been able to figure out the way to do the V to H convex hull computation.</div><div><br></div><div>However, I have some difficulty understanding the following:<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Mar 8, 2022 at 2:05 AM Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Regarding your other question, the PPL can be compiled for Windows using<br>
MinGW.  <br></blockquote><div><br></div><div>I have looked at the installation instructions at:</div><div><br></div><div><a href="https://www.bugseng.com/parma-polyhedra-library/ppl-portability" target="_blank">https://www.bugseng.com/parma-polyhedra-library/ppl-portability</a></div><div><a href="https://www.bugseng.com/ppl-requirements" target="_blank">https://www.bugseng.com/ppl-requirements</a></div><div><a href="https://www.bugseng.com/ppl-download" target="_blank">https://www.bugseng.com/ppl-download</a></div><div><br></div><div>I have installed MinGW on my Windows computer. Are you saying that I should *install* PPL using MinGW? On a linux machine, after downloading the bzip2 tar archive, I was indeed able to run ./configure, make and make install just fine. On a windows machine, I do not know how to *install* the library so that the system is able to "see" the ppl.hh file, for instance. In other words, what are the equivalent steps to take on the windows machine to ./configure, make and make install?  <br></div><div><br></div><div>Install and README.configure links on the ppl-download page do not seem to point at any specific page. They currently point to the same page. <br></div><div><br></div><div>Or, is it that I should just store the contents of the folder obtained after extracting the zip file on <br><div><a href="https://www.bugseng.com/ppl-download" target="_blank">https://www.bugseng.com/ppl-download</a> on any location of my choice on the windows machine.<br></div><div>Then, should I just inform my IDE on Windows (Visual Studio 2019) to find the header files in this folder? For e.g., the header file, ppl.hh is located in the src/ subfolder. Of course, then, as you suggest, I will change the settings in my IDE to use the MinGW toolchain instead of the MSVC toolchain.</div><div><br></div><div>Thank you.</div><div>Tryer.<br></div></div><div><br></div><div><br> </div></div></div>