echo "Configuring install names..."; \
for i in lib/$(platform)/*; do \
sh fix_install_names.sh "$(libdir)" "$$i"; \
echo "Configuring install names..."; \
for i in lib/$(platform)/*; do \
sh fix_install_names.sh "$(libdir)" "$$i"; \
if test -n "$$i" ; then $(INSTALL_BIN) bin/$(platform)/$$i$(exeext) $(bindir); fi; \
done;
for i in $(PACKAGE_OPT_BINS) ""; do \
if test -n "$$i" ; then $(INSTALL_BIN) bin/$(platform)/$$i$(exeext) $(bindir); fi; \
done;
for i in $(PACKAGE_OPT_BINS) ""; do \