From d58c9841a68cc30e29a4cbffe29b24e331f91050 Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Sun, 19 Jul 2020 10:27:41 -0600
Subject: [PATCH] New language: Awk

---
 backend/src/langs.ts                | 8 ++++++++
 scripts/docker-install-phase3a.bash | 3 +++
 2 files changed, 11 insertions(+)

diff --git a/backend/src/langs.ts b/backend/src/langs.ts
index b5a68ec..ff52c65 100644
--- a/backend/src/langs.ts
+++ b/backend/src/langs.ts
@@ -110,6 +110,14 @@ message:
     run: "./main",
     template: `val _ = print ("Hello, world!\\n")
 implement main0 () = ()
+`,
+  },
+  awk: {
+    aliases: ["gawk", "mawk"],
+    name: "Awk",
+    main: "main.awk",
+    run: `awk -f main.awk`,
+    template: `BEGIN { print "Hello, world!" }
 `,
   },
   bash: {
diff --git a/scripts/docker-install-phase3a.bash b/scripts/docker-install-phase3a.bash
index 07a9dfe..8a46343 100755
--- a/scripts/docker-install-phase3a.bash
+++ b/scripts/docker-install-phase3a.bash
@@ -25,6 +25,9 @@ asciidoc
 # ATS
 ats2-lang
 
+# Awk
+mawk
+
 # BASIC
 bwbasic