Mercurial > repo
view paste/paste.11500 @ 8486:3263626338f2
<shachaf> le/rn modal logic/"modal logic" means "the most common logic" (that is, classical logic).
author | HackBot |
---|---|
date | Thu, 16 Jun 2016 04:56:50 +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'