Skip to content
Snippets Groups Projects
Commit baac3a06 authored by David Bühler's avatar David Bühler
Browse files

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

Distribution now use git archive (see dev/make-distrib.sh script).
parent 7fdc084c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
ivette/Makefile.distrib deleted 100644 → 0
+ 0
− 239
View file @ 7fdc084c
##########################################################################
# #
# 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 deleted 100755 → 0
+ 0
− 90
View file @ 7fdc084c
#!/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
# --------------------------------------------------------------------------
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment