zpack 0.1.15

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

default:
    just --list

dev extra-args="":
    cargo run --features z3_gh_release {{ extra-args }}

release extra-args="":
    #!/bin/bash

    export CFLAGS="-O3 -mtune=native -march=native -flto -fPIC"
    export CXXFLAGS="-O3 -mtune=native -march=native -flto -fPIC"

    cargo run --features z3_bundled --release {{ extra-args }}

pydev:
    maturin develop --features pyo3/extension-module,z3_gh_release

pyrelease:
    #!/bin/bash

    export CFLAGS="-O3 -mtune=native -march=native -flto -fPIC"
    export CXXFLAGS="-O3 -mtune=native -march=native -flto -fPIC"

    maturin build --features pyo3/extension-module,z3_bundled --release

clean:
    cargo clean