jenkins-bot has submitted this change and it was merged. Change subject: Add config.cmake for HHVM DSO build ......................................................................
Add config.cmake for HHVM DSO build Requires https://github.com/facebook/hhvm/pull/2610 . Makes it possible to create a luasandbox.so with "hphpize && cmake . && make". Change-Id: I6d86adbc32fdd352b1fb0654bd246b4681465cdc --- A config.cmake 1 file changed, 16 insertions(+), 0 deletions(-) Approvals: Tim Starling: Looks good to me, approved Ori.livneh: Looks good to me, but someone else must approve jenkins-bot: Verified diff --git a/config.cmake b/config.cmake new file mode 100644 index 0000000..9718cbb --- /dev/null +++ b/config.cmake @@ -0,0 +1,16 @@ +INCLUDE(FindLua51) +if (!LUA51_FOUND) + message(FATAL_ERROR "unable to find Lua 5.1") +endif() + +HHVM_COMPAT_EXTENSION(luasandbox + alloc.c + data_conversion.c + library.c + luasandbox.c + timer.c + luasandbox_lstrlib.c) + +HHVM_ADD_INCLUDES(luasandbox ${LUA_INCLUDE_DIR}) +HHVM_LINK_LIBRARIES(luasandbox ${LUA_LIBRARIES}) +HHVM_SYSTEMLIB(luasandbox ext_luasandbox.php) -- To view, visit https://gerrit.wikimedia.org/r/131637 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I6d86adbc32fdd352b1fb0654bd246b4681465cdc Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/php/luasandbox Gerrit-Branch: master Gerrit-Owner: Tim Starling <[email protected]> Gerrit-Reviewer: Anomie <[email protected]> Gerrit-Reviewer: Ori.livneh <[email protected]> Gerrit-Reviewer: Tim Starling <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
