Mercurial > repo
view paste/paste.11500 @ 6946:d634e64cd991
<shachaf> le/rn cut elimination/The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator.
author | HackBot |
---|---|
date | Wed, 24 Feb 2016 05:54:46 +0000 |
parents | 05d749e1b42b |
children |
line wrap: on
line source
cd src && make linux make[1]: Entering directory `/hackenv/luabuild/lua-5.2.1/src' make all SYSCFLAGS="-DLUA_USE_LINUX" SYSLIBS="-Wl,-E -ldl -lreadline -lncurses" make[2]: Entering directory `/hackenv/luabuild/lua-5.2.1/src' gcc -O2 -Wall -DLUA_COMPAT_ALL -DLUA_USE_LINUX -c -o loadlib.o loadlib.c gcc -O2 -Wall -DLUA_COMPAT_ALL -DLUA_USE_LINUX -c -o linit.o linit.c ar rcu liblua.a lapi.o lcode.o lctype.o ldebug.o ldo.o ldump.o lfunc.o lgc.o llex.o lmem.o lobject.o lopcodes.o lparser.o lstate.o lstring.o ltable.o ltm.o lundump.o lvm.o lzio.o lauxlib.o lbaselib.o lbitlib.o lcorolib.o ldblib.o liolib.o lmathlib.o loslib.o lstrlib.o ltablib.o loadlib.o linit.o ranlib liblua.a gcc -O2 -Wall -DLUA_COMPAT_ALL -DLUA_USE_LINUX -c -o lua.o lua.c make[2]: Leaving directory `/hackenv/luabuild/lua-5.2.1/src' make[1]: Leaving directory `/hackenv/luabuild/lua-5.2.1/src'