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

Upload z3 built by vcpkg as release assets in CI. Maybe test whether it works in CI later. #264

Draft
wants to merge 63 commits into
base: master
Choose a base branch
from
Draft

Upload z3 built by vcpkg as release assets in CI. Maybe test whether it works in CI later. #264

wants to merge 63 commits into from

Commits on Oct 13, 2023

  1. Add basic support for vcpkg. 

    Use vcpkg-rs to manage z3 instead. A non-default feature vcpkg is added.

However, vcpkg-rs does not support wasm32 target currently. I created a pull request there at mcgoo/vcpkg-rs#53
    @TheVeryDarkness
    TheVeryDarkness committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    163f80c View commit details
    Browse the repository at this point in the history

  2. Improve support for wasm32. 

    Make emscripten visible to wasm32-unknown-unknown if emscripten is installed.
    @TheVeryDarkness
    TheVeryDarkness committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    0df54a2 View commit details
    Browse the repository at this point in the history

  3. Fix a warning. 

    Z3_HEADER_VAR will disappear when the feature vcpkg is enabled.
    @TheVeryDarkness
    TheVeryDarkness committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    0b30251 View commit details
    Browse the repository at this point in the history

  4. Make clippy happy 

    Use is_err instead of pattern matching.
    @TheVeryDarkness
    TheVeryDarkness committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    651f28c View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2023

  1. Merge remote-tracking branch 'upstream/master' into add-vcpkg

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    c284d15 View commit details
    Browse the repository at this point in the history

  2. Refactor the process. 

    Added missing cargo:rerun-if-changed for header.
    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    2d8d63f View commit details
    Browse the repository at this point in the history

  3. Added a ci test for vcpkg-installed z3

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    02de1e7 View commit details
    Browse the repository at this point in the history

  4. Fix mistakes in ci

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    7716650 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'upstream' into add-vcpkg

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    e4bcbdc View commit details
    Browse the repository at this point in the history

  6. Rename build_z3 to build_bundled_z3

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    ed6b65b View commit details
    Browse the repository at this point in the history

  7. Revert "Improve support for wasm32." 

    This reverts commit 0df54a2.
    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    728b962 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'add-vcpkg' of https://github.com/TheVeryDarkness/z3.rs … 

    …into add-vcpkg
    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    8eedfa7 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'add-vcpkg' of https://github.com/TheVeryDarkness/z3.rs … 

    …into add-vcpkg
    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    d10c623 View commit details
    Browse the repository at this point in the history

  10. Fix an error in build script.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    d4d3164 View commit details
    Browse the repository at this point in the history

  11. Fix an error in ci

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    a31eb7f View commit details
    Browse the repository at this point in the history

  12. Fixing ci errors.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    9f0bd1d View commit details
    Browse the repository at this point in the history

  13. Force to set VCPKG_ROOT in CI

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    a5b44da View commit details
    Browse the repository at this point in the history

  14. Remove macos and a redundant step from workflows

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    ecb607b View commit details
    Browse the repository at this point in the history

  15. No fail fast

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    63aa222 View commit details
    Browse the repository at this point in the history

  16. Test on windows only.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    6c0f856 View commit details
    Browse the repository at this point in the history

  17. Clean build trees after build. 

    So that rust can continue to build.
    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    25a913e View commit details
    Browse the repository at this point in the history

  18. Test only on Windows indeed.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    e5244a6 View commit details
    Browse the repository at this point in the history

  19. Show default toolchain of rust. 

    By this, we can check whether the toolchain matches the vcpkg triplet.
    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    bfb6a46 View commit details
    Browse the repository at this point in the history

  20. Merge remote-tracking branch 'upstream/master'

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    d164579 View commit details
    Browse the repository at this point in the history

  21. CI: Update to actions/checkout@v4.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    954a72f View commit details
    Browse the repository at this point in the history

  22. CI: Avoid redundant line breaking and spaces.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    8094dbf View commit details
    Browse the repository at this point in the history

  23. Update documentation about feature vcpkg

    @TheVeryDarkness
    TheVeryDarkness committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    73a27e4 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2023

  1. Change statically linked to bundled.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    c4c417d View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. Try compressing z3 library

    @TheVeryDarkness
    TheVeryDarkness committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    c1e7eaa View commit details
    Browse the repository at this point in the history

  2. Fix an error in CI

    @TheVeryDarkness
    TheVeryDarkness committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    77c8267 View commit details
    Browse the repository at this point in the history

  3. Fix some errors in CI

    @TheVeryDarkness
    TheVeryDarkness committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    25c624b View commit details
    Browse the repository at this point in the history

  4. A preliminary CI

    @TheVeryDarkness
    TheVeryDarkness committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    5b79ce2 View commit details
    Browse the repository at this point in the history

  5. Use a script to generate CI.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    e7ab918 View commit details
    Browse the repository at this point in the history

  6. Fix an error in CI about release name

    @TheVeryDarkness
    TheVeryDarkness committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    d5a912f View commit details
    Browse the repository at this point in the history

  7. Disable cache

    @TheVeryDarkness
    TheVeryDarkness committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    ec05154 View commit details
    Browse the repository at this point in the history

  8. Fix an error in CI

    @TheVeryDarkness
    TheVeryDarkness committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    049ad95 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. Implement vcpkg action by ourselves

    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    896de47 View commit details
    Browse the repository at this point in the history

  2. Include z3++.h in artifacts

    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    fce05af View commit details
    Browse the repository at this point in the history

  3. Manually triger the workflow.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    1805f7c View commit details
    Browse the repository at this point in the history

  4. Deprecating make_artifact.sh

    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    b7d42f3 View commit details
    Browse the repository at this point in the history

  5. Simplified prebuild.yml and deprecated make_artifact.sh

    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    53cf9c3 View commit details
    Browse the repository at this point in the history

  6. Simplify an echo in rust.yml

    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    01f1486 View commit details
    Browse the repository at this point in the history

  7. Automatically triger the workflow. 

    I couldn't find the button.
    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    6349e6c View commit details
    Browse the repository at this point in the history

  8. Fix an error in CI 

    Create directory before it's used.
    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    888d58e View commit details
    Browse the repository at this point in the history

  9. Another way to get and upload built files. 

    Not elegant in some aspects.
    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    f7821e5 View commit details
    Browse the repository at this point in the history

  10. Merge remote-tracking branch 'upstream/master'

    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    5f651d2 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'upload-prebuilt-static-z3'

    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    5f35d49 View commit details
    Browse the repository at this point in the history

  12. Fix an error in CI. 

    Added a vertical line.
    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    ddb8af8 View commit details
    Browse the repository at this point in the history

  13. Avoid too complex logic in CI

    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    fe7828f View commit details
    Browse the repository at this point in the history

  14. Fixing an error in CI on Windows

    @TheVeryDarkness
    TheVeryDarkness committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    bd832bb View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2023

  1. CI: Hard code copied files. 

    Otherwise things will be too big.
    @TheVeryDarkness
    TheVeryDarkness committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    63987ba View commit details
    Browse the repository at this point in the history

  2. Use python shell to collect and compress.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    8a362ae View commit details
    Browse the repository at this point in the history

  3. Fix an error in CI.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    475f4d6 View commit details
    Browse the repository at this point in the history

  4. Fix an error in CI.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    40090f7 View commit details
    Browse the repository at this point in the history

  5. Fix an error in CI

    @TheVeryDarkness
    TheVeryDarkness committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    b0d0370 View commit details
    Browse the repository at this point in the history

  6. Fix escape in python script; use python 3.10

    @TheVeryDarkness
    TheVeryDarkness committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    4a99f76 View commit details
    Browse the repository at this point in the history

  7. Fix an error in CI

    @TheVeryDarkness
    TheVeryDarkness committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    afa2a92 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2023

  1. Skip compression if archive already exists

    @TheVeryDarkness
    TheVeryDarkness committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    d1209bd View commit details
    Browse the repository at this point in the history

  2. Correct output case.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    4dcfb13 View commit details
    Browse the repository at this point in the history

  3. Correcting output of Python script

    @TheVeryDarkness
    TheVeryDarkness committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    df436df View commit details
    Browse the repository at this point in the history

  4. Use another action that enables overwrite

    @TheVeryDarkness
    TheVeryDarkness committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    f5c9abc View commit details
    Browse the repository at this point in the history

  5. Try creating a release before getting its info

    @TheVeryDarkness
    TheVeryDarkness committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    f7e32e6 View commit details
    Browse the repository at this point in the history

  6. Traverse headers list; remove an unused step.

    @TheVeryDarkness
    TheVeryDarkness committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    c0dbcbf View commit details
    Browse the repository at this point in the history