Post B2mEDejnFRToimBd56 by wyatt@soc.megatokyo.moe
(DIR) More posts by wyatt@soc.megatokyo.moe
(DIR) Post #B2mEDaWstUmFfa7GPA by reiddragon@fedi.catto.garden
2026-01-29T11:13:55.898223Z
0 likes, 0 repeats
hot take: programs expecting you to `make install` should have separate recipes for user and system installations, and make the user one the default
(DIR) Post #B2mEDc9CsV1egj3NmC by wyatt@soc.megatokyo.moe
2026-01-29T11:18:06.150662Z
0 likes, 0 repeats
@reiddragon make install DESTDIR=$HOME
(DIR) Post #B2mEDdO8GUYiXJ2ogC by reiddragon@fedi.catto.garden
2026-01-29T11:19:38.410392Z
0 likes, 0 repeats
@wyatt not all makefiles support that (*most* that I've seen don't)
(DIR) Post #B2mEDejnFRToimBd56 by wyatt@soc.megatokyo.moe
2026-01-29T11:20:29.794334Z
1 likes, 0 repeats
@reiddragon i got adept at editing makefiles
(DIR) Post #B2nB0odd1NnGxTRs8W by scathach@stereophonic.space
2026-01-29T23:21:27.634413Z
0 likes, 0 repeats
@reiddragon make install PREFIX=$HOME/.local
(DIR) Post #B2nBFOvctLKbZ4p0hE by reiddragon@fedi.catto.garden
2026-01-29T23:22:52.118019Z
0 likes, 0 repeats
@scathach not all makefiles support that
(DIR) Post #B2nBFQ1goHm8yAfMmm by scathach@stereophonic.space
2026-01-29T23:24:04.304860Z
0 likes, 0 repeats
@reiddragon Broken makefiles don't