Skip to content
Snippets Groups Projects

chore: make it possible to choose between static build or dynamic one

Merged Dmitry Rodionov requested to merge dkr/pick-from-23-12 into master

Summary

This is a cherry-pick of two commits that were added only to 23.12.

  • chore: make it possible to choose between static build or dynamic one

New feature static_build is added to Cargo.toml. By default dynamic build is being used. build.rs is changed to respect it.

Use cargo build --features static_build to build static binary.

Previous attempt directly modified static-build cmake files which is less convenient and doesnt allow us to support both build types at the same time

Replaces picodata/tarantool!143 and !817 (closed)

  • ci: allow to manually trigger image builder straight from picodata

  • Close #...
  • Target branch: master
  • Docs follow-up: not necessary / new issue

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
Please register or sign in to reply
Loading