[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: running in the build directory
From: |
Bruno Haible |
Subject: |
Re: running in the build directory |
Date: |
Fri, 01 May 2020 11:20:12 +0200 |
User-agent: |
KMail/5.1.3 (Linux/4.4.0-177-generic; KDE/5.18.0; x86_64; ; ) |
> (*)
> $ src/poke
> /media/develdata/devel/inst-x86_64-64/share/poke/std.pk:45:30: error:
> invalid unit in offset type
> deftype off64 = offset<int64,b>;
> ^
I had a build from a couple of weeks ago, installed with "make install".
Now I did
$ make -k distclean
$ git pull
$ ./bootstrap --skip-po
$ ./configure --prefix=SAME_PREFIX_AS_LAST_TIME
$ make
$ make check
$ src/poke
and the freshly built poke apparently used the data files from the older
installed release.
You 'run' script appears to be the solution.
It would be good to support
$ ./run gdb poke
but this fails:
"/media/develdata/devel/POKE/poke/src/poke": not in executable format:
Dateiformat nicht erkannt
$ ./libtool --mode=execute gdb poke
is the documented way to debug a program in the build dir. But this does not
set the poke data variables.
But
$ ./run ./libtool --mode=execute gdb poke
fails:
"/media/develdata/devel/POKE/poke/src/poke": not in executable format:
Dateiformat nicht erkannt
Bruno