annotate run-octave.in @ 6074:1839d551521b

[project @ 2006-10-24 14:20:17 by jwe]
author jwe
date Tue, 24 Oct 2006 14:20:17 +0000
parents 934146a33e83
children a1754033bc6c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5786
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
1 #! /bin/sh
5793
395382df0d8a [project @ 2006-05-06 14:55:35 by dbateman]
dbateman
parents: 5786
diff changeset
2 top_srcdir=%abs_top_srcdir%
5786
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
3 builddir=%builddir%
5814
67bf9b4f2ae2 [project @ 2006-05-11 21:58:34 by jwe]
jwe
parents: 5793
diff changeset
4 ## FIXME -- this will fail for filenames with embedded spaces...
67bf9b4f2ae2 [project @ 2006-05-11 21:58:34 by jwe]
jwe
parents: 5793
diff changeset
5 dirs="$top_srcdir/test $top_srcdir/scripts $builddir/scripts $builddir/src"
67bf9b4f2ae2 [project @ 2006-05-11 21:58:34 by jwe]
jwe
parents: 5793
diff changeset
6 dirs=$(find $dirs -type d -a ! \( \( -name CVS -o -name private \) -a -prune \))
67bf9b4f2ae2 [project @ 2006-05-11 21:58:34 by jwe]
jwe
parents: 5793
diff changeset
7 for d in $dirs; do
67bf9b4f2ae2 [project @ 2006-05-11 21:58:34 by jwe]
jwe
parents: 5793
diff changeset
8 LOADPATH=$LOADPATH:$d
67bf9b4f2ae2 [project @ 2006-05-11 21:58:34 by jwe]
jwe
parents: 5793
diff changeset
9 done
67bf9b4f2ae2 [project @ 2006-05-11 21:58:34 by jwe]
jwe
parents: 5793
diff changeset
10 LOADPATH=$(echo $LOADPATH | sed 's|^:||')
67bf9b4f2ae2 [project @ 2006-05-11 21:58:34 by jwe]
jwe
parents: 5793
diff changeset
11 IMAGEPATH="$top_srcdir/scripts/image"
67bf9b4f2ae2 [project @ 2006-05-11 21:58:34 by jwe]
jwe
parents: 5793
diff changeset
12 args="--path=$LOADPATH --image-path=$IMAGEPATH"
5786
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
13 if [ $# -gt 0 ]; then
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
14 if [ "x$1" = "x-g" ]; then
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
15 driver="gdb"
6073
934146a33e83 [project @ 2006-10-24 13:52:30 by jwe]
jwe
parents: 6028
diff changeset
16 if [ $(/bin/pwd) = "$builddir" ]; then
934146a33e83 [project @ 2006-10-24 13:52:30 by jwe]
jwe
parents: 6028
diff changeset
17 sed "s|^set args.*$|set args $args|" .gdbinit > .gdbinit-tmp
934146a33e83 [project @ 2006-10-24 13:52:30 by jwe]
jwe
parents: 6028
diff changeset
18 mv .gdbinit-tmp .gdbinit
934146a33e83 [project @ 2006-10-24 13:52:30 by jwe]
jwe
parents: 6028
diff changeset
19 fi
5786
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
20 args=""
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
21 shift
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
22 elif [ "x$1" = "x-valgrind" ]; then
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
23 driver="valgrind --tool=memcheck"
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
24 shift
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
25 elif [ "x$1" = "x-strace" ]; then
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
26 driver="strace -o octave.trace"
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
27 shift
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
28 fi
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
29 fi
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
30 OCTAVE_SITE_INITFILE=$top_srcdir/scripts/startup/main-rcfile \
6028
3dbbbec85190 [project @ 2006-10-04 13:42:21 by jwe]
jwe
parents: 5989
diff changeset
31 %library_path_var%="$builddir/src:$builddir/liboctave:$builddir/libcruft:$%library_path_var%" \
5786
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
32 exec $driver $builddir/src/octave $args "$@"
9c3c903f037e [project @ 2006-05-03 20:03:41 by jwe]
jwe
parents:
diff changeset
33