Hi Valentina, Thanks for the follow up. Currently we are using the open-source version. But the commercial version would benefit as well from supporting CMake build. Kind regards Mudathir ________________________________ From: Valentina Loggini <valentina.loggini@bugseng.com> Sent: Tuesday, March 7, 2023 8:16 AM To: Mohamed, Mudathir Mahgoub Yahia Export License Required - US Collins <MudathirMahgoubYahia.Mohamed@collins.com> Cc: Minopoli, Stefano Export License Required - US Collins <stefano.minopoli@collins.com>; Liu, Janet J Collins <Janet.Liu@collins.com>; support@bugseng.com <support@bugseng.com> Subject: [External] Re: Supporting CMake build for ppl Hi Mudathir, Thanks for reaching out to us! Just to clarify, support@bugseng.com is the right email address for matters relating to the commercial version of PPL (I guess this is your case), while for the open-source version, the email address of reference is: ppl-devel@cs.unipr.it. Just checking so as to manage your request in the best possible way. Best regards, Valentina -- Valentina Loggini Customer Relationship Manager BUGSENG (https://urldefense.com/v3/__http://bugseng.com__;!!MvWE!HjuHeIhrwFIwXNbtqvVw... ) Email: valentina.loggini@bugseng.com Office: +39 0521 461640 Mobile: +39 320 4646437 On 02/03/2023 22:39, Mohamed, Mudathir Mahgoub Yahia Export License Required - US Collins wrote:

Hello,

I am working with Stefano Minopoli at Applied Research and Technology (ART) at Collins Aerospace. I am exploring ppl and whether it can be integrated with a research prototype tool in Windows that uses CMake. I wonder if you can enable support for CMake build for easier compilation. I managed to compile this fork of gmp using cmake + Visual Studio C++ compiler 2022. gx/gmp: Porting GMP (https://urldefense.com/v3/__https://gmplib.org/__;!!MvWE!HjuHeIhrwFIwXNbtqvV... ) to Windows (github.com) <https://urldefense.com/v3/__https://github.com/gx/gmp__;!!MvWE!HjuHeIhrwFIwX... > It would be much easier if I could do the same with ppl.

Thanks for the help.

Kind regards

Mudathir