Highlight-3.62

Introduction à Highlight

Highlight est un utilitaire qui convertit le code source en text formaté avec de la coloration syntaxique.

This package is known to build and work properly using an LFS-10.1 platform.

Informations sur le paquet

  • Téléchargement (HTTP) : http://www.andre-simon.de/zip/highlight-3.62.tar.bz2

  • Téléchargement (FTP) :

  • Somme de contrôle MD5 du téléchargement : f155e808ca15d34aa8e1d34e3885e571

  • Taille du téléchargement : 1.4 Mo

  • Estimation de l'espace disque requis : 30 Mo (avec la GUI)

  • Estimation du temps de construction : 0,2 SBU (avec parallélisme = 4 avec la gui)

Dépendances de Highlight

Requises

Boost-1.75.0 et Lua-5.4.2

Facultatives

Qt-5.15.2 (pour construire l'interface utilisateur)

Notes utilisateur : http://wiki.linuxfromscratch.org/blfs/wiki/highlight

Installation de Highlight

Par souci de cohérence, ne compressez pas les pages de manuel.

sed -i '/GZIP/s/^/#/' makefile

Pour construire Highlight, lancez la commande suivante :

make

Pour construire l'interface graphique Qt5, lancez la commande suivante :

make doc_dir=/usr/share/doc/highlight-3.62/ gui

Ce paquet n'est pas fourni avec une suite de tests.

Pour installer Highlight, lancez la commande suivante en tant qu'utilisateur root :

make doc_dir=/usr/share/doc/highlight-3.62/ install

Pour installer l'interface graphique, lancez la commande suivante en tant qu'utilisateur root :

make install-gui

Explication des commandes

doc_dir=/usr/share/doc/highlight-3.62/ : installe la documentation de hilight dans un répertoire versionné. Ce paramètre est aussi requis pour make gui, parce que sa valeur est codée en dur dans l'exécutable graphique. Remarquez que le « / » final est requis.

Contents

Programmes installés: highlight
Bibliothèques installées: Aucune
Répertoires installés: /etc/highlight, /usr/share/doc/highlight/3.62 et /usr/share/highlight

Descriptions courtes

highlight

est un convertisseur universel de code source vers du texte formaté

Last updated on 2021-02-21 22:50:58 +0000