Re: [sage-devel] Re: Package installation/uninstallation confusion

2019-11-12 Thread E. Madison Bray
On Tue, Nov 12, 2019 at 4:44 PM Simon King wrote: > > Dear Erik, > > On 2019-11-12, E. Madison Bray wrote: > > On Fri, Nov 8, 2019 at 11:06 PM Simon King wrote: > >> While we are at it: Currently, for building the package's documentation, > >> I use "$MAKE html" followed by some "cp -r" to copy

[sage-devel] Re: Package installation/uninstallation confusion

2019-11-12 Thread Simon King
Dear Erik, On 2019-11-12, E. Madison Bray wrote: > On Fri, Nov 8, 2019 at 11:06 PM Simon King wrote: >> While we are at it: Currently, for building the package's documentation, >> I use "$MAKE html" followed by some "cp -r" to copy the resulting html >> files to

Re: [sage-devel] Re: Package installation/uninstallation confusion

2019-11-12 Thread E. Madison Bray
On Fri, Nov 8, 2019 at 11:06 PM Simon King wrote: > > Hi Erik, > > On 2019-11-08, E. Madison Bray wrote: > > Just to clarify, once more (and please reread my earlier message in > > this thread regarding what a "DESTDIR install" is and why that is > > used), > > This does not clarify it to me at

[sage-devel] Re: Package installation/uninstallation confusion

2019-11-11 Thread John H Palmieri
I created https://trac.sagemath.org/ticket/28721 to add documentation for these to the developer's guide. Needs review. John On Thursday, November 7, 2019 at 8:27:32 AM UTC-8, John H Palmieri wrote: > > These shell functions are defined and documented in >

[sage-devel] Re: Package installation/uninstallation confusion

2019-11-08 Thread Simon King
Hi Erik, On 2019-11-08, E. Madison Bray wrote: > Just to clarify, once more (and please reread my earlier message in > this thread regarding what a "DESTDIR install" is and why that is > used), This does not clarify it to me at all, I'm afraid. To start with, in my very simple mind, I can not

Re: [sage-devel] Re: Package installation/uninstallation confusion

2019-11-08 Thread E. Madison Bray
On Thu, Nov 7, 2019 at 6:26 PM Simon King wrote: > > If sdh_make_install and sdh_pip_install can share a single json file, > then there would be no need to split the package. I.e., the question is > whether "sdh_pip_install" will override the json file created by > "sdh_make_install", or whether

Re: [sage-devel] Re: Package installation/uninstallation confusion

2019-11-08 Thread E. Madison Bray
On Wed, Nov 6, 2019 at 6:33 PM Dima Pasechnik wrote: > > sdh_install installs a json file into > SAGE_LOCAL/var/lib/sage/installed/ > which are then used by unistallaller > > e.g. "make meataxe" produces SAGE_LOCAL/var/lib/sage/installed/meataxe-1.0.p0 > { > "package_name": "meataxe", >

[sage-devel] Re: Package installation/uninstallation confusion

2019-11-07 Thread Simon King
Hi Dima, On 2019-11-06, Dima Pasechnik wrote: > sdh_install installs a json file into > SAGE_LOCAL/var/lib/sage/installed/ > which are then used by unistallaller > ... > I guess sdh_pip_install does not do this, I don't know. No, I just checked: Those files of p_group_cohomology that got

[sage-devel] Re: Package installation/uninstallation confusion

2019-11-07 Thread Simon King
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 wrote: > These shell functions are defined and documented in >

[sage-devel] Re: Package installation/uninstallation confusion

2019-11-07 Thread John H Palmieri
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,

[sage-devel] Re: Package installation/uninstallation confusion

2019-11-07 Thread Simon King
Hi Dima, On 2019-11-06, Dima Pasechnik 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

Re: [sage-devel] Re: Package installation/uninstallation confusion

2019-11-06 Thread Dima Pasechnik
On Wed, Nov 6, 2019 at 7:17 PM John H Palmieri wrote: > > Simon, you should look at the json file for p_group_cohomology to see if it > contains all of the installed files, or if indeed some are not listed. If > everything is there, there is no need to split it into two packages, unless > I'm

Re: [sage-devel] Re: Package installation/uninstallation confusion

2019-11-06 Thread John H Palmieri
Simon, you should look at the json file for p_group_cohomology to see if it contains all of the installed files, or if indeed some are not listed. If everything is there, there is no need to split it into two packages, unless I'm missing something. On Wednesday, November 6, 2019 at 9:33:04

Re: [sage-devel] Re: Package installation/uninstallation confusion

2019-11-06 Thread Dima Pasechnik
sdh_install installs a json file into SAGE_LOCAL/var/lib/sage/installed/ which are then used by unistallaller e.g. "make meataxe" produces SAGE_LOCAL/var/lib/sage/installed/meataxe-1.0.p0 { "package_name": "meataxe", "package_version": "1.0.p0", "install_date": "Wed Nov 6 17:24:57

[sage-devel] Re: Package installation/uninstallation confusion

2019-11-06 Thread Simon King
Hi Eric, On 2019-11-06, E. Madison Bray wrote: >> However, I heard rumours that in order to make a Sage optional package >> uninstallable, one needs some new script analogous to spkg-install. >> >> Can someone give me a pointer on what should be done in that script and >> what tools (sdh_*) are

Re: [sage-devel] Re: Package installation/uninstallation confusion

2019-11-06 Thread E. Madison Bray
On Wed, Nov 6, 2019 at 7:58 AM Simon King wrote: > > On 2019-11-05, E. Madison Bray wrote: > > The generated file `build/make/Makefile` is output by the > > `./configure` script. In fact, that's its main purpose. When > > switching branches in this case the best thing to do is to re-run > >

[sage-devel] Re: Package installation/uninstallation confusion

2019-11-05 Thread Simon King
On 2019-11-05, E. Madison Bray wrote: > The generated file `build/make/Makefile` is output by the > `./configure` script. In fact, that's its main purpose. When > switching branches in this case the best thing to do is to re-run > `./configure`. Concerning the original question how to