From 30e3e6ba5267d75d3a1505e53e75a74c79d18f04 Mon Sep 17 00:00:00 2001
From: "John J. Camilleri" <john@digitalgrammars.com>
Date: Thu, 14 Oct 2021 11:26:30 +0200
Subject: [PATCH] Cleanup, update README

---
 .github/workflows/build-majestic.yml | 35 ----------------------------
 src/runtime/c/README.md              | 10 +++++++-
 2 files changed, 9 insertions(+), 36 deletions(-)

diff --git a/.github/workflows/build-majestic.yml b/.github/workflows/build-majestic.yml
index accfb7e43..0b887871e 100644
--- a/.github/workflows/build-majestic.yml
+++ b/.github/workflows/build-majestic.yml
@@ -11,17 +11,6 @@ jobs:
     steps:
     - uses: actions/checkout@v2
 
-    # All these are already available in GitHub runner
-    # - name: Install build tools
-    #   run: |
-    #     sudo apt-get update
-    #     sudo apt-get install -y \
-    #       autoconf \
-    #       automake \
-    #       libtool \
-    #       make \
-    #       g++
-
     - name: Build C runtime
       working-directory: ./src/runtime/c
       run: |
@@ -78,8 +67,6 @@ jobs:
           autoconf \
           automake \
           libtool \
-      # make \
-      # g++
 
     - name: Build C runtime
       working-directory: ./src/runtime/c
@@ -102,25 +89,3 @@ jobs:
         LD_LIBRARY_PATH: /usr/local/lib
       run: |
         cabal test --extra-lib-dirs=/usr/local/lib
-
-    # - name: Install Python bindings
-    #   working-directory: ./src/runtime/python
-    #   run: |
-    #     python setup.py build
-    #     sudo python setup.py install
-    #
-    # - name: Run Python testsuite
-    #   working-directory: ./src/runtime/python
-    #   env:
-    #     LD_LIBRARY_PATH: /usr/local/lib
-    #   run: |
-    #     pip install pytest
-    #     pytest
-    #
-    # - name: Run JavaScript testsuite
-    #   working-directory: ./src/runtime/javascript
-    #   env:
-    #     LD_LIBRARY_PATH: /usr/local/lib
-    #   run: |
-    #     npm ci
-    #     npm run test
diff --git a/src/runtime/c/README.md b/src/runtime/c/README.md
index 011ba33a3..fd140b010 100644
--- a/src/runtime/c/README.md
+++ b/src/runtime/c/README.md
@@ -17,16 +17,24 @@ g++
 
 - Install XCode from App Store
 - Install XCode command line tools: `xcode-select --install`
+- Required system packages (`brew install ...`):
+```
+autoconf
+automake
+libtool
+```
 
 ## Installation
 
-Installing the runtime (puts libraries in `/usr/local/lib`):
+**Note for macOS**: you should first run `glibtoolize`, followed by the commands below.
+
 ```
 autoreconf -i
 ./configure
 make
 make install
 ```
+The shared libraries are installed in `/usr/local/lib`.
 
 ## Using