spotless + gitk installation removed

.github/actions/setup-patmos/action.yml

@@ -6,7 +6,7 @@ runs:
     - name: Setup
       run: |
         # install needed tools
-        sudo apt install git openjdk-8-jdk gitk cmake make g++ texinfo flex bison \
+        sudo apt install git openjdk-8-jdk cmake make g++ texinfo flex bison \
           subversion libelf-dev graphviz libboost-dev libboost-program-options-dev ruby-full \
           liblpsolve55-dev zlib1g-dev gtkwave gtkterm scala autoconf libfl2 expect verilator curl
 
@@ -20,15 +20,14 @@ runs:
         sudo chmod 644 /etc/apt/trusted.gpg.d/scalasbt-release.gpg
         sudo apt-get update
         sudo apt-get install sbt
-        
+
         # Clone the Patmos repository
-        
+
         mkdir ~/t-crest
         cd ~/t-crest
         git clone https://github.com/t-crest/patmos-misc.git misc
-        ./misc/build.sh 
+        ./misc/build.sh
 
         # Save location in PATH
         export PATH=$PATH:$HOME/t-crest/misc
       shell: bash
-

.github/workflows/c-embedded.yml

@@ -24,6 +24,6 @@ jobs:
   flexpret:
     uses: ./.github/workflows/c-flexpret-tests.yml
 
-      # Run the C Patmos integration tests. 
+      # Run the C Patmos integration tests.
   patmos:
     uses: ./.github/workflows/c-patmos-tests.yml

test/C/src/patmos/HelloPatmos.lf

@@ -1,12 +1,11 @@
 target C {
-    platform: "Patmos",
-    single-threaded: true,
-    build-type: Debug, 
-  }
-
-  main reactor {
-    reaction(startup) {=
-      printf("Hello World!\n");
-    =}
-  }
-
+  platform: "Patmos",
+  single-threaded: true,
+  build-type: Debug
+}
+
+main reactor {
+  reaction(startup) {=
+    printf("Hello World!\n");
+  =}
+}