Hi John, I moved companies and I am now with Broacom, so this is a new machine. I am trying to install it on a rhel5 server where I installed all the dependencies local. I had never creduce running here.
I am wondering if creduce is missing some crucial dependency or if it can't see some libraries. Do you have a guess of what creduce might be not seeing? Where are these methods anyway? Is it the llvm libs? P.S. I had to slightly modify creduce since some things have changed in clang HEAD and creduce didn't compile. For example Rewrite.h is not in Rewrite/ anymore but instead it is in Rewrite/Core. However these were non-functional changes so I doubt I broke something. Cheers, Paulo Matos -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of John Regehr Sent: 25 September 2012 18:33 To: [email protected] Subject: Re: [creduce-dev] Undefined subroutine &pass_blank::check_prereqs Hi Paulo, It's unlikely that any recent change we made has caused this problem. Did C-Reduce previously work for you? What has changed on this machine since then? John On 09/25/2012 05:13 AM, Paulo Matos wrote: > Hello, > > I am getting the error : > > $ PERL5LIB=/home/pmatos/perl5lib/lib/site_perl/5.14.1/:$PERL5LIB creduce > ./min.sh test.i > > Undefined subroutine &pass_blank::check_prereqs called at > /home/pmatos/work/local-install/bin/creduce line 196. > > This is with the git HEAD, llvm/clang HEAD installed locally and perl > modules installed locally to perl5bin. > > Any idea where this comes from or why it's happening? I am really not > into perl so looking at line 196 doesn't say much to me... > > Cheers, > > Paulo Matos >
