2002-07-03 12:46:13 +02:00
|
|
|
#############################################################
|
|
|
|
#
|
|
|
|
# valgrind
|
|
|
|
#
|
|
|
|
#############################################################
|
|
|
|
|
|
|
|
VALGRIND_SITE:=http://developer.kde.org/~sewardj
|
2003-10-19 09:36:18 +02:00
|
|
|
VALGRIND_DIR:=$(BUILD_DIR)/valgrind-20031012
|
|
|
|
VALGRIND_SOURCE:=valgrind-20031012.tar.bz2
|
2003-08-17 12:20:48 +02:00
|
|
|
VALGRIND_PATCH:=$(SOURCE_DIR)/valgrind.patch
|
2002-07-03 12:46:13 +02:00
|
|
|
|
|
|
|
$(DL_DIR)/$(VALGRIND_SOURCE):
|
2002-11-21 00:16:10 +01:00
|
|
|
$(WGET) -P $(DL_DIR) $(VALGRIND_SITE)/$(VALGRIND_SOURCE)
|
2002-07-03 12:46:13 +02:00
|
|
|
|
|
|
|
$(VALGRIND_DIR)/.unpacked: $(DL_DIR)/$(VALGRIND_SOURCE)
|
|
|
|
bzcat $(DL_DIR)/$(VALGRIND_SOURCE) | tar -C $(BUILD_DIR) -xvf -
|
|
|
|
touch $(VALGRIND_DIR)/.unpacked
|
|
|
|
|
2002-07-27 11:13:00 +02:00
|
|
|
$(VALGRIND_DIR)/.patched: $(VALGRIND_DIR)/.unpacked
|
2003-08-17 12:20:48 +02:00
|
|
|
cat $(VALGRIND_PATCH) | patch -d $(VALGRIND_DIR) -p1
|
2002-07-27 11:13:00 +02:00
|
|
|
touch $(VALGRIND_DIR)/.patched
|
|
|
|
|
|
|
|
$(VALGRIND_DIR)/.configured: $(VALGRIND_DIR)/.patched
|
2003-01-17 09:03:59 +01:00
|
|
|
(cd $(VALGRIND_DIR); rm -rf config.cache; \
|
2003-03-04 20:16:19 +01:00
|
|
|
$(TARGET_CONFIGURE_OPTS) \
|
2003-01-17 09:03:59 +01:00
|
|
|
./configure \
|
|
|
|
--target=$(GNU_TARGET_NAME) \
|
2003-03-04 20:16:19 +01:00
|
|
|
--host=$(GNU_TARGET_NAME) \
|
|
|
|
--build=$(GNU_HOST_NAME) \
|
2003-01-17 09:03:59 +01:00
|
|
|
--prefix=/usr \
|
|
|
|
--exec-prefix=/usr \
|
|
|
|
--bindir=/usr/bin \
|
|
|
|
--sbindir=/usr/sbin \
|
|
|
|
--libexecdir=/usr/lib \
|
|
|
|
--sysconfdir=/etc \
|
|
|
|
--datadir=/usr/share \
|
|
|
|
--localstatedir=/var \
|
|
|
|
--mandir=/usr/man \
|
|
|
|
--infodir=/usr/info \
|
2003-09-03 09:18:18 +02:00
|
|
|
$(DISABLE_NLS) \
|
2003-01-17 09:03:59 +01:00
|
|
|
--without-uiout --disable-valgrindmi \
|
|
|
|
--disable-tui --disable-valgrindtk \
|
|
|
|
--without-x --without-included-gettext \
|
|
|
|
);
|
2002-07-03 12:46:13 +02:00
|
|
|
touch $(VALGRIND_DIR)/.configured
|
|
|
|
|
2003-07-14 11:13:51 +02:00
|
|
|
$(VALGRIND_DIR)/coregrind/valgrind.so: $(VALGRIND_DIR)/.configured
|
2003-02-12 09:10:40 +01:00
|
|
|
$(MAKE) -C $(VALGRIND_DIR)
|
2002-07-27 11:13:00 +02:00
|
|
|
-$(STRIP) --strip-unneeded $(VALGRIND_DIR)/*.so*
|
2003-07-14 11:13:51 +02:00
|
|
|
touch -c $(VALGRIND_DIR)/coregrind/valgrind.so
|
2002-07-03 12:46:13 +02:00
|
|
|
|
2003-07-14 11:13:51 +02:00
|
|
|
$(TARGET_DIR)/usr/bin/valgrind: $(VALGRIND_DIR)/coregrind/valgrind.so
|
2003-01-08 22:34:23 +01:00
|
|
|
$(MAKE) \
|
|
|
|
prefix=$(TARGET_DIR)/usr \
|
|
|
|
exec_prefix=$(TARGET_DIR)/usr \
|
|
|
|
bindir=$(TARGET_DIR)/usr/bin \
|
|
|
|
sbindir=$(TARGET_DIR)/usr/sbin \
|
|
|
|
libexecdir=$(TARGET_DIR)/usr/lib \
|
|
|
|
datadir=$(TARGET_DIR)/usr/share \
|
|
|
|
sysconfdir=$(TARGET_DIR)/etc \
|
|
|
|
sharedstatedir=$(TARGET_DIR)/usr/com \
|
|
|
|
localstatedir=$(TARGET_DIR)/var \
|
|
|
|
libdir=$(TARGET_DIR)/usr/lib \
|
|
|
|
infodir=$(TARGET_DIR)/usr/info \
|
|
|
|
mandir=$(TARGET_DIR)/usr/man \
|
|
|
|
includedir=$(TARGET_DIR)/usr/include \
|
|
|
|
-C $(VALGRIND_DIR) install;
|
2002-07-27 10:54:01 +02:00
|
|
|
rm -rf $(TARGET_DIR)/usr/share/doc/valgrind
|
2003-07-14 11:13:51 +02:00
|
|
|
#mkdir -p $(TARGET_DIR)/etc/default
|
|
|
|
#cp $(VALGRIND_DIR)/valgrind.default $(TARGET_DIR)/etc/default/valgrind
|
|
|
|
#mkdir -p $(TARGET_DIR)/usr/lib/valgrind
|
|
|
|
#cp $(VALGRIND_DIR)/woody.supp $(TARGET_DIR)/usr/lib/valgrind/
|
2003-01-08 19:31:05 +01:00
|
|
|
touch -c $(TARGET_DIR)/usr/bin/valgrind
|
2002-07-03 12:46:13 +02:00
|
|
|
|
2003-11-01 06:59:43 +01:00
|
|
|
ifeq ($(ARCH),i386)
|
2002-07-03 12:46:13 +02:00
|
|
|
valgrind: $(TARGET_DIR)/usr/bin/valgrind
|
2003-11-01 06:59:43 +01:00
|
|
|
else
|
|
|
|
valgrind:
|
|
|
|
endif
|
2002-07-03 12:46:13 +02:00
|
|
|
|
2003-11-12 10:31:12 +01:00
|
|
|
valgrind-source: $(DL_DIR)/$(VALGRIND_SOURCE)
|
|
|
|
|
2002-07-03 12:46:13 +02:00
|
|
|
valgrind-clean:
|
2003-01-17 09:03:59 +01:00
|
|
|
$(MAKE) -C $(VALGRIND_DIR) clean
|
2002-07-03 12:46:13 +02:00
|
|
|
|
|
|
|
valgrind-dirclean:
|
|
|
|
rm -rf $(VALGRIND_DIR)
|
|
|
|
|