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 : " 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. 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