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/07/11 18:16] equemene [Modification du Makefile] |
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-beta2.tar.gz</code> | + | wget http://icl.cs.utk.edu/projectsfiles/magma/downloads/magma-1.4.1.tar.gz</code> |
==== Expansion de l'archive ==== | ==== Expansion de l'archive ==== | ||
Ligne 45: | Ligne 46: | ||
<code> | <code> | ||
cd /opt | cd /opt | ||
- | tar xzf /root/magma-1.4.0-beta2.tar.gz | + | tar xzf /root/magma-1.4.1.tar.gz |
- | cd /opt/magma-1.4.0-beta2 | + | cd /opt/magma-1.4.1 |
</code> | </code> | ||
Ligne 73: | 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 97: | 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// |