diff --git a/bin/frama-c.debug b/bin/frama-c.debug new file mode 100755 index 0000000000000000000000000000000000000000..93f5cae7a94017a41558769e3875f9ba316f4240 --- /dev/null +++ b/bin/frama-c.debug @@ -0,0 +1,27 @@ +#!/bin/sh +########################################################################## +# # +# This file is part of Frama-C. # +# # +# Copyright (C) 2007-2019 # +# 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 ocamldebug $BINDIR/toplevel.byte "$@"