Right, it's not really at compile time but at install time; what we do is $(MAKE) INSTALLARGS=--traditional \ buildroot=$(TMP) \ prefix=/usr \ man_prefix=/usr/share/man \ lib_prefix="$(lib_prefix)" \ include_prefix="$(include_prefix)" \ pike_name=/usr/bin/$(PIKE) \ install_nodoc
So we should use bin_export instead?