padicotm: Wrap 'padico-launch' with an appropriate PATH.
* inria/tadaam.scm (padicotm-2019-05-13)[arguments]: Add 'wrap-padico-launch' phase. [inputs]: New field.
Please register or sign in to comment
* inria/tadaam.scm (padicotm-2019-05-13)[arguments]: Add 'wrap-padico-launch' phase. [inputs]: New field.