[Soot-list] Building SPLlift?

[Hamid A. Toussi]

Hi all.

I went through the steps in
http://secure-software-engineering.github.io/SPLlift/ to build
SPLlift. The class spllift.Activator is built without problems. I am
not familiar with Eclipse plugin development but I guess, I also need
to build source files in cide-spl-ui. Is that right? There are
dependencies to org.eclipse.jdt.* and org.eclipse.core.*. How can I
obtain particular versions of theses packages which are suitable to
current version of SPLlift (I am using eclipse 3.7.1 as it was
suggested).

Anyway, I am mostly interested in plugin-independent parts of SPLlift
at the moment. Are they the ones in soot.spl.ifds package (cide-spl-ui
directory)? Should I also look at other places?

Thank you,
Hamid