devel:compillinux
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| devel:compillinux [2015/02/06 16:06] – ziane | devel:compillinux [2019/03/23 07:14] (current) – boman | ||
|---|---|---|---|
| Line 10: | Line 10: | ||
| - | ==== Compilation de Metafor sous Linux (by hand) ==== | + | ==== Compilation de Metafor sous Linux (à la main) ==== |
| - | La compilation de Metafor se fait en 3 étapes : | + | La compilation de Metafor se fait en 3 étapes: |
| - | * la récupération des sources | + | * la récupération des sources, |
| - | * la génération des Makefiles | + | * la génération des Makefiles, |
| - | * la compilation proprement-dite | + | * la compilation proprement-dite. |
| - | === Récupération des sources Metafor | + | === Récupération des sources Metafor === |
| - | La récupération des souces Metafor sous Linux se fait en ligne de commande : | + | Considérons |
| - | * considérons | + | * les répositories |
| - | * sachant | + | * '' |
| - | * les répository | + | * '' |
| - | * '' | + | * l' |
| - | * '' | + | la récupération des sources se fait via les commandes (remplacer |
| - | * l' | + | |
| - | | + | |
| - | '' | + | '' |
| - | '' | + | '' |
| - | * Il en résulte 2 répertoires : | + | Il en résulte 2 répertoires: |
| * '' | * '' | ||
| * '' | * '' | ||
| + | |||
| + | A côté de ces 2 ensembles de sources, il est nécessaire de récupérer les sources de '' | ||
| + | |||
| + | git clone https:// | ||
| + | git clone git@gitlab.uliege.be: | ||
| + | |||
| === Génération des Makefiles === | === Génération des Makefiles === | ||
| - | En plus des deux répertoires de sources, il nécessaire de générer un répertoire dans lequel Metafor sera compilé. | + | |
| + | En plus des 4 répertoires de sources, il nécessaire de générer un répertoire dans lequel Metafor sera compilé. | ||
| La génération des Makefiles se fait via [[http:// | La génération des Makefiles se fait via [[http:// | ||
| - | * '' | + | '' |
| - | * la génération des makefiles se fait via la commande : | + | |
| - | * '' | + | La génération des makefiles se fait via la commande: |
| - | * '' | + | * '' |
| - | | + | * '' |
| - | * '' | + | où '' |
| - | * '' | + | |
| - | * '' | + | Exemples: |
| - | * '' | + | * '' |
| - | * '' | + | * '' |
| - | * '' | + | * '' |
| + | * '' | ||
| + | * '' | ||
| + | * '' | ||
| * ... | * ... | ||
| - | * Le nom seul de la machine donnant la configuration par défaut (utilisée par la batterie de test). | + | Le nom seul de la machine donnant la configuration par défaut (utilisée par la batterie de test). |
| === Compilation === | === Compilation === | ||
| - | La compilation se fait à partir du répertoire de génération | + | La compilation se fait à partir du répertoire de génération |
| - | * dans notre exemple | + | * '' |
| - | * via la commande : | + | * '' |
| - | * '' | + | |
| - | * '' | + | |
devel/compillinux.1423235184.txt.gz · Last modified: (external edit)
