Draft: Build: move bin-tps-eval to devtools/
Context
bin-tps-evaluation is special:
- it's not released (it's only used for dev)
- it cannot be built after
make build-deps
but needsmake build-dev-deps
instead (its dependencies are considered dev dependencies)
Hence this MR: moving it into devtools/
.
NOTE: as it stands (2022-06-29) it would break the LTF/PRT tests to merge this into master. Still needs to fix this.
Related: opam-repository!333
Manually testing the MR
Checklist
-
Document the interface of any function added or modified (see the coding guidelines) -
Document any change to the user interface, including configuration parameters (see node configuration) -
Provide automatic testing (see the testing guide). -
For new features and bug fixes, add an item in the appropriate changelog ( docs/protocols/alpha.rst
for the protocol and the environment,CHANGES.rst
at the root of the repository for everything else). -
Select suitable reviewers using the Reviewers
field below. -
Select as Assignee
the next person who should take action on that MR
Edited by Raphaël Proust