From bdd64b081be9f22571fd9c253fc6c0e10c28ae9f Mon Sep 17 00:00:00 2001
From: Roman Venediktov <e2e4b6b7@gmail.com>
Date: Sun, 5 Jan 2025 10:51:40 +0100
Subject: [PATCH] Removed ld warning

---
 runtime/Makefile | 2 +-
 src/X86_64.ml    | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/runtime/Makefile b/runtime/Makefile
index 1d5fe82a1..f71efd909 100644
--- a/runtime/Makefile
+++ b/runtime/Makefile
@@ -24,7 +24,7 @@ runtime.o: runtime.c runtime.h
 	$(CC) $(PROD_FLAGS) -c runtime.c -o runtime.o
 
 printf.o: printf.S
-	$(CC) $(PROD_FLAGS) -x assembler-with-cpp -c -g printf.S -o printf.o
+	$(CC) $(PROD_FLAGS) -Wa,--noexecstack -x assembler-with-cpp -c -g printf.S -o printf.o
 
 clean:
 	$(RM) *.a *.o *~ negative_scenarios/*.err
diff --git a/src/X86_64.ml b/src/X86_64.ml
index 85461e33e..5b7482bbe 100644
--- a/src/X86_64.ml
+++ b/src/X86_64.ml
@@ -1488,8 +1488,8 @@ let build cmd prog =
   in
   let compiler_flags, linker_flags =
     match cmd#target_os with
-    | Darwin -> ("-arch x86_64", "-ld_classic")
-    | Linux -> ("", "")
+    | Darwin -> ("-arch x86_64 -Wa,--noexecstack", "-ld_classic")
+    | Linux -> ("-Wa,--noexecstack", "")
   in
   let debug_flags = if cmd#is_debug then "-g" else "" in
   match cmd#get_mode with