Following is an excerpt from kdelibs-3.2 configure script, lines from 32239 to 32255.
Maybe I'm not reading this right, but is the second if statement correct? It seems to me that it builds with arts when configure option says"don't" (--without-arts). <quote> # Check whether --with-arts or --without-arts was given. if test "${with_arts+set}" = set; then withval="$with_arts" build_arts=$withval else build_arts=yes fi; if test "$build_arts" != "no"; then include_ARTS_TRUE= include_ARTS_FALSE='#' else include_ARTS_TRUE='#' include_ARTS_FALSE= fi </quote> -- /~\ The ASCII Andrej "Ticho" Kacian <andrej at kacian dot sk> \ / Ribbon Campaign GnuPG public key ID: 7CD93FE2 (pgp.mit.edu) X Against HTML Key fingerprint: / \ Email! E87D 9DEF 2A23 6FFB 7AD9 542F 4253 3A46 7CD9 3FE2
pgp00000.pgp
Description: PGP signature