> > 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

Reply via email to