Difference between revisions of "Colloquium 2024 Make: obsolete or elegant?"

From SHARCNETHelp
Jump to navigationJump to search
(Created page with "Make is a classic Unix development tool, which may seem archaic and narrow-purpose. But if you think of it as a declarative, parallelized workflow automation tool, it sounds...")
 
(No difference)

Latest revision as of 12:19, 13 March 2024

Make is a classic Unix development tool, which may seem archaic and narrow-purpose. But if you think of it as a declarative, parallelized workflow automation tool, it sounds more relevant. We'll consider stereotypical use of make, then its general properties, and show some interesting examples of make applied to unusual uses.