Skip to content

Look for smlnj

Look for smlnj #27

Workflow file for this run

name: macOS CI
on: [push, pull_request]
jobs:
build:
runs-on: macos-latest
steps:
- uses: actions/checkout@v2
- name: deps
run: |
# Used to have mlkit here as well, but Homebrew is refusing to
# install it at the moment for some reason
brew install mercurial mlton polyml subversion
brew install --cask smlnj
- name: prepare
run: |
git config --global user.email "[email protected]"
git config --global user.name "Nobody"
make clean # so we rebuild the aggregated repoint.sml
- name: make
run: make
- name: find-sml
run: |
echo "Prefix is $(brew --prefix)"
find "$(brew --prefix)" -name sml -print
# - name: test
# run: PATH=$(brew --prefix)/smlnj/bin:"$PATH" make test-all