Merge branch 'fix/remove-svn-scripts' into 'master'

Remove proprietary scripts relying on SVN

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

bin/developers-by-files.sh

-#! /bin/sh
-##########################################################################
-#                                                                        #
-#  This file is part of Frama-C.                                         #
-#                                                                        #
-#  Copyright (C) 2007-2019                                               #
-#    CEA (Commissariat à l'énergie atomique et aux énergies              #
-#         alternatives)                                                  #
-#                                                                        #
-#  All rights reserved.                                                  #
-#  Contact CEA LIST for licensing.                                       #
-#                                                                        #
-##########################################################################
-
-
-for f in `svn list -R`; do
-  # 'svn list' lists also files and directories removed from the SVN
-  if test -e $f; then
-    if test -z "`svn propget maindev $f `"; then
-      echo MAINTENER: $f
-    fi
-    R=`svn propget codev $f | wc -l`
-    if test $R -ne 1 -a $R -ne 2; then
-      echo CODEV: $f
-    fi
-  fi
-done

bin/test_all_plugins.sh

-#!/bin/bash
-##########################################################################
-#                                                                        #
-#  This file is part of Frama-C.                                         #
-#                                                                        #
-#  Copyright (C) 2007-2019                                               #
-#    CEA (Commissariat à l'énergie atomique et aux énergies              #
-#         alternatives)                                                  #
-#                                                                        #
-#  All rights reserved.                                                  #
-#  Contact CEA LIST for licensing.                                       #
-#                                                                        #
-##########################################################################
-
-
-# This script must be executed from the trunk
-
-# Executing this script requires bash 4.0 or higher
-# (special use of the 'case' construct)
-if test `echo $BASH_VERSION | sed "s/\([0-9]\).*/\1/" ` -lt 4; then
-  echo "bash version >= 4 is required."
-  exit 99
-fi
-
-# Set it to "no" in order to really execute the commands.
-# Otherwise, they are only printed.
-DEBUG=no
-
-echo -n "Steps are:
-  1) Updating and cleaning plug-ins
-  2) Compiling plug-ins
-  3) Testing plug-ins
-Which step? (default is 1) "
-read STEP
-
-PLUGIN_DIR=../plugins
-WHY_DIR=why
-
-PLUGIN_LIST="$PLUGIN_DIR/a3export \
-    $PLUGIN_DIR/caveat2fc \
-    $PLUGIN_DIR/mthread \
-    $PLUGIN_DIR/security \
-    $WHY_DIR/frama-c-plugin"
-
-#    $PLUGIN_DIR/jcard \
-#    $PLUGIN_DIR/misra/trunk \
-
-step () {
-  echo
-  echo $1
-}
-
-run () {
-  for dir in $PLUGIN_LIST; do
-    cmd="(cd $dir; $1)"
-    echo "$cmd"
-    if test "$DEBUG" == "no"; then
-      eval "$cmd" || { echo "Aborting at step $STEP."; exit $STEP; }
-    fi
-  done
-}
-
-case $STEP in
-  ""|1)
-    step "Step 1: UPDATING AND CLEANING PLUG-INS"
-    run "svn up && if test -f configure.in -o -f configure.ac; then autoconf && ./configure; fi && make clean && make depend"
-    ;&
-  2)
-    step "Step 2: COMPILING PLUG-INS"
-    run "make"
-    ;&
-  3)
-    step "Step 3: TESTING PLUG-INS"
-    run "make tests"
-    ;;
-  4)
-    echo "Bad entry: $STEP"
-    echo "Exiting without doing anything.";
-    exit 4
-    ;;
-esac
-
-exit 0
-
-

doc/developer/advance.tex

@@ -516,7 +516,7 @@ the specific features of \texttt{Makefile.dynamic}.
 \subsection{Compiling \framac and external plug-ins at the same time}
 \label{dynamic-make:comp-same-time}
 \begin{target}
-  plug-in developers using the \svn repository of \framac.
+  plug-in developers using the git repository of \framac.
 \end{target}
 It is also possible to get a completely independent plug-in
 recompiled and tested together with \framac's kernel. For that,

headers/header_spec.txt

@@ -16,7 +16,6 @@ VERSION: .ignore
 VERSION_CODENAME: .ignore
 bin/.gitignore: .ignore
 bin/build-src-distrib.sh: .ignore
-bin/developers-by-files.sh: CEA_PROPRIETARY
 bin/frama-c: CEA_LGPL
 bin/frama-c-config: CEA_LGPL
 bin/frama-c-script: CEA_LGPL
@@ -43,7 +42,6 @@ bin/migration_scripts/potassium2calcium.sh: CEA_LGPL
 bin/sed_get_binutils_version: .ignore
 bin/sed_get_make_major: .ignore
 bin/sed_get_make_minor: .ignore
-bin/test_all_plugins.sh: CEA_PROPRIETARY
 config.h.in: CEA_LGPL
 configure.in: CEA_INRIA_LGPL
 devel_tools/size.ml: .ignore