-
Francois-Rene Rideau authored
* Use define-command to define and register a command * Introduce the notion of workspace to store intermediate and target files. * Update Makefiles for new intended output paths
def71e66
* Use define-command to define and register a command * Introduce the notion of workspace to store intermediate and target files. * Update Makefiles for new intended output paths