diff options
| author | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2018-10-30 15:32:56 +0100 |
|---|---|---|
| committer | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2018-10-30 15:32:56 +0100 |
| commit | b798ac29c37299b2f761243ae92ab8f7c4c4d7f1 (patch) | |
| tree | eb9b9cc9be294fe5bd3acf9a342098ffc0ea06e5 /source/xi_lib/plugin_register.ml | |
Initial commit
Diffstat (limited to 'source/xi_lib/plugin_register.ml')
| -rw-r--r-- | source/xi_lib/plugin_register.ml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/source/xi_lib/plugin_register.ml b/source/xi_lib/plugin_register.ml new file mode 100644 index 0000000..da7e8a6 --- /dev/null +++ b/source/xi_lib/plugin_register.ml @@ -0,0 +1,16 @@ +open Plugin + +let register = ref [] + +let current_file = ref "" + +let register_plugin plugin = + register := (!current_file, plugin) :: !register + +module RegisterPlugin(P:PLUGIN) = struct + + let handle = (module P : PLUGIN) + + let () = register_plugin handle + +end \ No newline at end of file |