From 6cfbc5bc959bd01171a08c48bb434457cc8d77cc Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Sat, 3 Oct 2020 11:08:31 -0700
Subject: [PATCH] [#24] New language: PROMELA

---
 backend/src/langs.ts                | 10 ++++++++++
 scripts/docker-install-phase3c.bash |  3 +++
 2 files changed, 13 insertions(+)

diff --git a/backend/src/langs.ts b/backend/src/langs.ts
index 87ea76c..f43aad7 100644
--- a/backend/src/langs.ts
+++ b/backend/src/langs.ts
@@ -2582,6 +2582,16 @@ pipi pikachu
 
 main :-
     write("Hello, world!"), nl.
+`,
+  },
+  promela: {
+    aliases: ["spin", "pml"],
+    name: "PROMELA",
+    main: "main.pml",
+    run: "spin main.pml",
+    template: `active proctype main() {
+  printf("Hello, world!\\n");
+}
 `,
   },
   pug: {
diff --git a/scripts/docker-install-phase3c.bash b/scripts/docker-install-phase3c.bash
index 164259a..18469ae 100755
--- a/scripts/docker-install-phase3c.bash
+++ b/scripts/docker-install-phase3c.bash
@@ -88,6 +88,9 @@ rlwrap
 # Prolog
 swi-prolog
 
+# Promela
+spin
+
 # PureScript
 libtinfo5