[ivette] configure package loader

ivette/.gitignore

@@ -11,5 +11,6 @@ yarn-error.log
 /bin
 /dist
 /doc/html
+/src/renderer/loader.ts
 
 # --------------------------------------------------------------------------

ivette/Makefile

@@ -9,9 +9,9 @@ DOME_CUSTOM_ENTRIES= yes
 COPYRIGHT=CEA LIST / LSL
 # --------------------------------------------------------------------------
 
-.PHONY: all app dev doc serve dist lint fixlint
+.PHONY: all app dev pkg doc serve dist lint fixlint
 
-all: lint app
+all: pkg lint app
 
 app: dome-app
 dev: dome-dev
@@ -27,6 +27,23 @@ tsc: dome-pkg dome-templ
 	yarn run typecheck
 	yarn run lint --fix --cache --cache-location .eslint-cache
 
+# --------------------------------------------------------------------------
+# --- Ivette Package Loader
+# --------------------------------------------------------------------------
+
+LOADER=src/renderer/loader.ts
+PACKAGES=$(shell find src -name "pkg.json")
+
+lint: pkg
+app: pkg
+dev: pkg
+pkg: $(LOADER)
+$(LOADER): $(PACKAGES) ./configure.js ./Makefile
+	@rm -f $(LOADER)
+	@echo "[Ivette] configure packages"
+	@node ./configure.js $(LOADER) $(PACKAGES)
+	@chmod -f a-w $(LOADER)
+
 # --------------------------------------------------------------------------
 # --- Frama-C API
 # --------------------------------------------------------------------------

ivette/configure.js

+// --------------------------------------------------------------------------
+// --- Configure Packages
+// --- Called by [make pkg]
+// --------------------------------------------------------------------------
+
+const path = require('path');
+const fs = require('fs');
+
+const loader = process.argv[2];
+const inputFiles = process.argv.slice(3);
+const packages = new Map();
+let buffer = '// Ivette Package Loader (generated)\n';
+
+inputFiles.forEach((file) => {
+  try {
+    const pkgId = path.relative('./src',path.dirname(file));
+    const pkgSrc = fs.readFileSync(file, { encoding: 'UTF-8' });
+    const pkgJson = JSON.parse(pkgSrc);
+    packages.set(pkgId,pkgJson);
+  } catch(err) {
+    console.error(`[Dome] Error ${file}: ${err}`);
+    process.exit(1);
+  }
+});
+
+function depend(id) {
+  const pkg = packages.get(id);
+  if (pkg) configure(pkg,id);
+}
+
+function configure(pkg, id) {
+  if (!pkg.done) {
+    pkg.done = true;
+    for(let parent = id;;) {
+      parent = path.dirname(parent);
+      if (!parent || parent === '.') break;
+      depend(parent);
+    }
+    const { depends=[], main='.' } = pkg;
+    depends.forEach(depend);
+    console.log(`[Ivette] package ${id}`);
+    buffer += `import '${path.join(id,main)}';\n`;
+  }
+}
+
+packages.forEach(configure);
+fs.writeFileSync(loader, buffer);

ivette/src/frama-c/pkg.json

+{
+  "name": "Frama-C"
+}

ivette/src/frama-c/plugins/dive/pkg.json

+{
+  "name": "Frama-C/Dive"
+}

ivette/src/frama-c/plugins/eva/pkg.json

+{
+  "name": "Frama-C/Eva"
+}

ivette/src/renderer/Application.tsx

@@ -13,7 +13,7 @@ import * as Sidebar from 'dome/frame/sidebars';
 import * as Controller from './Controller';
 import * as Extensions from './Extensions';
 import * as Laboratory from './Laboratory';
-import './PackageLoader';
+import './loader';
 
 // --------------------------------------------------------------------------
 // --- Main View

ivette/src/renderer/PackageLoader.tsx

-/* --------------------------------------------------------------------------*/
-/* --- This file is intended to be generated                              ---*/
-/* --------------------------------------------------------------------------*/
-
-import 'frama-c';
-import 'frama-c/plugins/eva';
-import 'frama-c/plugins/dive';
-
-/* --------------------------------------------------------------------------*/