Merge branch 'fix/ivette/distrib' into 'master'

[ivette] Removes unused script distrib.sh and generated file Makefile.distrib.

See merge request frama-c/frama-c!3942

ivette/Makefile.distrib

-##########################################################################
-#                                                                        #
-#  This file is part of Frama-C.                                         #
-#                                                                        #
-#  Copyright (C) 2007-2022                                               #
-#    CEA (Commissariat à l'énergie atomique et aux énergies              #
-#         alternatives)                                                  #
-#                                                                        #
-#  you can redistribute it and/or modify it under the terms of the GNU   #
-#  Lesser General Public License as published by the Free Software       #
-#  Foundation, version 2.1.                                              #
-#                                                                        #
-#  It is distributed in the hope that it will be useful,                 #
-#  but WITHOUT ANY WARRANTY; without even the implied warranty of        #
-#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         #
-#  GNU Lesser General Public License for more details.                   #
-#                                                                        #
-#  See the GNU Lesser General Public License version 2.1                 #
-#  for more details (enclosed in the file licenses/LGPLv2.1).            #
-#                                                                        #
-##########################################################################
-
-HEADER_SPEC += ivette/./headers/header_spec.txt
-DISTRIB_FILES += ivette/.babelrc
-DISTRIB_FILES += ivette/.dome-pkg-app.lock
-DISTRIB_FILES += ivette/.dome-pkg-dev.lock
-DISTRIB_FILES += ivette/.eslintignore
-DISTRIB_FILES += ivette/.eslintrc.js
-DISTRIB_FILES += ivette/.gitignore
-DISTRIB_FILES += ivette/CONTRIBUTING.md
-DISTRIB_FILES += ivette/INSTALL.md
-DISTRIB_FILES += ivette/Makefile
-DISTRIB_FILES += ivette/README.md
-DISTRIB_FILES += ivette/configure.js
-DISTRIB_FILES += ivette/distrib.sh
-DISTRIB_FILES += ivette/doc/pandoc/href.lua
-DISTRIB_FILES += ivette/doc/pandoc/index.json
-DISTRIB_FILES += ivette/doc/pandoc/template.html
-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
-DISTRIB_FILES += ivette/src/dome/LICENSE.md
-DISTRIB_FILES += ivette/src/dome/README.md
-DISTRIB_FILES += ivette/src/dome/doc/README.md
-DISTRIB_FILES += ivette/src/dome/doc/config.json
-DISTRIB_FILES += ivette/src/dome/doc/gallery.css
-DISTRIB_FILES += ivette/src/dome/doc/guides/application.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/development.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/dome.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/glossary.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/hooks.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/hotreload.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/quickstart.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/styling.md
-DISTRIB_FILES += ivette/src/dome/doc/icons.js
-DISTRIB_FILES += ivette/src/dome/doc/iconsmd.js
-DISTRIB_FILES += ivette/src/dome/doc/template/gallery-head.html
-DISTRIB_FILES += ivette/src/dome/doc/template/gallery-tail.html
-DISTRIB_FILES += ivette/src/dome/doc/template/publish.js
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.eot
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.svg
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.woff
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.eot
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.svg
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.woff
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.eot
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.svg
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.woff
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.eot
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.svg
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.woff
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.eot
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.svg
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.woff
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.eot
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.svg
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.woff
-DISTRIB_FILES += ivette/src/dome/doc/template/static/scripts/linenumber.js
-DISTRIB_FILES += ivette/src/dome/doc/template/static/scripts/prettify/Apache-License-2.0.txt
-DISTRIB_FILES += ivette/src/dome/doc/template/static/scripts/prettify/lang-css.js
-DISTRIB_FILES += ivette/src/dome/doc/template/static/scripts/prettify/prettify.js
-DISTRIB_FILES += ivette/src/dome/doc/template/static/styles/jsdoc-default.css
-DISTRIB_FILES += ivette/src/dome/doc/template/static/styles/prettify-jsdoc.css
-DISTRIB_FILES += ivette/src/dome/doc/template/static/styles/prettify-tomorrow.css
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/augments.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/container.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/details.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/example.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/examples.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/exceptions.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/layout.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/mainpage.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/members.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/method.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/params.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/properties.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/returns.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/source.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/tutorial.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/type.tmpl
-DISTRIB_FILES += ivette/src/dome/examples/Makefile
-DISTRIB_FILES += ivette/src/dome/examples/README.md
-DISTRIB_FILES += ivette/src/dome/main/dome.ts
-DISTRIB_FILES += ivette/src/dome/main/menubar.ts
-DISTRIB_FILES += ivette/src/dome/misc/devtools.js
-DISTRIB_FILES += ivette/src/dome/misc/register.js
-DISTRIB_FILES += ivette/src/dome/misc/system.ts
-DISTRIB_FILES += ivette/src/dome/misc/utils.ts
-DISTRIB_FILES += ivette/src/dome/renderer/controls/buttons.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/controls/displays.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/controls/gallery.json
-DISTRIB_FILES += ivette/src/dome/renderer/controls/icons.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/controls/labels.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/controls/style.css
-DISTRIB_FILES += ivette/src/dome/renderer/dark.css
-DISTRIB_FILES += ivette/src/dome/renderer/data/compare.ts
-DISTRIB_FILES += ivette/src/dome/renderer/data/json.ts
-DISTRIB_FILES += ivette/src/dome/renderer/data/library.js
-DISTRIB_FILES += ivette/src/dome/renderer/data/settings.ts
-DISTRIB_FILES += ivette/src/dome/renderer/data/states.ts
-DISTRIB_FILES += ivette/src/dome/renderer/dialogs.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/dnd.js
-DISTRIB_FILES += ivette/src/dome/renderer/dome.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/errors.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/frame/sidebars.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/frame/style.css
-DISTRIB_FILES += ivette/src/dome/renderer/frame/tabs.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/frame/toolbars.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/layout/boxes.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/layout/dispatch.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/layout/forms.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/layout/grids.js
-DISTRIB_FILES += ivette/src/dome/renderer/layout/qsplit.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/layout/splitters.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/layout/style.css
-DISTRIB_FILES += ivette/src/dome/renderer/light.css
-DISTRIB_FILES += ivette/src/dome/renderer/newdnd.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/style.css
-DISTRIB_FILES += ivette/src/dome/renderer/table/arrays.ts
-DISTRIB_FILES += ivette/src/dome/renderer/table/models.ts
-DISTRIB_FILES += ivette/src/dome/renderer/table/style.css
-DISTRIB_FILES += ivette/src/dome/renderer/table/views.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/text/buffers.ts
-DISTRIB_FILES += ivette/src/dome/renderer/text/dark-code.css
-DISTRIB_FILES += ivette/src/dome/renderer/text/editors.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/text/pages.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/text/style.css
-DISTRIB_FILES += ivette/src/dome/renderer/themes.tsx
-DISTRIB_FILES += ivette/src/dome/template/Application.js
-DISTRIB_FILES += ivette/src/dome/template/Preferences.js
-DISTRIB_FILES += ivette/src/dome/template/babelrc.json
-DISTRIB_FILES += ivette/src/dome/template/dome-pull.sh
-DISTRIB_FILES += ivette/src/dome/template/dome-push.sh
-DISTRIB_FILES += ivette/src/dome/template/electron-webpack.json
-DISTRIB_FILES += ivette/src/dome/template/export.sh
-DISTRIB_FILES += ivette/src/dome/template/git-ignore
-DISTRIB_FILES += ivette/src/dome/template/main.js
-DISTRIB_FILES += ivette/src/dome/template/makefile
-DISTRIB_FILES += ivette/src/dome/template/makefile.app.packages
-DISTRIB_FILES += ivette/src/dome/template/makefile.packages
-DISTRIB_FILES += ivette/src/dome/template/package.sh
-DISTRIB_FILES += ivette/src/dome/template/renderer.js
-DISTRIB_FILES += ivette/src/dome/template/typescript.el
-DISTRIB_FILES += ivette/src/dome/template/update.sh
-DISTRIB_FILES += ivette/src/dome/template/webpack.main.js
-DISTRIB_FILES += ivette/src/dome/template/webpack.renderer.js
-DISTRIB_FILES += ivette/src/frama-c/api_generator.ml
-DISTRIB_FILES += ivette/src/frama-c/client.ts
-DISTRIB_FILES += ivette/src/frama-c/client_socket.ts
-DISTRIB_FILES += ivette/src/frama-c/client_zmq.ts
-DISTRIB_FILES += ivette/src/frama-c/index.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/ASTinfo.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/ASTview.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/Globals.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/History.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/Locations.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/Messages.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/PivotTable-style.css
-DISTRIB_FILES += ivette/src/frama-c/kernel/PivotTable.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/Properties.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/SourceCode.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/Status.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/api/ast/index.ts
-DISTRIB_FILES += ivette/src/frama-c/kernel/api/data/index.ts
-DISTRIB_FILES += ivette/src/frama-c/kernel/api/project/index.ts
-DISTRIB_FILES += ivette/src/frama-c/kernel/api/properties/index.ts
-DISTRIB_FILES += ivette/src/frama-c/kernel/api/services/index.ts
-DISTRIB_FILES += ivette/src/frama-c/kernel/style.css
-DISTRIB_FILES += ivette/src/frama-c/menu.ts
-DISTRIB_FILES += ivette/src/frama-c/pkg.json
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/api/index.ts
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/cytoscape_libs.js
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/index.tsx
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/layouts.json
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/pkg.json
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/react-cytoscapejs.d.ts
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/style.json
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/tippy.css
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/Coverage.tsx
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/CoverageMeter.tsx
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/Summary.tsx
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/api/general/index.ts
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/api/values/index.ts
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/index.tsx
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/pkg.json
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/style.css
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/style_summary.css
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/valuetable.tsx
-DISTRIB_FILES += ivette/src/frama-c/plugins/pivot/api/general/index.ts
-DISTRIB_FILES += ivette/src/frama-c/plugins/studia/api/studia/index.ts
-DISTRIB_FILES += ivette/src/frama-c/react-pivottable.d.ts
-DISTRIB_FILES += ivette/src/frama-c/richtext.tsx
-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/main/index.js
-DISTRIB_FILES += ivette/src/renderer/Application.tsx
-DISTRIB_FILES += ivette/src/renderer/Controller.tsx
-DISTRIB_FILES += ivette/src/renderer/Extensions.tsx
-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/src/sandbox/usednd.tsx
-DISTRIB_FILES += ivette/tests/eva-1.i
-DISTRIB_FILES += ivette/tests/eva-2.i
-DISTRIB_FILES += ivette/tsconfig.json
-DISTRIB_FILES += ivette/tsfmt.json
-DISTRIB_FILES += ivette/webpack.main.js
-DISTRIB_FILES += ivette/webpack.renderer.js
-DISTRIB_FILES += ivette/yarn.lock

ivette/distrib.sh

-#!/bin/sh -e
-##########################################################################
-#                                                                        #
-#  This file is part of Frama-C.                                         #
-#                                                                        #
-#  Copyright (C) 2007-2022                                               #
-#    CEA (Commissariat à l'énergie atomique et aux énergies              #
-#         alternatives)                                                  #
-#                                                                        #
-#  you can redistribute it and/or modify it under the terms of the GNU   #
-#  Lesser General Public License as published by the Free Software       #
-#  Foundation, version 2.1.                                              #
-#                                                                        #
-#  It is distributed in the hope that it will be useful,                 #
-#  but WITHOUT ANY WARRANTY; without even the implied warranty of        #
-#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         #
-#  GNU Lesser General Public License for more details.                   #
-#                                                                        #
-#  See the GNU Lesser General Public License version 2.1                 #
-#  for more details (enclosed in the file licenses/LGPLv2.1).            #
-#                                                                        #
-##########################################################################
-
-# --------------------------------------------------------------------------
-# ---  Generate Files for Ivette Distribution
-# --------------------------------------------------------------------------
-
-Distribute() {
-    repo=$1
-    Distrib=$repo/Makefile.distrib
-    Headers=$repo/headers/header_spec.txt
-    rm -f $Distrib
-    rm -f $Headers
-    mkdir -p $1/headers
-    if [ "$repo" == "." ]
-    then
-        src=ivette
-    else
-        src=ivette/$repo
-    fi
-    echo "Distributing $src"
-    echo "HEADER_SPEC += $src/./headers/header_spec.txt" >> $Distrib
-    for f in $(git -C $repo ls-files .)
-    do
-        case $f in
-            Makefile.distrib | headers/* | ivette.icns )
-            ;;
-            *)
-                echo "DISTRIB_FILES += $src/$f" >> $Distrib
-                case $f in
-                    *.sh | *.json | */dome/doc/* | configure.js | sandboxer.js | .* | webpack*.js )
-                        echo "$f: .ignore" >> $Headers
-                        ;;
-                    *Make* | *.js* | *.ts* | *.ml*)
-                        echo "$f: CEA_LGPL" >> $Headers
-                        ;;
-                    *)
-                        echo "$f: .ignore" >> $Headers
-                        ;;
-                esac
-        esac
-    done
-    chmod a-w $Distrib
-    chmod a-w $Headers
-    if [ "$repo" != "." ]
-    then
-        echo "include ivette/$Distrib" >> Makefile.plugins
-    fi
-}
-
-## Distribute Core Ivette Files
-
-Distribute .
-
-## Distribute Ivette Plugins Files
-
-rm -f Makefile.plugins
-for rgit in $(find src -type d -name ".git")
-do
-    Distribute $(dirname $rgit)
-done
-if [ -f Makefile.plugins ]
-then
-    chmod a-w Makefile.plugins
-fi
-
-## Terminated.
-exit 0
-
-# --------------------------------------------------------------------------