db3/configure

   1 #!/bin/sh
   2 #set -x
   3 db_dist="../db/dist"
   4
   5 rm -f config.cache
   6 CFALGS="-O2" $db_dist/configure \
   7         $(echo $* | sed -e "s% --cache-file=.*$% --enable-shared --enable-static --enable-debug --enable-rpc --srcdir=$db_dist%")
   8
   9 mv Makefile Makefile.orig
  10 cat Makefile.orig | sed -e 's/ -g$/ -g -O2/' -e '/^install:/c\
  11 .PHONY: listobjs\
  12 listobjs:\
  13         @echo $(OBJS)\
  14 \
  15 distdir install:\
  16 \
  17 db3_install: all install_setip \\' > Makefile
  18
  19 # Generate manifest for rpmdb.
  20 make -s listobjs > db3lobjs