From e8de7b00f0df82601561cb507973d071f8b9cfd7 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Thu, 5 Mar 2020 10:57:08 +0100 Subject: [PATCH] add script to launch ocamldebug on toplevel.byte with appropriate environment --- bin/frama-c.debug | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100755 bin/frama-c.debug diff --git a/bin/frama-c.debug b/bin/frama-c.debug new file mode 100755 index 00000000000..93f5cae7a94 --- /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 "$@" -- GitLab