diff --git a/bin/dune b/bin/dune index 05d52fe3f3c15030bd3b7bf915e40d7cad62940b..fcb02ca1875c5cb8ee96640a75302a745c1f3261 100644 --- a/bin/dune +++ b/bin/dune @@ -27,6 +27,5 @@ (frama-c-script as frama-c-script) (frama-c-config as frama-c-config) (test.sh as frama-c-test.sh) - (local_export.sh as local_export.sh) ) ) diff --git a/bin/frama-c-gui.byte b/bin/frama-c-gui.byte deleted file mode 100755 index 0252458a8e5b0bc4e1fa77c76a7daf68faa194b5..0000000000000000000000000000000000000000 --- a/bin/frama-c-gui.byte +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/sh -########################################################################## -# # -# 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). # -# # -########################################################################## - - -. $(dirname $0)/local_export.sh - -exec $BINDIR/viewer.byte "$@" diff --git a/bin/frama-c.byte b/bin/frama-c.byte deleted file mode 100755 index 8a000c3bab41d0bd4c1ea7a4e103687174d88df3..0000000000000000000000000000000000000000 --- a/bin/frama-c.byte +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/sh -########################################################################## -# # -# 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). # -# # -########################################################################## - - -. $(dirname $0)/local_export.sh - -exec $BINDIR/toplevel.byte "$@" diff --git a/bin/frama-c.top b/bin/frama-c.top deleted file mode 100755 index 662f2cda8af7982d028337312c16cd3b4c1fbe0f..0000000000000000000000000000000000000000 --- a/bin/frama-c.top +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/sh -########################################################################## -# # -# 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). # -# # -########################################################################## - - -. $(dirname $0)/local_export.sh - -exec $BINDIR/toplevel.top "$@" diff --git a/bin/local_export.sh b/bin/local_export.sh deleted file mode 100644 index 0a4ea44823457c09b5606afe7b487ce64e993ba4..0000000000000000000000000000000000000000 --- a/bin/local_export.sh +++ /dev/null @@ -1,30 +0,0 @@ -########################################################################## -# # -# 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). # -# # -########################################################################## - -MYDIR=$(dirname $0) -BINDIR=$(cd $MYDIR && pwd) #more portable realpath -ROOTDIR=$BINDIR/.. - -export FRAMAC_PLUGIN_GUI="$ROOTDIR/lib/plugins/gui" -export FRAMAC_LIB="$ROOTDIR/lib/fc" -export FRAMAC_PLUGIN="$ROOTDIR/lib/plugins" -export FRAMAC_SHARE="$ROOTDIR/share" diff --git a/dev/frama-c-callgrind.sh b/dev/frama-c-callgrind.sh index 1de367e65fed348a0bc008856f2979d3d31f5ab0..72bc33a4b3d525149755ac08d4a348114bfbe60d 100755 --- a/dev/frama-c-callgrind.sh +++ b/dev/frama-c-callgrind.sh @@ -24,8 +24,6 @@ # Script for profiling Frama-C with callgrind (a valgrind tool). # Note: execution time with valgrind is about 15x-20x slower. # -# Use this script at the root of the repository, so local_export.sh can be found -# in bin. # For more focused results, you can activate the profiling only after entering # a specific function. For instance, to only profile Eva, add # @@ -42,11 +40,7 @@ # # kcachegrind callgrind.out -BASH_ARGV0="bin/frama-c" # hackish way to tell local_export that its dir is bin - -. bin/local_export.sh - -valgrind \ +dune exec -- valgrind \ --tool=callgrind --callgrind-out-file=callgrind.out --dump-instr=yes \ --separate-callers=2 --collect-jumps=yes --fn-skip='caml_*' \ - $BINDIR/toplevel.opt "$@" + frama-c "$@"