devel:compillinux
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
devel:compillinux [2015/02/06 15:34] – ziane | devel:compillinux [2016/08/20 07:20] – boman | ||
---|---|---|---|
Line 19: | Line 19: | ||
=== Récupération des sources Metafor sous Linux === | === Récupération des sources Metafor sous Linux === | ||
- | 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 58: | Line 64: | ||
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