On 2016-07-15 at 17:59 Dan Cross <[email protected]> wrote: > That is correct. I'm anticipating no one will want to build/run busybox > shortly.
I'll probably keep it around for debugging. > I wouldn't say I sorted it out; the solution is to invoke 'bind' by > pathname as '/bin/bind' since 'bind' is a builtin in Bash. One could try, > 'alias bind=/bin/bind' and then run the builtin bind using, 'builtin bind' > if one wanted, but I don't think that helps all that much for scripts. The main issue is that we have our own bind, which means something very different than bash's. We probably ought to just change our bind to be a flag to mount, and remove the function. > > %.tar.bz2 %.tar.gz %.tbz: > > $(Q)wget $(fetch-url) > > > > Hmm. I changed that because it wasn't clear to me why we would care about > anything other than the compression type used by a particular program. If > we want to keep this generic, I would argue it should be in the Makefrag. Mostly because we're still trying to figure out what is generic and what isn't. Though this isn't really worth worrying about too much. > > To some extent, I'm OK merging this as is. But I'd like to get a > > feeling for what is and isn't necessary for certain packages. > > > > What happens if you try, 'make uninstall DESTDIR=$KFS_ROOT' ? > > I'm on the fence but leaning against an 'uninstall'. If we have an > uninstall, I think it should be a separate target; 'mrproper' should be for > getting this directory back to a pristine state, right? Removing the > installed binaries there is a bit surprising. yeah, mrproper might not be the right name for that, and i'd be fine with a separate target for this makefile and for all others. my other concern was that something was broken with the various prefix settings. from talking with dan in person, it sounds like we should be configuring with prefix = / (probably), and make install and uninstall with DESTDIR. it appears that destdir isn't a configure option either, which is fine. -- You received this message because you are subscribed to the Google Groups "Akaros" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. For more options, visit https://groups.google.com/d/optout.
