Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Build & distribute release builds with Zig as stand-alone C compiler #659

Closed
wants to merge 16 commits into from
Closed

Build & distribute release builds with Zig as stand-alone C compiler #659

wants to merge 16 commits into from

Commits on Oct 6, 2021

  1. chore: use CMake C compiler & GMP when running tests 

    In particular, use ccache if used for build
    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    2b5b719 View commit details
    Browse the repository at this point in the history

  2. fix: leanc: add lib/ to library search path

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    ac79254 View commit details
    Browse the repository at this point in the history

  3. feat: CI: build & distribute release builds with Zig

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    feee0b9 View commit details
    Browse the repository at this point in the history

  4. fix: disable AUTO_THREAD_FINALIZATION with Zig/Windows 

    needs pthread.h
    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    925ea9c View commit details
    Browse the repository at this point in the history

  5. fix: including ntdef.h with Zig

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    e06ad79 View commit details
    Browse the repository at this point in the history

  6. fix: overlong cmdline on Windows

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    0d2f12c View commit details
    Browse the repository at this point in the history

  7. fix: collection of object files on Windows, shorter linker cmdline

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    a6e6faf View commit details
    Browse the repository at this point in the history

  8. chore: Zig: disable LTO

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    309b6c8 View commit details
    Browse the repository at this point in the history

  9. fix: use macOS-compatible find invocation

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    5d1872d View commit details
    Browse the repository at this point in the history

  10. fix: temporarily use self-compiled Zig on Windows

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    bbe573d View commit details
    Browse the repository at this point in the history

  11. fix: use absolute include paths to placate Zig/Windows

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    72f90f7 View commit details
    Browse the repository at this point in the history

  12. fix: make thread creation UCRT-compatible

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    4aeda20 View commit details
    Browse the repository at this point in the history

  13. fix: ccache support on Zig/Windows

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    50cb864 View commit details
    Browse the repository at this point in the history

  14. chore: disable Zig on macOS

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    d9f887b View commit details
    Browse the repository at this point in the history

  15. fix: leanc: complex LEAN_CC

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    2c3e1a3 View commit details
    Browse the repository at this point in the history

  16. fix: CI: bash < 4.4

    @Kha
    Kha committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    6863282 View commit details
    Browse the repository at this point in the history