File: debug_sail

package info (click to toggle)
sail-ocaml 0.19.1%2Bdfsg5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,008 kB
  • sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36
file content (12 lines) | stat: -rwxr-xr-x 557 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
 
#!/usr/bin/env bash

SAIL_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
SAIL_BC="$SAIL_DIR/_build/default/src/bin/sail.bc"
if [ ! -f "$SAIL_BC" ]; then
    echo "Unable to find debug build of sail, please build it first."
    echo "  dune build --profile debug"
    exit 1
fi
export SAIL_DIR
export DUNE_DIR_LOCATIONS="libsail:share:$SAIL_DIR/_build/install/default/share/libsail"
exec rlwrap ocamldebug $(bash -c "find . -iname '*.cmo' ; find . -iname '*.cma'" | xargs dirname | sort | uniq | sed 's/^\(.*\)$/-I \1/' | tr '\n' ' ') "$SAIL_BC" $*