Home Forums
|
wims sur une ubuntu 7.10 (1 viewing) (1) Guest
Favoured: 0
|
|
TOPIC: wims sur une ubuntu 7.10
|
|
wims sur une ubuntu 7.10 15 Years, 10 Months ago
|
Karma: 0
|
J'ai eu du mal à installer un serveur wims sur
une ubuntu 7.10.
En plus des 3 paquets wims
et du script apache-config (le script post-install
devrait demander à l'utilisateur si il souhaite executer ce script ou si il préfère configurer apache à la main, car à la fin de l'installation des 3 paquets, wims ne marche pas encore).
Après tout cela wims marche sauf certains exos. En fait il manque le paquet maxima-share
car ni maxima ni wims ne dépendent de ce paquet pourtant il est indipensable pour des fonctions de simplification come ratsimp ...
Cordialement,
Christophe
|
|
|
|
|
The administrator has disabled public write access.
|
|
|
|
|
|
Christophe
|
2008/07/08 16:01
|
|
|
|