zpack 0.1.17

A fast, configurable package manager which builds programs from source
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144

name: Rust CI

on:
  push:
    branches:
      - edge
      - master
    tags:
      - '*'
  pull_request:
  release:
    types: [published]
  workflow_dispatch:

permissions:
  contents: read

jobs:
  rust_ci:
    name: Rust CI - ${{ matrix.os }}
    runs-on: ${{ matrix.os }}
    strategy:
      fail-fast: false
      matrix:
        os: [ubuntu-latest, ubuntu-24.04-arm, windows-latest, windows-11-arm, macos-15-intel, macos-latest]

    env:
      CFLAGS_s390x_unknown_linux_gnu: '-march=z10'
      RUSTDOCFLAGS: -D warnings
      Z3_SYS_BUNDLED_DIR_OVERRIDE: ${{ github.workspace }}/z3_git_source

    steps:
      - name: Checkout Repository
        uses: actions/checkout@v5

      - name: Clone Z3 Source
        uses: actions/checkout@v5
        with:
          repository: Z3Prover/z3
          path: z3_git_source
          ref: z3-4.15.3

      - name: Install Rust Toolchain
        uses: dtolnay/rust-toolchain@stable

      - name: Install Linux Dependencies
        if: runner.os == 'Linux'
        run: |
          sudo apt-get update
          sudo apt-get install -y build-essential clang llvm-dev libclang-dev

      - name: Debug Build
        run: cargo build --features z3_bundled

      - name: Debug Test
        run: cargo test --features z3_bundled

      - name: Debug Doc Tests
        run: cargo test --doc --features z3_bundled

      - name: Release Build
        run: cargo build --release --features z3_bundled

      - name: Release Test
        run: cargo test --release --features z3_bundled

      - name: Release Doc Tests
        run: cargo test --release --doc --features z3_bundled

      - name: Run Benchmarks
        run: cargo bench --features z3_bundled

      - name: Upload Debug Binaries
        uses: actions/upload-artifact@v4
        with:
          name: zpack-debug-${{ matrix.os }}
          path: |
            target/debug/*
            !target/debug/.*
            !target/debug/build
            !target/debug/deps
            !target/debug/examples
            !target/debug/incremental
          if-no-files-found: ignore

      - name: Upload Release Binaries
        uses: actions/upload-artifact@v4
        with:
          name: zpack-release-${{ matrix.os }}
          path: |
            target/release/*
            !target/release/.*
            !target/release/build
            !target/release/deps
            !target/release/examples
            !target/release/incremental
          if-no-files-found: ignore

      - name: Upload Documentation
        if: matrix.os == 'ubuntu-latest'
        uses: actions/upload-artifact@v4
        with:
          name: documentation
          path: target/doc/

  documentation:
    name: Documentation
    runs-on: ubuntu-latest

    env:
      CFLAGS_s390x_unknown_linux_gnu: '-march=z10'
      RUSTDOCFLAGS: -D warnings
      Z3_SYS_BUNDLED_DIR_OVERRIDE: ${{ github.workspace }}/z3_git_source

    steps:
      - name: Checkout Repository
        uses: actions/checkout@v5

      - name: Clone Z3 Source
        uses: actions/checkout@v5
        with:
          repository: Z3Prover/z3
          path: z3_git_source
          ref: z3-4.15.3

      - name: Install Rust Toolchain
        uses: dtolnay/rust-toolchain@stable

      - name: Install Linux Dependencies
        run: |
          sudo apt-get update
          sudo apt-get install -y build-essential clang llvm-dev libclang-dev

      - name: Build Documentation
        if: matrix.os == 'ubuntu-latest'
        run: cargo doc --no-deps --document-private-items --features z3_bundled

      - name: Upload Documentation
        if: matrix.os == 'ubuntu-latest'
        uses: actions/upload-artifact@v4
        with:
          name: documentation
          path: target/doc/