Cleanup, update README

.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

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