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