changeset 6227:dba2fa0fe5c0

fixed arts detection
author arpi
date Wed, 29 May 2002 21:23:19 +0000
parents e13d91f1c748
children ea6b20e70ac5
files configure
diffstat 1 files changed, 7 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Wed May 29 20:09:40 2002 +0000
+++ b/configure	Wed May 29 21:23:19 2002 +0000
@@ -2680,7 +2680,13 @@
 if test "$_arts" = auto ; then
   _arts=no
   if ( artsc-config --version ) >> "$TMPLOG" 2>&1 ; then
-    _arts=yes
+
+cat > $TMPC << EOF
+#include <artsc.h>
+int main(void) { return 0; }
+EOF
+cc_check `artsc-config --libs` `artsc-config --cflags` && ( "$TMPO" >> "$TMPLOG" 2>&1 ) && _arts=yes
+
   fi
 fi