mirror of
https://github.com/tromey/gdb-gui.git
synced 2026-01-04 15:40:06 +01:00
199f50ff72
This target adds the needed "source" line to your ~/.gdbinit so that this extension will always be available.
19 lines
491 B
Makefile
19 lines
491 B
Makefile
all: SourceMe.py gui/fix_signals.so
|
|
@:
|
|
|
|
SourceMe.py: SourceMe.py.in
|
|
sed -e "s,HERE,`pwd`," < SourceMe.py.in > SourceMe.py
|
|
|
|
gui/fix_signals.so: gui/fix-signals.c
|
|
gcc -shared -fPIC -g -o gui/fix_signals.so gui/fix-signals.c `pkg-config --cflags python` `pkg-config --libs python`
|
|
|
|
clean:
|
|
-rm SourceMe.py gui/fix_signals.so
|
|
|
|
hack-gdbinit:
|
|
if test -f $$HOME/.gdbinit && `grep -q SourceMe $$HOME/.gdbinit`; then \
|
|
:; \
|
|
else \
|
|
echo "source `pwd`/SourceMe.py" >> $$HOME/.gdbinit; \
|
|
fi
|