Hi, Please read the README file. Befor starting Alliance tools you have to source the file alc_env.(sh,csh) On Thu, Sep 14, 2000 at 03:05:22PM +0530, rajendran munuswamy wrote: > Dear Sir, > > This mail is regarding a requisition for your guidance > for using the Alliance tool. I just came to know about > Your wonderful tool while surfing and had also downloded the linux version of the Alliance tool. > > I had made the configuration as discussed in the manuals and was able to invoke the executables after > adding the respective paths in the " .cshrc file". > > 1)I am not able to invoke the tools namely : > > dreal,graal : the corresponding error message was as > follows > "rpr:rprparse.632 alu4 unexpected line 89 : " It's due to your environement variable. And i have a question : which Alliance version you have downloaded ? > > 2)Also genlib reports as follows: > Generating the Makefile > Compiling, ... > Compilation failed! > Makefile.2095:1: /etc/libraries.mk: No such file or directory > Makefile.2095:2: /etc/.mk: No such file or directory > make: *** No rule to make target `/etc/.mk'. Stop. The environement variable ALLIANCE_TOP, ALLIANCE_OS etc ... are not properly set, (because you didn't source the file alc_env.csh) > > As I have made a complete check for the paths ,which were perfect , I need your help to solve the above problems. > Respected sir , it would be of great help to us as > we are very eager in learning and using the tool. > So I make a kind request to respond to this as early as > possible. > > Thanking you yours faithfully > > M.Rajendran > (U & I Scotty Computers Ltd) > member tecnical -ASIC dept > Bangalore > India > > > > Get your FREE Email and Voicemail at Lycos Communications at > http://comm.lycos.com Regards, Ludo. (_) ___ Ludovic JACOMME _ _ ( ) ( ) ( ) ( 6 ) Laboratoire LIP6, Equipe ASIM ( ) (_) ( _ ) Couloir 55-65, 2eme etage, ( )___ ( ) Universite P. et M. Curie (P6) (_____) (_) 4 place Jussieu, 75252 Paris Cedex 05 Tel: (33) 01.44.27.54.15 Fax: (33) 01.44.27.72.80 ICQ: 62526530 mailto: Ludovic.Jacomme@asim.lip6.fr http: //asim.lip6.fr/~ludo