Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
developpement:activites:integration:magma4wheezy [2013/11/07 12:17] equemene [Récupération des sources] |
developpement:activites:integration:magma4wheezy [2015/01/07 10:04] (Version actuelle) |
||
|---|---|---|---|
| Ligne 39: | Ligne 39: | ||
| <code>cd /root | <code>cd /root | ||
| - | wget http://icl.cs.utk.edu/projectsfiles/magma/downloads/magma-1.4.0.tar.gz</code> | + | wget http://icl.cs.utk.edu/projectsfiles/magma/downloads/magma-1.4.1.tar.gz</code> |
| Ligne 46: | Ligne 46: | ||
| <code> | <code> | ||
| cd /opt | cd /opt | ||
| - | tar xzf /root/magma-1.4.0.tar.gz | + | tar xzf /root/magma-1.4.1.tar.gz |
| - | cd /opt/magma-1.4.0 | + | cd /opt/magma-1.4.1 |
| </code> | </code> | ||
| Ligne 74: | Ligne 74: | ||
| <code> | <code> | ||
| cd /opt | cd /opt | ||
| - | ln -s magma-1.4.0-beta2 magma | + | [ -h /opt/magma ] && rm /opt/magma |
| + | ln -s magma-1.4.1 magma | ||
| echo /opt/magma/lib >> /etc/ld.so.conf.d/magma.conf | echo /opt/magma/lib >> /etc/ld.so.conf.d/magma.conf | ||
| ldconfig | ldconfig | ||
| Ligne 98: | Ligne 99: | ||
| </code> | </code> | ||
| - | --- //[[emmanuel.quemener@ens-lyon.fr|Emmanuel Quemener]] 2013/07/03 11:32// | + | --- //[[emmanuel.quemener@ens-lyon.fr|Emmanuel Quemener]] 2014/01/16 10:26// |