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!HjuHeIhrwFIwXNbtqvVwYN75_V9CYoXTUxSORBzvbxSzuAd6J27y_KcxAp3trluCHYoKFyMaBoKpX9FVC7NrbSfCvv1TOLiU_MVO0gZUOsu0$ )
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!HjuHeIhrwFIwXNbtqvVwYN75_V9CYoXTUxSORBzvbxSzuAd6J27y_KcxAp3trluCHYoKFyMaBoKpX9FVC7NrbSfCvv1TOLiU_MVO0rEdhTTx$ ) to Windows (github.com)
> <https://urldefense.com/v3/__https://github.com/gx/gmp__;!!MvWE!HjuHeIhrwFIwXNbtqvVwYN75_V9CYoXTUxSORBzvbxSzuAd6J27y_KcxAp3trluCHYoKFyMaBoKpX9FVC7NrbSfCvv1TOLiU_MVO0vQYMgo0$ >
> It would be much easier if I could do the same with ppl.
>
> Thanks for the help.
>
> Kind regards
>
> Mudathir
>
>