Re: Debian packages

[Magnus Holmgren, Millnet/Lysator/Debian/Mensa @ Pike developers forum]

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?