Change up a lot of stuff.

Add more functions to the plugin interface and write some generators to
generate an interface header file and the plugin's loading code.

1 files changed, 5 insertions, 16 deletions

diff --git a/src/harness_adapter.c b/src/harness_adapter.c
index dbae57a..15a2269 100644
--- a/src/harness_adapter.c
+++ b/src/harness_adapter.c
@@ -1,19 +1,8 @@
-#include <stdio.h>
 #include "HsFFI.h"
+#include "plugin_interface.h"
 
-typedef void* opst_t;
+const char *plugin_name = "Wetterhorn";
 
-extern opst_t wetterhorn();
-
-opst_t plugin_init(int* argc, char*** argv)
-{
-  hs_init(argc, argv);
-  return wetterhorn();
-}
-
-void plugin_teardown()
-{
-  hs_exit();
-}
-
-const char* plugin_name = "Wetterhorn";
+void plugin_load(int argc, char **argv) { hs_init(&argc, &argv); }
+void plugin_metaload(int argc, char **argv) { hs_init(&argc, &argv); }
+void plugin_teardown(opqst_t st) { hs_exit(); }