#!/bin/sh
#set -x 
db_dist="../db/dist"

rm -f config.cache

# XXX edit CFLAGS= ... out of invocation args ???
ARGS="`echo $* | sed -e 's% [^ ]*CFLAGS=[^ ]*%%' -e 's% -[^-][^ ]*%%g' -e 's%--cache-file=.*$%%'`"

CC="$CC" CFLAGS="$CFLAGS" $db_dist/configure $ARGS \
	--enable-shared --enable-static --enable-rpc \
	--with-uniquename=_rpmdb --srcdir=$db_dist

mv Makefile Makefile.orig
cat Makefile.orig | sed -e '/^install[:-]/c\
.PHONY: listobjs\
listobjs:\
	@echo $(OBJS) $(C_OBJS) \
\
distdir install check:\
\
db4_install: all install_setip' > Makefile

mv db.h db.h.orig
cat db.h.orig | sed \
	-e '/^typedef	u_int32_t	db_pgno_t;/i\
/*@-incondefs -fielduse -enummemuse -typeuse @*/' \
	-e '/^struct __key_range;/a\
/*@=incondefs@*/' \
	-e '/^#define	db_create/i\
/*@-declundef -noparams -fcnuse@*/' \
	-e '/^int txn_commit __P((/a\
/*@=declundef =noparams =fcnuse =fielduse =enummemuse =typeuse @*/' > db.h

# Generate manifest for rpmdb.
make -s listobjs > db3lobjs
