utilitaires |
13/03/2012 |
Réalise un fichier makefile en mode batch.
Ce script necessite le programme wasfile des outils wbat32 afin de pouvoir comparer la date entre deux fichiers.
Ce makefile est un peu plus sophistiqué, dans le sens où il gère des régles;
On lui fournit une liste de fichiers, et pour chacun si le fichier target n'existe pas on le créé et si le fichier source est plus récent que le fichier target, on le créé.
@ECHO OFF set rules=( aide_integree make make2 menu rename rename2) ::---------------------------------- :: programme set ex2html=ex2html set stxt2html=..\..\stxt2html.pl ::---------------------------------- :: makefile ::---------------------------------- for %%x in %rules% do call :compile %%x goto :eof ::---------------------------------- :: règles ::---------------------------------- :compile if not exist %1.html ( echo make %1.html perl %ex2html% %1.ex ) WasFile %1.ex modified after %1.html if %errorlevel%==0 ( echo make %1.html perl %ex2html% %1.ex ) exit /b