home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
ledar34.zip
/
leda-r-3_4_tar
/
LEDA-3.4
/
confdir
/
make
/
make_lib.bat
next >
Wrap
DOS Batch File
|
1996-09-03
|
727b
|
69 lines
if not exist leda.lic exit
echo.
echo src\basic
cd src\basic
%make% -i %1
echo.
echo src\basic_alg
cd ..\basic_alg
%make% -i %1
echo.
echo src\numbers
cd ..\numbers
%make% -i %1
echo.
echo src\dict
cd ..\dict
%make% -i %1
echo.
echo src\prio
cd ..\prio
%make% -i %1
echo.
echo src\graph
cd ..\graph
%make% -i %1
echo.
echo src\graph_alg
cd ..\graph_alg
%make% -i %1
echo.
echo src\plane
cd ..\plane
%make% -i %1
echo.
echo src\plane_alg
cd ..\plane_alg
%make% -i %1
echo.
echo src\window
cd ..\window
%make% -i %1
echo.
echo src\graphwin
cd ..\graphwin
%make% -i %1
echo.
echo src\%wdir%
cd ..\%wdir%
%make% -i %1
cd ..\..
set make=
set wdir=