Though pretty much unix-related, I find this a good rule of thumb. http://www.gnu.org/software/make/manual/make.html#Utilities-in-Makefiles
But otherwise there should be "configure" to figure out the machine differences. Ralf On 10/20/2009 12:04 PM, David Kirkby wrote: > Only a few days ago you agreed we would not have RM, CP and other very > basic commands set as environment variables. > > IMHO, if someone wants 'rm -f' they should type it. Looking in the > packages now, 95+% of people use 'rm' or 'rm -f' rather than '$(RM)" > so I think it would be better to drop the use of such an environment > variable. > > Dave --~--~---------~--~----~------------~-------~--~----~ To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
