Installation de Guile
Installez Guile en lançant les
commandes suivantes :
./configure --prefix=/usr --disable-static &&
make &&
make html &&
makeinfo --plaintext -o doc/r5rs/r5rs.txt doc/r5rs/r5rs.texi &&
makeinfo --plaintext -o doc/ref/guile.txt doc/ref/guile.texi
Si vous avez installé TeX-Live-20120701 et si vous
souhaitez construire d'autres formats (PDF et postscript) de la
documentation, lancez les commandes suivantes :
for DIRNAME in r5rs ref
do make -k -C doc/${DIRNAME} pdf ps
done &&
unset DIRNAME
Pour tester les résultats, lancez : make check.
Maintenant, en tant qu'utilisateur root :
make install &&
find examples -name "Makefile*" -exec rm {} ; &&
install -v -m755 -d /usr/share/doc/guile-2.0.6 &&
cp -vR examples /usr/share/doc/guile-2.0.6 &&
for DIRNAME in r5rs ref
do
install -v -m755 -d /usr/share/doc/guile-2.0.6/${DIRNAME} &&
install -v -m644 doc/${DIRNAME}/*.txt /usr/share/doc/guile-2.0.6/${DIRNAME} &&
if [ -d doc/${DIRNAME}/${DIRNAME}.html ]; then
cp -v -R doc/${DIRNAME}/${DIRNAME}.html /usr/share/doc/guile-2.0.6/${DIRNAME}
fi
done &&
cp -v -R doc/ref/guile.html /usr/share/doc/guile-2.0.6/ref
Si vous avez construit les formats alternatifs de la documentation,
installez-les en utilisant les commandes suivantes, exécutées par
l'utilisateur root :
for DIRNAME in r5rs ref
install -v -m644 doc/${DIRNAME}/*.{pdf,ps,dvi} /usr/share/doc/guile-2.0.6/${DIRNAME}
done