Belsim/Installation

From LeniWiki

Jump to: navigation, search

Main Page > Software > Belsim > Installation


Assurez vous d'être dans le groupe Vali sur http://groupes.epfl.ch pour recevoir les informations.
Please make sure that you belong to the Vali group on http://groups.epfl.ch to get the news.


Blog : http://blogs.epfl.ch/vali

Contents

License

Français: Le serveur de licence de VALI/Belsim est stilic1.epfl.ch. Cette IP est enregistrée dans le fichier belsim/dat/belsim.ini. Votre référent doit vous donner accès sur le serveur de licence.

English : The VALI/Belsim license server is stilic1.epfl.ch. This IP address must be set in the belsim/dat/belsim.ini file. Your responsible must grant you the access to this server.


Installation

Please get a copy of VALI/Belsim here : https://documents.epfl.ch/groups/v/va/vali/private (you must add yourself to the vali group on http://groups.epfl.ch), install the 4.7 version with the update to the 4.7.0.2.

To be able to use it, your responsible must grant you a access to this server (username must be similar to the one of the windows session).


Versions

Windows

Belsim 4.7

Version en vigeur dans les salles de cours G11 et String. Cette version est accessible sur my.epfl.ch dans le groupe vali.


Linux

Belsim version 2007 (4.3) or 2009 (4.5) on Pleiades

to use Belsim 2007 on your Pleiades account, you must

(1) set the variable BELSIM_MSG to /usr/local/vali/dat

for example by adding the line export BELSIM_MSG=/usr/local/vali/dat to your .bashrc file (type pico .bashrc to edit it after login to pleiades)

(2) add the PATH of the executable, i.e. /usr/local/vali/bin

to do this, add the line export PATH=$PATH:/usr/local/vali/bin to your .bashrc (as above) or create a symbolic link to the executable in your bin, by once typing ln -s /usr/local/vali/bin/vali.exe ./bin/vali.exe after login to pleiades

Belsim sur linux (admins only)

Il convient de mentionner qu'actuellement, l'interface graphique de belsim ne peut être utilisé sur linux. Toutefois, il peut être avantageux de l'installer malgré tout, par exemple afin de l'utiliser via OSMOSE. Les étapes sont les suivantes:

  1. Sauvegarder \\leniserver.epfl.ch/leni/07_SOFTWARES/1_LINUX/7_VALI/2009_v4.5 (./2007_v4.2) dans le dossier voulu.
  2. Décompresser les dossiers bin.tar, dat.tar et test.tar
  3. Dans un terminal, taper (même chose sur fedora et ubuntu)
    sudo gedit /etc/profile
    et ajouter
    export BELSIM_MSG=/usr/local/belsim/dat<code> (ou le chemin d'accès conduisant à votre dossier dat)
    
  4. Corriger les parcours dans le ficher /usr/local/belsim/dat/belsim.ini
  5. Envoyer un mail à Belsim avec le résultat de la commande "uname -a" pour demander une cléf (si c'était déjà le cas, il se trouve dans \\leniserver.epfl.ch/leni/07_SOFTWARES/1_LINUX/7_VALI/keys). La Placer dans <InstallDir>/vali/dat
  6. En executant vali.exe il est possible de recevoir le message d'erreur "bash: [path]/[FILENAME]: No such file or directory" dans des systèmes 64 bit à cause de l'absence de librairies 32bit. (Dans Ubuntu 8.04 on peut resoudre le problème avec "sudo apt-get install ia32-libs")
Personal tools