alliance-support '1999
Re: suite compiling 32c


Ludovic JACOMME (Ludovic.Jacomme@asim.lip6.fr)
Tue, 13 Jul 1999 15:13:49 +0200

> > > > Bonjour Ludovic! > > > > %%%%%%%%% building mbkvrlog .... I join to this mail, the good file mbkvrlog.c. All the bugs you talk me about have been corrected by others Alliance users, and you can find more detailed answers on the following link http://asim.lip6.fr/search/ > > gmake[2]: Entering directory `/home/caval/alliance/sources/syf/xfs' > /usr/bin/gcc -O4 -Wall -DLinux_elf -I -I. -I/usr/X11R6/include -I/home/caval/alliance/archi/Linux_elf/include > -I/home/caval/alliance/archi/Linux_elf/include -D_NO_PROTO -DFSM_H='"fsm102.h"' -DFTL_H='"ftl102.h"' -DAUT_H='"aut102.h"' > -DABL_H='"abl102.h"' -DBDD_H='"bdd102.h"' -DMUT_H='"mut321.h"' -DXTB_H='"XTB.h"' -DXSB_H='"XSB.h"' -DXMF_H='"XMF.h"' > -DXME_H='"XME.h"' -DXMV_H='"XMV.h"' -DXMT_H='"XMT.h"' -DXMS_H='"XMS.h"' -DXMH_H='"XMH.h"' -DXMX_H='"XMX.h"' -DXFS_H='"XFS.h"' > -DXFSM_DEFAULT_PARAM_NAME='"/home/caval/alliance/archi/Linux_elf/etc/xfsm.par"' -DXMS_FILE_NAME='".xfsm.cfg"' > -DALLIANCE_VERSION='"3.2b"' -DXFSM_TOOL_NAME='"xfsm"' -DXFSM_VERSION='"1.02"' -c XSB_share.c > XSB_share.c:43: Xm/Xm.h: No such file or directory > gmake[2]: *** [XSB_share.o] Error 1 > gmake[2]: Leaving directory `/home/caval/alliance/sources/syf/xfs' > make[1]: *** [/home/caval/alliance/archi/Linux_elf/bin/xfsm] Error 2 > make[1]: Leaving directory `/home/caval/alliance/sources/syf' > make: *** [all] Error 1 > You need the OSF motif librairies to compile all Alliance graphical tools. > 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 e-mail: Ludovic.Jacomme@asim.lip6.fr

 



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