From 9a54f2f52fdaf9364b0f757f5cdcbf09de230919 Mon Sep 17 00:00:00 2001 From: Zuhaitz Méndez Fernández de Aránguiz Date: Mon, 12 Jan 2026 12:35:57 +0000 Subject: Improved comptime feature, and added example. --- src/main.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/main.c') diff --git a/src/main.c b/src/main.c index d23cd0b..f62d635 100644 --- a/src/main.c +++ b/src/main.c @@ -2,6 +2,7 @@ #include "parser/parser.h" #include "plugins/plugin_manager.h" #include "repl/repl.h" +#include "zen/zen_facts.h" #include "zprep.h" #include #include @@ -188,6 +189,7 @@ int main(int argc, char **argv) } init_builtins(); + zen_init(); // Initialize Plugin Manager zptr_plugin_mgr_init(); @@ -237,10 +239,6 @@ int main(int argc, char **argv) return 1; } - // Checking mode? - // analyze(root); // Implicit in parsing or separate step? Assuming separate - // if check_mode - if (g_config.mode_check) { // Just verify @@ -297,11 +295,13 @@ int main(int argc, char **argv) char run_cmd[2048]; sprintf(run_cmd, "./%s", outfile); ret = system(run_cmd); - // Clean up executable remove(outfile); + zptr_plugin_mgr_cleanup(); + zen_trigger_global(); return ret; } zptr_plugin_mgr_cleanup(); + zen_trigger_global(); return 0; } -- cgit v1.2.3