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