diff options
Diffstat (limited to 'mkdll.bat')
-rwxr-xr-x | mkdll.bat | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/mkdll.bat b/mkdll.bat deleted file mode 100755 index 17e934f..0000000 --- a/mkdll.bat +++ /dev/null @@ -1,8 +0,0 @@ -rem @echo off - -call setvar.bat dll -echo make bls384.dll -cl /c %CFLAGS% /DBLS_NO_AUTOLINK /Foobj/bls_c.obj src/bls_c.cpp -cl /c %CFLAGS% /DBLS_NO_AUTOLINK /Foobj/fp.obj ../mcl/src/fp.cpp -lib /OUT:lib/bls384.lib /nodefaultlib obj/bls_c.obj obj/fp.obj %LDFLAGS% -cl /LD /MT obj/bls_c.obj obj/fp.obj %CFLAGS% /link /out:bin/bls384.dll %LDFLAGS% |