dnl  CPLINT
dnl
dnl CPLINT_LIBS= 
dnl CPLINT_LDFLAGS= 
dnl CPLINT_SHLIB_LD= 
dnl

found_cplint=false

AC_ARG_ENABLE(cplint,
    [ --enable-cplint[=DIR]      enable the cplint library using the CUDD library in DIR/lib],
    yap_cv_cplint=$enableval, yap_cv_cplint=no)

if test x"$yap_cv_cplint"  = "xno"
then
    PKG_CPLINT=""
else
    if test  x"$yap_cv_cplint" != "xyes"
    then
	CPLINT_LDFLAGS+=" -L${yap_cv_cplint}/cudd -L${yap_cv_cplint}/mtr -L${yap_cv_cplint}/st -L${yap_cv_cplint}/util -L${yap_cv_cplint}/epd "
	#typical of user-compiled cudd	fi
  	CPLINT_CFLAGS+=" -I${yap_cv_cplint}/include"
 	CPLINT_LIBS="$LIBS"
  	found_cplint=true
    fi
    # cudd has been probably just tested, so why try again?
    # cudd is available on fedora, and maybe other linux distributions
    if test -d "/usr/include/cudd" -a x"$CPLINT_CFLAGS" = x
    then
	CPLINT_CFLAGS=" -I/usr/include/cudd"
	CPLINT_LIBS="-lcudd  -lmtr -lcuddst -lepd -lcuddutil -lm $LIBS"
  	found_cplint=true
    elif test -d "/usr/local/include/cudd" -a x"$CPLINT_CFLAGS" = x
    then
  	found_cplint=true
	CPLINT_CFLAGS=" -I/usr/local/include/cudd"
	CPLINT_LIBS+=" -L/usr/local/lib"
    fi
    if test "$found_cplint" = true
    then
	if test x"$CPLINT_LIBS" = x
	then
	    CPLINT_LIBS="-lcudd  -lmtr -lst -lepd -lutil -lm $LIBS"
	fi
     	if test "$target_os" = "cygwin" -o "$target_os" = "mingw32"
	then
	    CPLINT_SHLIB_LD="gcc -shared ../../yap.dll"
	else
	    CPLINT_SHLIB_LD="$SHLIB_LD"
	fi
	PKG_CPLINT="packages/cplint/approx/simplecuddLPADs packages/cplint"
	AC_SUBST(CPLINT_LIBS)
	AC_SUBST(CPLINT_CFLAGS)
	AC_SUBST(CPLINT_LDFLAGS)
	AC_SUBST(CPLINT_SHLIB_LD)
	AC_SUBST(SHLIB_SUFFIX)
    else
        PKG_CPLINT="" 
    fi
fi

AC_SUBST(PKG_CPLINT)

mkdir -p  packages/cplint
mkdir -p  packages/cplint/approx
mkdir -p  packages/cplint/approx/simplecuddLPADs

AC_CONFIG_FILES([packages/cplint/Makefile])
AC_CONFIG_FILES([packages/cplint/approx/simplecuddLPADs/Makefile])