[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Request for compiling

Dear Frédéric,

the glibc page says:

The current stable version of glibc is 2.22. See the NEWS file in the glibc sources for more information.

I believe that version 2.15 was released in 2012, so it's not exactly recent. As announced in [1], we decided that we support one stable version of the major operating systems (Windows, Linux, OS X) because we don't have the manpower to track compatibility. You may be able to install from source [2].

Best regards,

[1] https://groups.google.com/forum/#!topic/tlaplus/jw8pZvOLcm0
[2] https://tla.msr-inria.inria.fr/tlaps/content/Download/Source.html

On 30 Dec 2015, at 12:25, fl <freder...@xxxxxxxxxxx> wrote:

Hi everybody,

Tlaps for linux is compiled with libc 2.15. Is it possible to compile it with libc 2.13? It will make life
easier for those who have not yet installed the latest libraries  (me for instance :-), knowing 
that installing a new box is, well, demanding...and that I doubt that tlaps use features that are
in 2.15 and not in 2.13.

Thank you for taking my ask into consideration.


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.