From 32abea0aa0549dbba6537afa2ad66a0d9ded975d Mon Sep 17 00:00:00 2001
From: tanneberger <github@tanneberger.me>
Date: Fri, 20 Dec 2024 01:27:43 +0100
Subject: [PATCH] remove patmos examples, because they are in the template

---
 examples/patmos/CMakeLists.txt |  7 -------
 examples/patmos/src/Smoke.lf   | 30 ------------------------------
 examples/patmos/src/main.c     |  5 -----
 3 files changed, 42 deletions(-)
 delete mode 100644 examples/patmos/CMakeLists.txt
 delete mode 100644 examples/patmos/src/Smoke.lf
 delete mode 100644 examples/patmos/src/main.c

diff --git a/examples/patmos/CMakeLists.txt b/examples/patmos/CMakeLists.txt
deleted file mode 100644
index 79d6327f..00000000
--- a/examples/patmos/CMakeLists.txt
+++ /dev/null
@@ -1,7 +0,0 @@
-cmake_minimum_required(VERSION 3.22)
-
-project(patmos)
-
-add_executable(patmos src/main.c)
-add_subdirectory(src-gen/Smoke)
-target_link_libraries(patmos PUBLIC Smoke)
diff --git a/examples/patmos/src/Smoke.lf b/examples/patmos/src/Smoke.lf
deleted file mode 100644
index 9071e95c..00000000
--- a/examples/patmos/src/Smoke.lf
+++ /dev/null
@@ -1,30 +0,0 @@
-target uC {
-  platform: FlexPRET
-}
-
-reactor R1 {
-  output out: int
-
-  reaction(startup) -> out {=
-    lf_set(out, 42);
-  =}
-}
-
-reactor R2 {
-  input in: int
-
-  reaction(startup) {=
-    printf("Hello from R2, FlexPRET!\n");
-  =}
-
-  reaction(in) {=
-    printf("Received: %d\n", in->value);
-    validate(in->value == 42);
-  =}
-}
-
-main reactor {
-  r1 = new R1()
-  r2 = new R2()
-  r1.out -> r2.in
-}
diff --git a/examples/patmos/src/main.c b/examples/patmos/src/main.c
deleted file mode 100644
index 8417d948..00000000
--- a/examples/patmos/src/main.c
+++ /dev/null
@@ -1,5 +0,0 @@
-#include "lf_main.h"
-
-int main() {
-  lf_start();
-}