Compiling to Linux format about hail-caesar

[dvalters]

Hi @bwj202, the exe file extension should work on Linux - if compiled on Linux it will prodce a compatible binary executable, regardless of the .exe extension. Linux does not usually care about the actual file extension. (you can change it in the Makefile though if you really want to).

Feel free to post more issues here :)

[bwj202]

Ah OK, I haven't used Linux before so I wasn't aware. Thanks for clarifying this. From: Declan Valters ***@***.***> Sent: 13 September 2022 12:35 To: dvalters/HAIL-CAESAR ***@***.***> Cc: Jackson, Ben ***@***.***>; Mention ***@***.***> Subject: Re: [dvalters/HAIL-CAESAR] Compiling to Linux format (Issue #49) CAUTION: This email originated from outside of the organisation. Do not click links or open attachments unless you recognise the sender and know the content is safe. Hi @bwj202<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fbwj202&data=05%7C01%7CB.W.Jackson%40exeter.ac.uk%7Cefde8e03bf6848f4360f08da957c032b%7C912a5d77fb984eeeaf321334d8f04a53%7C0%7C0%7C637986657165849747%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=CY9qau4ziAlCThu2Yz6SEAihZup%2FhLZna6gl4SIkyQI%3D&reserved=0>, the exe file extension should work on Linux - if compiled on Linux it will prodce a compatible binary executable, regardless of the .exe extension. Linux does not usually care about the actual file extension. (you can change it in the Makefile though if you really want to). Feel free to post more issues here :) - Reply to this email directly, view it on GitHub<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fdvalters%2FHAIL-CAESAR%2Fissues%2F49%23issuecomment-1245282395&data=05%7C01%7CB.W.Jackson%40exeter.ac.uk%7Cefde8e03bf6848f4360f08da957c032b%7C912a5d77fb984eeeaf321334d8f04a53%7C0%7C0%7C637986657165849747%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=HoewcFS5Jyhlxej8ANrIPtvmgcVv2btYu1KPlPtQ2H4%3D&reserved=0>, or unsubscribe<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fnotifications%2Funsubscribe-auth%2FAMOT3C6ZUBPXMPVDQMGXMZ3V6BRFDANCNFSM6AAAAAAQLJUGAM&data=05%7C01%7CB.W.Jackson%40exeter.ac.uk%7Cefde8e03bf6848f4360f08da957c032b%7C912a5d77fb984eeeaf321334d8f04a53%7C0%7C0%7C637986657165849747%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=YkG7z%2F%2BmgCKR1mxTe2P4VPQ3n6TOr74A0HBBb0IjL%2F4%3D&reserved=0>. You are receiving this because you were mentioned.Message ID: ***@***.***>

[bwj202]

Hi again. I am a little confused as to how to compile using the Makefile. I am not sure what software to run the makefile with. The documentation suggests running "make" but there is no "make" executable.