> > Hmm, that could be useful, even if not as automated, since it would > > mean only typing "make" once, which is the real goal. It wouldn't > > lead to an error if I only delete that file (i.e. spkg-install doesn't > > have lines about spkg-check in it that would stop the build)? > > No. The script sage-spkg (in local/bin) checks whether SAGE_CHECK is set > and whether there is a script spkg-check, and if both are true, it runs the > script. So if you delete the script, everything will be fine.
Okay. If I recall correctly, there are one or two spkgs I've looked at in the past where the spkg-install does something with SAGE_CHECK and then does something, though perhaps said spkgs didn't have an spkg- check file. At any rate, at one point what you said wasn't 100% true, though it shouldn't impact this issue. Thanks. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org