linux build script

main
Ziyang Hu 2 years ago
parent 4f0dc5c710
commit ba5e36d7b6

@ -7,11 +7,16 @@ rm -fr release
mkdir release
cross build --target=aarch64-unknown-linux-gnu --release
cross build --target=aarch64-unknown-linux-gnu --release --manifest-path=cozo-lib-c/Cargo.toml
cross build --target=x86_64-unknown-linux-gnu --release
cross build --target=x86_64-unknown-linux-gnu --release --manifest-path=cozo-lib-c/Cargo.toml
cp target/aarch64-unknown-linux-gnu/release/cozoserver release/cozoserver-${VERSION}-linux-arm64
cp target/aarch64-unknown-linux-gnu/release/libcozo_c.a release/libcozo_c-${VERSION}-linux-arm64.a
cp target/aarch64-unknown-linux-gnu/release/libcozo_c.so release/libcozo_c-${VERSION}-linux-arm64.so
cp target/x86_64-unknown-linux-gnu/release/cozoserver release/cozoserver-${VERSION}-linux-x86_64
cp target/x86_64-unknown-linux-gnu/release/libcozo_c.a release/libcozo_c-${VERSION}-linux-x86_64.a
cp target/x86_64-unknown-linux-gnu/release/libcozo_c.so release/libcozo_c-${VERSION}-linux-x86_64.so
aarch64-linux-gnu-strip release/cozoserver-${VERSION}-linux-arm64
strip release/cozoserver-${VERSION}-linux-x86_64
gzip release/cozoserver-${VERSION}-linux-arm64
gzip release/cozoserver-${VERSION}-linux-x86_64
gzip release/*

Loading…
Cancel
Save