Hi Volker, Am Sonntag, 4. Oktober 2015 20:54:25 UTC+2 schrieb Volker Braun: > > Its makefile syntax since its really just a script that glues everything > together into one makefile. The ones after the pipe are order only > dependencies. > > I don't see the developer manual mentioning the meaning of $(INST); I can only guess that it is a command that installs another package unless it is installed already. But what package? Do you confirm my guess that $(INST)/$(FOO) does "sage -i foo" unless foo is already installed?
What is an "order only dependency"? Cheers, 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
