Skip to content

revng/revng-orchestra

Repository files navigation

What is Orchestra?

Orchestra is a meta build system. Its job is to automate the repetitive tasks required to build a complex software project with many dependencies.

How does it work?

TODO - write about:

  • fundamental concepts (components, builds, dependencies)
  • actions (clone, configure, install)
  • binary archives
  • "root portability" (rpath, etc)
  • usage examples
  • integration with git

Configuring Orchestra

See the documentation in /docs.

Usage

TODO - document Orchestra usage

Installing

python setup.py bdist_wheel
pip install --user dist/orchestra*.whl

Developing

See HACKING.md

Releases

No releases published

Packages

 
 
 

Contributors 4

  •  
  •  
  •  
  •  

Languages