[Ivette] move API generator

ivette/src/frama-c/api_generator.ml → src/plugins/api-generator/api_generator.ml

@@ -559,20 +559,22 @@ let makePackage pkg path fmt =
 (* -------------------------------------------------------------------------- *)
 
 let generate () =
-  begin
-    Pkg.iter
-      begin fun pkg ->
-        let path = pkg_path ~plugin:pkg.p_plugin ~package:pkg.p_package in
-        Self.feedback "Package %s" path ;
-        let out = OUT.get () in
-        let file = Printf.sprintf "%s/%s/index.ts" out path in
-        let dir = Filename.dirname file in
-        if not (Sys.file_exists dir && Sys.is_directory dir) then
-          Extlib.mkdir ~parents:true dir 0o755 ;
-        Command.print_file file (makePackage pkg path) ;
-      end
-  end
-
-let () = Db.Main.extend generate
+  if TSC.get () then
+    begin
+      Pkg.iter
+        begin fun pkg ->
+          let path = pkg_path ~plugin:pkg.p_plugin ~package:pkg.p_package in
+          Self.feedback "Package %s" path ;
+          let out = OUT.get () in
+          let file = Printf.sprintf "%s/%s/index.ts" out path in
+          let dir = Filename.dirname file in
+          if not (Sys.file_exists dir && Sys.is_directory dir) then
+            Extlib.mkdir ~parents:true dir 0o755 ;
+          Command.print_file file (makePackage pkg path) ;
+        end
+    end
+
+let () =
+  Db.Main.extend generate
 
 (* -------------------------------------------------------------------------- *)

src/plugins/api-generator/dune

+( library
+  (name api_generator)
+  (public_name frama-c-api-generator.core)
+  (flags -open Frama_c_kernel :standard -w -9)
+  (libraries frama-c.kernel frama-c-server.core)
+)
+
+(plugin (optional) (name api_generator) (libraries frama-c-api-generator.core) (site (frama-c plugins)))

src/plugins/api-generator/dune-project

+(lang dune 2.8)
+(name frama-c-api-generator)
+(using dune_site 0.1)