Re: [Axiom-developer] Re: ACL2 compiling problems

2005-11-29 Thread Camm Maguire
Greetings, and thanks Tim! I thought this was unnecessary with 2.6.8pre, no? Take care, root <[EMAIL PROTECTED]> writes: > === > FAQ 36: Axiom won't build on FC3 > ===

[Axiom-developer] Re: ACL2 compiling problems

2005-11-29 Thread root
=== FAQ 36: Axiom won't build on FC3 === You need to turn off dynamic library load point randomization. As root do: echo 0 >/proc/sys/kernel/exec-shield ===