devel:compillinux
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| devel:compillinux [2015/01/20 10:30] – created papeleux | devel:compillinux [2019/03/23 07:14] (current) – 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 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.1421746256.txt.gz · Last modified: (external edit)
