Utilizando Z/Eves para Especificação Formal no Ubuntu 9.04

Tentei instalar o software Z/Eves, para poder fazer os exercícios de especificação Formal sem sucesso ...
Baixei o Z/Eves de: http://agamenon.uniandes.edu.co/%7Ercardoso/Cursos/MESw/Material/ZEVES/z-eves-2.3.tgz
Segui as intruções de instalação porém, o pyton não conseguiu interpretar o bytecode ( arquivo .pyc ) adequadamente ...
Sem saber o que fazer, já desistindo da idéia de instalar o Z/Eves no Ubuntu 9.04, resolvi escrever para um colega que havia conseguido fazer funcionar o Z-Eves no linux
Esse colega é o Diego ( http://homes.dcc.ufba.br/~diego052/ )

A dica que ele deu foi:

Voce pode utilizar a versão disponível em:

http://www.exactas.org/index.php?name=UpDownload&req=viewdownload&cid=10

Há uma versão chamada: Z/Eves compilado

Ela já vem estruturada com uma versão do python adequada para fazer funcionar a
interface gráfica. É suficiente você baixar o arquivo e descompactá-lo para /opt

Talvez você precise mudar para o usuário root na hora de instalar (para escrever em /opt),
mas você pode depois de instalar o Z/eves, dar permissao de leitura ao arquivo z-eves-gui.sh.

Uma vez descompactado para /opt, é suficiente chamar o script: z-eves-gui.sh

A versão do Z/Eves contida neste pacote (compilado) é a 2.3.1 ou a 2.3


Feito criei o Seguinte script:

#!/bin/bash
echo "Abrindo A GUI Do Z/Eves";
bash /opt/Z/Z-Eves/system/z-eves-gui.sh


Exportei a pasta do script para a variável PATH do linux, utilizando-se do comando:
$export PATH=$PATH:/home/danilomatias/Documentos/programação/shell

e
$ echo 'export PATH=$PATH:/home/danilomatias/Documentos/programação/shell' >> /home/danilomatias/.bashrc


Agora para "chamar" a GUI do Z/Eves basta dar o comando na shell:

$ zEvesGUI.sh

E aparece a GUI do Z/EVES:
:



Recomendo fortemente acompanhar o Blog:

http://zeves.blogspot.com/