These shell functions are defined and documented in SAGE_ROOT/build/bin/sage-dist-helpers. In my opinion they should also be documented in the developer's guide, but they don't seem to be.
On Thursday, November 7, 2019 at 6:35:05 AM UTC-8, Simon King wrote: > > Hi Dima, > > On 2019-11-06, Dima Pasechnik <dim...@gmail.com <javascript:>> wrote: > > if you look at its spkg-install, you'd see that shd_install is not > > used at some place, instead > > > > make install > > > > is done, something that won't write any JSON files, IMHO... > > Good that I leave comments in my code... > > The comment says that I used $MAKE install, because "sdh_make install > got broken by trac ticket #24106". > > However, I was unaware that apparently "sdh_make install" ought to be > replaced by "sdh_install". So, I guess I should test this. > > Or not? I see that far more packages use sdh_make_install (note the > difference: What got broken apparently was sdh_make install with a blank > space) than sdh_install. > > Can you point me to man pages, where sdh_install versus > sdh_make_install is discussed? > > Best regards, > Simon > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/10e06ff0-55d0-425e-b03a-68096f688cb2%40googlegroups.com.
