Removed ld warning

PLTools · Jan 5, 2025 · bdd64b0 · bdd64b0
1 parent 2dad84d
commit bdd64b0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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