[bddbddb-devel] Basic install problem

[Ashley S. <ste...@sc...>]

Hey guys,
Just ran into a problem while trying to install bddbddb.

1. I downloaded the pre-built JavaBDD binaries for Linux
2. I downloaded (using 'web access' method) and compiled bddbddb, which 
created the .jar
3. I tried running it without setting classpaths explicitly, and it 
failed with:
BDD library is not in classpath!  Cannot find JavaBDD library!

4. I tried various ways of setting the classpath, though the javabdd jar 
is in the same directory, without success
e.g., java -classpath .:javabdd-1.0b2.jar -jar bddbddb.jar

5. I copied the libbuddy.so from the JavaBDD distribution itself into 
the current directory, with the same results.

Am I missing something obvious here?

Thanks,
Ashley