Maude-help mailing list

["vaneet dadra" <vaneet.dadra AT gmail.com>]

Sir/Madam,

I have contacted you before for installing MAUDE for a bdd.h file and thanks for help in that. But now I have another problem in the installation of MAUDE. 
I give you the summary of what I have done:-
In GMP directory for installing GMP:-
1.) ./configure --disable-shared --enalbe-cxx
2.) make & then make check
3.) make install
In Tecla directory:-
1.) ./configure CFLAGS="-O2 -D_POSIX_C_SOURCE=1"
2.)  make TARGETS=normal TARGET_LIBS=static install
In Buddy directory:-
1.) ./configure --disable-shared
2.) make & then make check
3.) make install

Everything upto here is fine.But when I try to install MAUDE, there is some problem:-
I have given two commands:-
1.) ./configure
2.) make
but there is a problem in make it says that "ld exit status 1 cannot find -lcurses".Output of make file and configure is attached to this mail with errors.
Also there is some other information that you may need:-
1.)output of gcc -v
"Using built-in specs.
Target: i486-linux-gnu
Configured with: ../src/configure -v --enable-languages=c,c++,fortran,objc,obj-c++,treelang --prefix=/usr --enable-shared --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --enable-nls --with-gxx-include-dir=/usr/include/c++/4.1.3 --program-suffix=-4.1 --enable-__cxa_atexit --enable-clocale=gnu --enable-libstdcxx-debug --enable-mpfr --enable-checking=release i486-linux-gnu
Thread model: posix
gcc version 4.1.3 20070929 (prerelease) (Ubuntu 4.1.2-16ubuntu2)"
2.) Output of uname -a
"Linux vaneet-laptop 2.6.22-14-generic #1 SMP Sun Oct 14 23:05:12 GMT 2007 i686 GNU/Linux"

Please reply as soon as possible.
-- 
Thank you and best regards,
Vaneet Dadra
www.cse.iitd.ac.in/~cs1060188

Attachment: result_configure
Description: Binary data

Attachment: result_make
Description: Binary data