[ivette] distribute sandbox

ivette/Makefile.distrib

@@ -18,6 +18,7 @@ DISTRIB_FILES += ivette/electron-builder.json
 DISTRIB_FILES += ivette/electron-webpack.json
 DISTRIB_FILES += ivette/ivette-macos.sh
 DISTRIB_FILES += ivette/package.json
+DISTRIB_FILES += ivette/sandboxer.js
 DISTRIB_FILES += ivette/src/dome/.gitignore
 DISTRIB_FILES += ivette/src/dome/CONTRIBUTING.md
 DISTRIB_FILES += ivette/src/dome/CONTRIBUTORS.md
@@ -195,7 +196,6 @@ DISTRIB_FILES += ivette/src/frama-c/server.ts
 DISTRIB_FILES += ivette/src/frama-c/states.ts
 DISTRIB_FILES += ivette/src/ivette/index.tsx
 DISTRIB_FILES += ivette/src/ivette/prefs.tsx
-DISTRIB_FILES += ivette/src/ivette/sandbox.tsx
 DISTRIB_FILES += ivette/src/main/index.js
 DISTRIB_FILES += ivette/src/renderer/Application.tsx
 DISTRIB_FILES += ivette/src/renderer/Controller.tsx
@@ -204,6 +204,8 @@ DISTRIB_FILES += ivette/src/renderer/Laboratory.tsx
 DISTRIB_FILES += ivette/src/renderer/Preferences.tsx
 DISTRIB_FILES += ivette/src/renderer/index.js
 DISTRIB_FILES += ivette/src/renderer/style.css
+DISTRIB_FILES += ivette/src/sandbox/README.md
+DISTRIB_FILES += ivette/src/sandbox/qsplit.tsx
 DISTRIB_FILES += ivette/tests/eva-1.i
 DISTRIB_FILES += ivette/tests/eva-2.i
 DISTRIB_FILES += ivette/tsconfig.json

ivette/distrib.sh

@@ -26,7 +26,7 @@ Distribute() {
             *)
                 echo "DISTRIB_FILES += $src/$f" >> $Distrib
                 case $f in
-                    *.sh | *.json | */dome/doc/* | configure.js | .* | webpack*.js )
+                    *.sh | *.json | */dome/doc/* | configure.js | sandboxer.js | .* | webpack*.js )
                         echo "$f: .ignore" >> $Headers
                         ;;
                     *Make* | *.js* | *.ts* | *.ml*)

ivette/headers/header_spec.txt

@@ -17,6 +17,7 @@ electron-builder.json: .ignore
 electron-webpack.json: .ignore
 ivette-macos.sh: .ignore
 package.json: .ignore
+sandboxer.js: .ignore
 src/dome/.gitignore: .ignore
 src/dome/CONTRIBUTING.md: .ignore
 src/dome/CONTRIBUTORS.md: .ignore
@@ -194,7 +195,6 @@ src/frama-c/server.ts: CEA_LGPL
 src/frama-c/states.ts: CEA_LGPL
 src/ivette/index.tsx: CEA_LGPL
 src/ivette/prefs.tsx: CEA_LGPL
-src/ivette/sandbox.tsx: CEA_LGPL
 src/main/index.js: CEA_LGPL
 src/renderer/Application.tsx: CEA_LGPL
 src/renderer/Controller.tsx: CEA_LGPL
@@ -203,6 +203,8 @@ src/renderer/Laboratory.tsx: CEA_LGPL
 src/renderer/Preferences.tsx: CEA_LGPL
 src/renderer/index.js: CEA_LGPL
 src/renderer/style.css: .ignore
+src/sandbox/README.md: .ignore
+src/sandbox/qsplit.tsx: CEA_LGPL
 tests/eva-1.i: .ignore
 tests/eva-2.i: .ignore
 tsconfig.json: .ignore

ivette/src/dome/renderer/layout/qsplit.tsx

@@ -2,7 +2,7 @@
 /*                                                                          */
 /*   This file is part of Frama-C.                                          */
 /*                                                                          */
-/*   Copyright (C) 2007-2021                                                */
+/*   Copyright (C) 2007-2022                                                */
 /*     CEA (Commissariat à l'énergie atomique et aux énergies               */
 /*          alternatives)                                                   */
 /*                                                                          */