So far, AVISPA is not in the portage tree (of course) and there's no overlay that has this app. So you have to download the app from AVISPA web site http://www.avispa-project.org

AVISPA is only available as precompiled 32bits bianary, so you have no choice but to download and install it manually (you need to register to download).

Once downloaded, just extract it to a directory your home:

The precompiled 32bits SPAN does not work on x86_64 arch, if you run it, you will get something like:

Then you have to build it

To build SPAN, you'll need dev-lang/tk and dev-lang/ocaml, so emerge them:

Now you need to get SPAN from here http://www.irisa.fr/lande/genet/span/span-1.1-source.tar.gz

Put it somewhere you can remember, for example ~/Desktop 

Now extract span to a directory, let's say ~/

You'll have a dicrectory named span

If it complains, then you need to set following environment variable:

Once compiled, you're ready to run SPAN:

If span cannot find OFMC, ATSE, TA4SP... libs or config files, just copy the respective directories and files from ~/avispa-1.1/bin/backends to ~span/bin/backends

I'll make an ebuild for SPAN once I have time.

Last update: 15-03-2008 09:17

Published in : Computer stuff, Gentoo

Keywords : AVISPA, SPAN, Gentoo, build, source

Users' Comments (0)

Add your comment