compiler: separate library for runtime #1
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: darwin debug (das-fmt SSH) | |
| # TEMPORARY debug workflow: minimal darwin-only build of daslang + das-fmt | |
| # (no LLVM, no modules, no tests/lint), then an interactive tmate SSH session | |
| # to lldb the das-fmt macOS crash. Fires on push to the branch. DELETE when done. | |
| on: | |
| pull_request: | |
| workflow_dispatch: | |
| defaults: | |
| run: | |
| shell: bash | |
| jobs: | |
| darwin_debug: | |
| runs-on: macos-15-xlarge | |
| permissions: | |
| contents: read | |
| steps: | |
| - name: "SCM Checkout" | |
| uses: actions/checkout@v4 | |
| - name: "Install deps" | |
| run: brew install bison openssl z3 | |
| - name: "Install CMake and Ninja" | |
| uses: lukka/get-cmake@latest | |
| - name: "Build daslang + das-fmt (Release, no LLVM, no modules)" | |
| run: | | |
| set -eux | |
| export PATH="$(brew --prefix bison)/bin:$PATH" | |
| export LDFLAGS="-L$(brew --prefix bison)/lib -L$(brew --prefix openssl)/lib" | |
| export CPPFLAGS="-I$(brew --prefix openssl)/include" | |
| CC=clang CXX=clang++ cmake --no-warn-unused-cli -B./build \ | |
| -DCMAKE_BUILD_TYPE:STRING=Release \ | |
| -DCMAKE_OSX_ARCHITECTURES=arm64 \ | |
| -DDAS_LLVM_DISABLED=ON \ | |
| -G Ninja | |
| cmake --build ./build --config Release --target daslang das-fmt | |
| # Unconditional SSH session. Connect with the printed ssh string, then: | |
| # lldb -- ./bin/das-fmt -v2 <some_gen1.das> ; run ; bt | |
| - name: "SSH session (tmate)" | |
| uses: mxschmitt/action-tmate@v3 | |
| with: | |
| limit-access-to-actor: true | |
| detached: false |