[PPL-devel] Sage build from source...

[Roberto Bagnara]

On 11/23/13 11:30, Steven Holman wrote:
> Hi, I downloaded Sage to build on a MacBook Pro running Ubuntu 12.04 LTS 64bit. A real partitioned OS, not a VM. Anyways, I used
>
> http://www.cecm.sfu.ca/sage/src/index.html
>
> and downloaded "sage-5.12.tar".
>
> I made sure all my prerequisites (including dpkg-dev) were installed (via apt-get) and then I just ran;
>
> make
>
> It finished with errors and I followed it back until it said;
>
> Successfully installed ppl-1.1pre9.p0
>
> But when it ran the test suite it failed a little later around
>
> make cotree1
>
> So I just played around by implementing,
>
> cd '/home/sbh/SW/Sage/sage-5.12/spkg/build/ppl-1.1pre9.p0' && '/home/sbh/SW/Sage/sage-5.12/sage' --sh
>
> and started from the "successful install of ppl....."
>
> The complaint about the libstdc++.so.6 being the wrong version makes me think that a LD_LIBRARY_PATH is pointing to this library, from a Matlab install, before /usr/lib - actually my libstdc++.so is in /usr/lib/x86_64-linux-gnu/ instead of /usr/lib/. So I checked these libraries;
>
> sbh at sbh-MacBookPro:/usr/local/MATLAB/MATLAB_Compiler_Runtime/v81/sys/os/glnxa64$ /sbin/ldconfig -p | grep stdc++
>      libstdc++.so.6 (libc6,x86-64) => /usr/lib/x86_64-linux-gnu/libstdc++.so.6
>      libstdc++.so.6 (libc6) => /usr/lib/i386-linux-gnu/libstdc++.so.6
>      libstdc++.so.6 (libc6) => /usr/lib32/libstdc++.so.6
>      libstdc++.so.6 (libc6) => /home/sbh/QtSDK/Madde/sysroots/harmattan_sysroot_10.2011.34-1_slim/usr/lib/libstdc++.so.6
>      libstdc++.so.5 (libc6) => /usr/lib/i386-linux-gnu/libstdc++.so.5
> sbh at sbh-MacBookPro:/usr/local/MATLAB/MATLAB_Compiler_Runtime/v81/sys/os/glnxa64$ strings /usr/lib/libstdc++.so.6 | grep LIBCXX
> strings: '/usr/lib/libstdc++.so.6': No such file
> sbh at sbh-MacBookPro:/usr/local/MATLAB/MATLAB_Compiler_Runtime/v81/sys/os/glnxa64$ strings /usr/lib/x86_64-linux-gnu/libstdc++.so.6 | grep LIBCXX
> GLIBCXX_3.4
> GLIBCXX_3.4.1
> GLIBCXX_3.4.2
> GLIBCXX_3.4.3
> GLIBCXX_3.4.4
> GLIBCXX_3.4.5
> GLIBCXX_3.4.6
> GLIBCXX_3.4.7
> GLIBCXX_3.4.8
> GLIBCXX_3.4.9
> GLIBCXX_3.4.10
> GLIBCXX_3.4.11
> GLIBCXX_3.4.12
> GLIBCXX_3.4.13
> GLIBCXX_3.4.14
> GLIBCXX_3.4.15
> GLIBCXX_3.4.16
> GLIBCXX_DEBUG_MESSAGE_LENGTH
>
> I tried copying some around, symbolic links, etc. Seems it is requesting an older one than the one above, that I had copied to the matlab folder just to see if it would work.
>
> Anyway, long story short, I've attached the ppl log file, though I will say that while I was in the subshell I did have a problem with one make process complaining of no header file;
>
> g++     cotree1.cc   -o cotree1
> cotree1.cc:24:23: fatal error: ppl_test.hh: No such file or directory
> compilation terminated.
>
> Anyways, I've built a lot of software (OpenFOAM, MPI, Tor, etc.) on this machine successfully so I'm not really sure what is the problem, and was hoping you could help me figure it out.
>
> Thank you!
> Brett

Hello Brett.  Thanks for the report.
Can you please try with the official PPL 1.1 release?
Kind regards,

   Roberto

-- 
      Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara at bugseng.com