1
function ilib_build(ilib_name,table,files,libs,makename)
4
if rhs <= 4 then makename = 'Makelib';end
5
// generate the gateway file
6
if info==1 then write(%io(2),' generate a gateway file');end
7
ilib_gen_gateway(ilib_name,table)
8
// generate a loader file
9
if info==1 then write(%io(2),' generate a loader file');end
10
ilib_gen_loader(ilib_name,table);
11
// generate a Makefile
12
if info==1 then write(%io(2),' generate a Makefile: Makelib');end
13
ilib_gen_Make(ilib_name,files,libs,makename);
15
if info==1 then write(%io(2),' running the makefile');end
16
ilib_compile(ilib_name,makename);
1
function ilib_build(ilib_name,table,files,libs,makename,ldflags,cflags,fflags)
5
if rhs <= 4 then makename = 'Makelib';end
6
if rhs <= 5 then ldflags = ""; end
7
if rhs <= 6 then cflags = ""; end
8
if rhs <= 7 then fflags = ""; end
9
// generate the gateway file
10
if info==1 then write(%io(2),' generate a gateway file');end
11
ilib_gen_gateway(ilib_name,table)
12
// generate a loader file
13
if info==1 then write(%io(2),' generate a loader file');end
14
ilib_gen_loader(ilib_name,table,libs);
15
// generate a Makefile
16
if info==1 then write(%io(2),' generate a Makefile: Makelib');end
17
ilib_gen_Make(ilib_name,table,files,libs,makename,%t,ldflags,cflags,fflags);
19
if info==1 then write(%io(2),' running the makefile');end
20
ilib_compile(ilib_name,makename,files);