> +if ! { : < configure; } 2> /dev/null; then
> +    cat <<EOF
> +*** Error: You have to configure and build in the source directory.
> +
> +EOF
> +    exit 1
> +fi

Rather than documenting a limitation here, why don't we do what people
actually want.

What do other build systems generally do when running configure from
some other directory? Copy/link the Makefiles and then construct them
carefully such that they can find all the source files?

That doesn't sound like it would be that hard.

-Carl

-- 
carl.d.wo...@intel.com

Attachment: pgpIVO1lbvFpk.pgp
Description: PGP signature

_______________________________________________
notmuch mailing list
notmuch@notmuchmail.org
http://notmuchmail.org/mailman/listinfo/notmuch

Reply via email to