gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: Gcl


From: Camm Maguire
Subject: [Gcl-devel] Re: Gcl
Date: 28 Jun 2004 21:21:04 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!  yes you are missing a gcl build dependency, gettext.  You
may wish to check the gcl archives for earlier step by step
instructions on compiling gcl on macosx by Aurelien.  Likewise I
believe the acl2 documentation might describe this.  Please let me
know if you cannot find it.

Take care,

Scott M. Staley <address@hidden> writes:

> Camm,
> 
> Downloaded gcl to mac OS X 10.2.8 and it would not build. Is it
> supposed to on this version? It did not even get close.
> 
> Here is what I did...
> 
> ./configure
> 
> 
> which seemed to check thing out. Then ended with
> 
> #
> # Subconfigure of GMP done
> # ------------------------
> #
> checking for leading underscore in object symbols... yes
> checking for GNU ld option -Map... no
> checking for size of gmp limbs... 4
> checking _SHORT_LIMB... no
> checking _LONG_LONG_LIMB... no
> checking for X... no
> 
> 
> 
> 
> checking for main in -lXmu... no
> checking for main in -lXt... no
> checking for main in -lXext... no
> checking for main in -lXaw... no
> checking for main in -lX11... no
> missing x libraries -- cannot compile xgcl
> checking for libintl.h... no
> configure: error: libintl.h (gettext) not found
> 
> 
> 
> Next I did ...
> 
> make
> 
> which did only the following...
> 
> rm -f bin/gcl xbin/gcl
> MGCLDIR=`echo  | sed -e 'sX^\([a-z]\):X/\1Xg'` ; \
> GCLDIR=`echo ` ; \
> make install-command "INSTALL_LIB_DIR=$GCLDIR" "prefix=$GCLDIR"
> "BINDIR=$MGCLDIR/unixport"
> rm -f /bin/gcl
> (echo '#!/bin/sh' ; \
> echo exec /unixport/ \\ ; \
> echo '   -dir' /unixport/ \\ ; \
> echo '   -libdir' / \\ ; \
> echo '   -eval '\''(setq si::*allow-gzipped-file* t)'\' \\ ;\
> ! [ -d "" ] || echo '   -eval '\''(setq si::*tk-library* '\"\"')'\' \\;\
> echo '     '\"address@hidden" ) > /bin/gcl;
> /bin/sh: /bin/gcl: Permission denied
> make[1]: *** [install-command] Error 1
> make: *** [command] Error 2
> 
> 
> 
> Any suggestions????
> 
> Thanks, scott
> 
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah




reply via email to

[Prev in Thread] Current Thread [Next in Thread]