diff options
| author | Dimitri Staessens <dimitri@ouroboros.rocks> | 2019-04-02 15:57:15 +0200 |
|---|---|---|
| committer | Dimitri Staessens <dimitri.staessens@ugent.be> | 2019-04-04 10:17:16 +0200 |
| commit | 788589ae595d7a757209556ae2ca4a789db0929d (patch) | |
| tree | 2a520b70c25719af30a55fca37e804d563df6dcf /rumba/testbeds/jfed.py | |
| parent | e85ae32074022f8212b01cb4b8829b7d16b8a23e (diff) | |
| download | rumba-788589ae595d7a757209556ae2ca4a789db0929d.tar.gz rumba-788589ae595d7a757209556ae2ca4a789db0929d.zip | |
experiment: Add build_options and add_packages
This adds parameters build_options and add_packages that allows
passing additional packages to install and a string of flags that can
be processed by the prototypes. In the case of the Ouroboros
prototype, it passes CMake build options.
Diffstat (limited to 'rumba/testbeds/jfed.py')
0 files changed, 0 insertions, 0 deletions