devel:compillinux
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionNext revisionBoth sides next revision | ||
devel:compillinux [2015/01/20 10:30] – created papeleux | devel:compillinux [2016/08/20 07:21] – boman | ||
---|---|---|---|
Line 2: | Line 2: | ||
<note important> | <note important> | ||
- | Une connaissance de base de Linux et l' | + | Une connaissance de base de Linux et l' |
Il est aussi indispensable d' | Il est aussi indispensable d' | ||
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érer les sources Metafor | + | === Récupération des sources Metafor === |
- | La récupération des souces | + | La récupération des sources |
- | * considérons que l'on se trouve dans un répertoire à partir duquel on dispose de suffisament | + | * considérons que l'on se trouve dans un répertoire à partir duquel on dispose de suffisamment |
- | * sachant que | + | * sachant que : |
- | * les répository se trouvent sur '' | + | * les répository se trouvent sur '' |
* '' | * '' | ||
* '' | * '' | ||
Line 28: | Line 28: | ||
* la récupération des sources se fait via les commandes (remplacer userName par votre identifiant) | * la récupération des sources se fait via les commandes (remplacer userName par votre identifiant) | ||
- | '' | + | '' |
- | '' | + | '' |
* 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 userName@blueberry.ltas.ulg.ac.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ù '' | + | * où '' |
- | * '' | + | * '' |
- | * '' | + | * '' |
- | * '' | + | * '' |
- | * '' | + | * '' |
- | * '' | + | * '' |
- | * '' | + | * '' |
* ... | * ... | ||
* 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). | ||
Line 56: | Line 62: | ||
=== 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 : '' | * dans notre exemple : '' | ||
- | * via la commande : | + | * via la commande: |
- | * '' | + | * '' |
- | * '' | + | * '' |
devel/compillinux.txt · Last modified: 2019/03/23 07:14 by boman