- Ce sujet contient 9 réponses, 4 participants et a été mis à jour pour la dernière fois par
, le il y a 7 années et 7 mois.
-
Messages
-
-
Bonjour.
Notre serveur pédagogique ayant été changé en juin dernier, j’ai voulu installer wims sur le nouveau en suivant, comme je l’avais fait la dernière fois, le tutoriel suivant http://wimsedu.info/?topic=installation-sur-ubuntu puisque notre serveur est basé sur ubuntu 12.04LTS. Cependant, maxima n’est pas reconnu
IL semble cependant que maxima soit bien installé :
.
Est-ce que vous avez des pistes pour résoudre le problème.Merci par avance
Thomas Charon
-
Ce sujet a été modifié le il y a 7 années et 7 mois par
-
Ce sujet a été modifié le il y a 7 années et 7 mois par
-
Ce sujet a été modifié le il y a 7 années et 7 mois par
.
-
Ce sujet a été modifié le il y a 7 années et 7 mois par
-
Ce sujet a été modifié le il y a 7 années et 7 mois par
-
Ce sujet a été modifié le il y a 7 années et 7 mois par
-
Ce sujet a été modifié le il y a 7 années et 7 mois par
-
Ce sujet a été modifié le il y a 7 années et 7 mois par
-
Ce sujet a été modifié le il y a 7 années et 7 mois par
-
Ce sujet a été modifié le il y a 7 années et 7 mois par
-
Ce sujet a été modifié le il y a 7 années et 7 mois par
Thomas Charon
Lycée Lumière à Lyon -
Ce sujet a été modifié le il y a 7 années et 7 mois par
-
Bonjour,
Le tutoriel « officiel » n’est pas sur le forum, mais sur le wiki collaboratif, à l’adresse suivante :http://wiki.wimsedu.info/doku.php?id=installation:ubuntu
Vous y trouverez notamment un point sur Maxima, qui je l’espère solutionnera votre souci.
[EDIT] il semble que le point sur maxima ne concernait que la version 9.4 d’Ubuntu
-
Cette réponse a été modifiée le il y a 7 années et 7 mois par
.
-
Cette réponse a été modifiée le il y a 7 années et 7 mois par
-
Cette réponse a été modifiée le il y a 7 années et 7 mois par
Olivier Bado-Faustin / Université Côte d’Azur
-
Cette réponse a été modifiée le il y a 7 années et 7 mois par
-
Je viens de vérifier sur un serveur Ubuntu 16.04.1 LTS sur lequel WIMS détecte correctement Maxima (version 5.37.2)
Par contre, je n’ai pas de serveur Ubuntu en 12.04LTS. Cette version commence en effet à dater et ne sera bientôt plus maintenue. Peut-etre est-il le moment de planifier une migration vers une version 14 ou 16 d’Ubuntu ?
Olivier Bado-Faustin / Université Côte d’Azur
-
1 – En étant administrateur et en mode debug, après avoir essayé une fonction maxima
(soit dans l’outil de maintenance, soit dans un module l’utilisant, par exemple
l’outil de calcul des fonctions), il faudrait regarder les messages qui se trouvent dans tmp/sessions/numero_session/ pour voir si maxima n’est pas appelé ou ne répond pas.
Eventuellement essayez le fichier généré dans un maxima ouvert.2 – Il est possible que l’appel de maxima proposé par défaut ne convient pas à votre installation. Avez-vous essayé de lancer maxima avec la commande par défaut de wims ?
Bernadette
-
Hi,
You may want to save yourself a lot of trouble and try using maxima (and the rest) from a chroot system. (only 64bit linux)
http://wims.unice.fr/download/wims/chroot/wims-4.12.chroot64.linux.tar.bz2After install, just run as root
/home/wims/bin/setchrootJoke
-
1 – En étant administrateur et en mode debug, après avoir essayé une fonction maxima
(soit dans l’outil de maintenance, soit dans un module l’utilisant, par exemple
l’outil de calcul des fonctions), il faudrait regarder les messages qui se trouvent dans tmp/sessions/numero_session/ pour voir si maxima n’est pas appelé ou ne répond pas.J’obtiens le message suivant :
2 – Il est possible que l’appel de maxima proposé par défaut ne convient pas à votre installation. Avez-vous essayé de lancer maxima avec la commande par défaut de wims ?
Je n’ai plus accès ce soir au serveur. J’essaie demain, mais, si j’ai bien compris le message précédent, ce serait l’appel de maxima par défaut qui pose problème avec clisp, c’est ça ?…
Thomas Charon
Lycée Lumière à Lyon-
Effectivement, c’est bien clisp qui n’accepte pas l’argument ‘–dynamic-space-size 512’ quand je tente de lancer maxima avec les arguments par défaut (maxima -X ‘–dynamic-space-size 512’) directement en console. Si je supprime juste ‘–dynamic-space-size 512’ maxima semble opérationnel (en console et avec wims). L’argument ‘–dynamic-space-size 512’ est-il indispensable ou juste très fortement conseillé au cas où …?
Thomas Charon
Lycée Lumière à Lyon
-
-
Hi,
when you want to use the latest stable wims version there are -in my opinion- two sensible(*) options:1) install a newer version of linux along with the
« latest » stable software for wims (maxima/pari/octave etc). This would take a few hours2) only install the latest software needed by wims
via a chroot. In that way you can keep your linux installation. This method would take you 50 seconds…But it’s not my call to make 🙂
kind regards,
Joke Evers
(*)
to avoid bugs&flaws in both modules and aux software -
-
Bonjour.
Merci à tous pour vos réponses.
Nous allons commencer l’année avec le serveur configuré avec cet appel « personnalisé » de maxima.
Olivier->effectivement, une version plus récente du serveur serait certainement une bonne solution, hélas, si nous voulons installer un serveur wims accessible en local (utilisation au lycée sans soucis se soucier des soucis inhérent à internet) et par internet (travail à la maison des profs et des élèves), le rectorat nous impose une installation sur le serveur pédagogique du lycée en dmz (scribe 2.4->ubuntu 12.04!). Tout devrait être virtualisé dans l’année, je pourrai peut-être alors utiliser un serveur dédié à wims (solution idéale)
jm->merci pour la proposition d’installation via chroot que je ne connaissais pas, si je ne peux pas faire de serveur virtualisé dédié à wims, j’envisagerai cette solution.
Thomas
Thomas Charon
Lycée Lumière à Lyon
-
-
- Vous devez être connecté pour répondre à ce sujet.