Hi John, thank you!
So, I'll try sdh_make_install (sdh_install just copies some files), keep using sdh_pip_install, and check what jason file results. Best regards, Simon On 2019-11-07, John H Palmieri <jhpalmier...@gmail.com> wrote: > 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/qq1hv5%2413u7%241%40blaine.gmane.org.
