5 Jan
2021
5 Jan
'21
10:05 p.m.
On 1/5/21 9:20 PM, Alexandre Torres Porres wrote:
Sorry, still lost, even with all the hints and references. Been reading it all as careful as possible, the localdeps.*.sh scripts,
hmm, it seems that my overly clear documentation within the scripts is still not enough.
the localdeps.*.sh scripts have in their header:
## usage: $0 <binary> [<binary2>...]
and that's just about all you need to know: run those scripts with the (relative) paths to the externals as arguments. the scripts will do the rest.
gfmdsar IOhannes