Making work JPL with Ubuntu 12.04 ?
Sergio Castro <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
Hello, I am testing a library using JPL with different versions of Ubuntu. It works fine with Ubuntu 13.04, but I cannot make it work with version 12.04 (a third party image where I was required to install it). I am using swi Version 6.6.2-2-ge23683d (compiled from the git repository). The configuration in both OS is around the same, so my best guess is that a required package is missing in 12.04 (?) I installed first the packages mentioned as required from this OS in the swi site: sudo apt-get install \ build-essential autoconf curl chrpath \ ncurses-dev libreadline-dev libunwind7-dev \ libgmp-dev \ libxext-dev libice-dev libjpeg-dev libxinerama-dev libxft-dev \ libxpm-dev libxt-dev pkg-config \ libssl-dev \ unixodbc-dev \ openjdk-7-jdk junit \ zlib1g-dev libarchive-dev \ libossp-uuid-dev The error I get is: UnsatisfiedLinkError: …libjpl.so: undefined symbol: __gmpz_init As I interpret it, it does not have problems in finding the jpl library libjpl.so, but cannot find a symbol or library required by it. Are there any known issues regarding jpl in 12.04 ? cheers, Sergio -------------- next part -------------- HTML attachment scrubbed and removed _______________________________________________ SWI-Prolog mailing list [email protected] https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog