There is no documentation for how to build the project - Githubissues

lesunb / CRGMToPRISM

In a nutshell, GODA (Goal-Oriented Dependability Analysis) is a framework for verification of goal models through probabilistic model checking, where contextual goal models are translated into PRISM and PARAM languages.

2 stars 6 forks source link

There is no documentation for how to build the project #2

Closed gabrielsr closed 8 years ago

gabrielsr commented 9 years ago

working in it! I could run the plugin yet. Any help on it @danilomendonca ? Studing how to develop a plugin, now.

danilomendonca commented 9 years ago

Gabriel, cole aqui o erro na dependência para que eu veja assim que possível.

gabrielsr commented 9 years ago

Fazendo o build pelo maven:

[INFO] ------------------------------------------------------------------------ [ERROR] BUILD ERROR [INFO] ------------------------------------------------------------------------ [INFO] Error resolving version for 'org.antlr:antlr4-maven-plugin': Plugin requires Maven version 3.0

Já importando como plugin Eclipse não obtenho um erro. Mas não consigo ver o menu para gerar o código. Não sei se estou esquecendo de fazer algo...

gabrielsr commented 9 years ago

Meu maven estava desatualizado. Atualizei para o 3.0.4. Obtive um erro de versão do código do java. Setei no pom para uma versão mais recente do Java e consegui fazer o build do jar.

danilomendonca commented 9 years ago

Eu corrigi esse erro em meu ambiente instalando a versão 3.0 do maven no linux. Dá uma googleada que você acha.

danilomendonca commented 9 years ago

Ótimo!

gabrielsr commented 9 years ago

Não é possível importar o jar gerado pelo maven como plugin no eclipse. Vendo se existe algum plugin maven.

gabrielsr commented 9 years ago

Explorei um pouco sobre o plugin maven tycho (https://eclipse.org/tycho/documentation.php) mas vi que o factory teria que ser muito grande. Já tentando importar como projeto eclipse, falta a dependência taom4e-platform;bundle-version="1.0.0" declarada em META-INF/MANIFEST.MF

gabrielsr commented 9 years ago

alguma idéia @danilomendonca ?

gabrielsr commented 9 years ago

Acho que encontrei a versão correta do taom4e e fiz um pull request. Pode ver se ficou certo?

Algumas classes apresentam erro porque possuem @Override em métodos, mas não sobreescrevem na verdade. É um erro do código ou do meu ambiente que ainda está zoado?
Ainda não consegui ver o menu para gerar código PRISM. Em que situação ele deveria aparecer?

danilomendonca commented 9 years ago

The project uses both eclipse plugin dependencies and maven. Any dependency not included as an eclipse plugin (plugin.xml -> dependencies) should be added as a maven dependency/plugin.