dbuenzli/topkg

Add a `lib_bin` field

Closed this issue · 1 comments

Currently installing ppx binaries in lib leads to inacceptable relative hacks in .install files.

In fact support already existed under the form of the libexec field and 392192f doesn't work since the executable bit is not set.