// $Id$
// vim:ft=javascript

ARG_ENABLE("jsonnet", "enable jsonnet support", "no");

if (PHP_SEASLOG != "no") {
	EXTENSION("jsonnet", "jsonnet.c");
}