Merge pull request #2444 from lf-lang/patmos-fix

Patmos: better compiler flags
lf-lang · Dec 7, 2024 · b0dc6c9 · b0dc6c9
2 parents 800679b + 2f01d09
commit b0dc6c9
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/.github/workflows/c-embedded.yml b/.github/workflows/c-embedded.yml
@@ -25,5 +25,5 @@ jobs:
 #     uses: ./.github/workflows/c-flexpret-tests.yml
 
       # Run the C Patmos integration tests.
-  patmos:
-    uses: ./.github/workflows/c-patmos-tests.yml
+#  patmos:
+#    uses: ./.github/workflows/c-patmos-tests.yml
diff --git a/core/src/main/java/org/lflang/generator/c/CCmakeGenerator.java b/core/src/main/java/org/lflang/generator/c/CCmakeGenerator.java
@@ -228,10 +228,14 @@ CodeBuilder generateCMakeCode(
         break;
       case PATMOS:
         cMakeCode.newLine();
+        cMakeCode.pr("SET(CMAKE_SYSTEM_NAME patmos)");
+        cMakeCode.pr("SET(CMAKE_SYSTEM_PROCESSOR patmos)");
         cMakeCode.pr("# Include toolchain file and set project");
         cMakeCode.pr(
             "find_program(CLANG_EXECUTABLE NAMES patmos-clang REQUIRED DOC \"Path to the clang"
                 + " front-end.\")");
+        cMakeCode.pr("set(CMAKE_C_FLAGS_INIT \"-O2 -DNDEBUG\")");
+
         cMakeCode.pr("set(CMAKE_C_COMPILER ${CLANG_EXECUTABLE})");
         cMakeCode.pr(
             "set(CMAKE_C_FLAGS_RELEASE \"-O2 -DNDEBUG\")"); // patmos-clang cannot compiler -O3

diff --git a/core/src/main/resources/lib/c/reactor-c b/core/src/main/resources/lib/c/reactor-c
+7 −7		.github/workflows/ci.yml
+1 −1		lingua-franca-ref.txt
+1 −1		trace/impl/src/trace_impl.c