devel:compillinux
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
devel:compillinux [2016/08/20 07:20] – boman | 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 sources 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 '' | + | |
+ | 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 https:// | ||
- | git clone userName@blueberry.ltas.ulg.ac.be:/home/ | + | git clone git@gitlab.uliege.be:am-dept/MN2L/ |
Line 45: | Line 44: | ||
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: | ||
* '' | * '' | ||
* '' | * '' | ||
Line 57: | Line 59: | ||
* '' | * '' | ||
* ... | * ... | ||
- | * 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.1471670404.txt.gz · Last modified: 2016/08/20 07:20 by boman