alliance-support '1998
Information about compilation of Alliance sources


Bernardo Pastorelli (pastorb@tin.it)
Fri, 18 Dec 1998 18:29:56 +0100

I'm a student of Electronic Engineering and I'm trying to compile Alliance using RedHAT Linux 5.0. I'm not able to compile some of your tools (for example dreal): they require some include files (like Xm/Frame.h and Xm/Form.h) that I'm not able to find. Are they a standard component of Linux or I need to download them from another source? Thank you for your help, Bernardo Pastorelli.

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 22 March 2001.