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-20130530 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 -dm755 /usr/share/doc/guile-2.0.9 &&
cp -vR examples /usr/share/doc/guile-2.0.9 &&
for DIRNAME in r5rs ref
do
install -v -dm755 /usr/share/doc/guile-2.0.9/${DIRNAME} &&
install -v -m644 doc/${DIRNAME}/*.txt \
/usr/share/doc/guile-2.0.9/${DIRNAME} &&
if [ -d doc/${DIRNAME}/${DIRNAME}.html ]; then
cp -Rv doc/${DIRNAME}/${DIRNAME}.html \
/usr/share/doc/guile-2.0.9/${DIRNAME}
fi
done
cp -vR doc/ref/guile.html /usr/share/doc/guile-2.0.9/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
do
install -v -m644 doc/${DIRNAME}/*.{pdf,ps,dvi} \
/usr/share/doc/guile-2.0.9/${DIRNAME}
done