Back in 2019 we made libedit's install prefix /tools/deps/libedit so we could have both readline and libedit installed side-by-side. This was all to support multiple extension module variants for _readline - one compiling against readline and another against libedit.
The extension module variants were removed in commit ba9fe19edec751e23f02f12a9c3ae7f928d22e08. But this one-off install prefix to support simultaneous readline and libedit presence still lingered.
This commit removes the one-off install prefix and makes libedit like every other dependency.
Back in 2019 we made libedit's install prefix
/tools/deps/libedit
so we could have both readline and libedit installed side-by-side. This was all to support multiple extension module variants for_readline
- one compiling against readline and another against libedit.The extension module variants were removed in commit ba9fe19edec751e23f02f12a9c3ae7f928d22e08. But this one-off install prefix to support simultaneous readline and libedit presence still lingered.
This commit removes the one-off install prefix and makes libedit like every other dependency.