diff options
author | Luigi Scarso <luigi.scarso@gmail.com> | 2019-01-06 18:57:01 +0000 |
---|---|---|
committer | Luigi Scarso <luigi.scarso@gmail.com> | 2019-01-06 18:57:01 +0000 |
commit | 0c14fd18747b9f6fbbecb75ba8beef6d449c460a (patch) | |
tree | 6c60915cf22ba35f9f4fff0048ebe3a6c073662d /Build/source/libs/lua52/lua52-src/src/lundump.h | |
parent | 2a4260012f7ef1890dd351aabe4befd60922d5a6 (diff) |
luatex 1.09.2; r-mpost alias of mpost -restricted
git-svn-id: svn://tug.org/texlive/trunk@49614 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs/lua52/lua52-src/src/lundump.h')
-rw-r--r-- | Build/source/libs/lua52/lua52-src/src/lundump.h | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/Build/source/libs/lua52/lua52-src/src/lundump.h b/Build/source/libs/lua52/lua52-src/src/lundump.h deleted file mode 100644 index ede365a2272..00000000000 --- a/Build/source/libs/lua52/lua52-src/src/lundump.h +++ /dev/null @@ -1,28 +0,0 @@ -/* -** $Id: lundump.h,v 1.39.1.1 2013/04/12 18:48:47 roberto Exp $ -** load precompiled Lua chunks -** See Copyright Notice in lua.h -*/ - -#ifndef lundump_h -#define lundump_h - -#include "lobject.h" -#include "lzio.h" - -/* load one chunk; from lundump.c */ -LUAI_FUNC Closure* luaU_undump (lua_State* L, ZIO* Z, Mbuffer* buff, const char* name); - -/* make header; from lundump.c */ -LUAI_FUNC void luaU_header (lu_byte* h); - -/* dump one chunk; from ldump.c */ -LUA_API int luaU_dump (lua_State* L, const Proto* f, lua_Writer w, void* data, int strip); - -/* data to catch conversion errors */ -#define LUAC_TAIL "\x19\x93\r\n\x1a\n" - -/* size in bytes of header of binary files */ -#define LUAC_HEADERSIZE (sizeof(LUA_SIGNATURE)-sizeof(char)+2+6+sizeof(LUAC_TAIL)-sizeof(char)) - -#endif |