Merge pull request #2435 from EhsanKhodadad/master

bug fix in the Patmos platform
lf-lang · Nov 21, 2024 · 4a134ee · 4a134ee
2 parents 8d614be + b7dac8b
commit 4a134ee
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/core/src/main/java/org/lflang/generator/c/CCmakeGenerator.java b/core/src/main/java/org/lflang/generator/c/CCmakeGenerator.java
@@ -233,6 +233,8 @@ CodeBuilder generateCMakeCode(
             "find_program(CLANG_EXECUTABLE NAMES patmos-clang REQUIRED DOC \"Path to the clang"
                 + " front-end.\")");
         cMakeCode.pr("set(CMAKE_C_COMPILER ${CLANG_EXECUTABLE})");
+        cMakeCode.pr(
+            "set(CMAKE_C_FLAGS_RELEASE \"-O2 -DNDEBUG\")"); // patmos-clang cannot compiler -O3
         cMakeCode.pr("project(" + executableName + " LANGUAGES C)");
         cMakeCode.newLine();
         break;