version 1.11, 1997/05/28 10:41:53
|
version 1.12, 1997/06/20 12:09:17
|
Line 215 kaffe_config :
|
Line 215 kaffe_config :
|
@(localdir=`pwd` ; kaffedir="$(THOTDIR)/$(KAFFE)" ; cd $(KAFFE) ; \ |
@(localdir=`pwd` ; kaffedir="$(THOTDIR)/$(KAFFE)" ; cd $(KAFFE) ; \ |
unset LANG; if [ -x $$kaffedir/configure ] ; then \ |
unset LANG; if [ -x $$kaffedir/configure ] ; then \ |
$$kaffedir/configure --prefix=$$localdir --libdir=$$localdir \ |
$$kaffedir/configure --prefix=$$localdir --libdir=$$localdir \ |
--bindir=$$localdir/bin --enable-staticlib --with-x ; \ |
--bindir=$$localdir/bin --enable-staticlib --with-x \ |
|
@KAFFE_ENGINE@ ; \ |
else \ |
else \ |
../$$kaffedir/configure --prefix=$$localdir --libdir=$$localdir \ |
../$$kaffedir/configure --prefix=$$localdir --libdir=$$localdir \ |
--bindir=$$localdir/bin --enable-staticlib --with-x ; \ |
--bindir=$$localdir/bin --enable-staticlib --with-x \ |
|
@KAFFE_ENGINE@ ; \ |
fi) |
fi) |
|
|
kaffe_make : |
kaffe_make : |