search

ultimate-pa / hanfor

Hanfor helps analyzing and formalizing requirements.
https://ultimate-pa.github.io/hanfor/
GNU Lesser General Public License v3.0
9 stars 3 forks source link

Hanfor with Ultimate #251

Closed xxrlzzz closed 5 months ago

xxrlzzz commented 7 months ago

hello, I see installation, reqanalyzer section, hanfor requires ultimate software.

image

I try to compile by run makeFresh.sh, but got a compile error from lib.pea module, I see there has a nightly build from Jenkins, is there any chance can I have a copy of UReqCheck-linux.zip and UReqCheck-win32.zip, thanks a lot.

hauff commented 7 months ago

Hello xxrlzzz,

the nightly builds are linked on the Ultimate page on GitHub. https://github.com/ultimate-pa/ultimate

xxrlzzz commented 7 months ago

Is there any env or ide requirement for build ultimate?

java11 and java8 both not work for me

hauff commented 7 months ago

Link to Ultimate nightly builds in the documentation is outdated. https://ultimate-pa.github.io/hanfor/installation/installation.html#reqanalyzer

xxrlzzz commented 7 months ago

great thank you for your reply