[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: ACL2 compiling problems
From: |
root |
Subject: |
[Axiom-developer] Re: ACL2 compiling problems |
Date: |
Tue, 29 Nov 2005 18:44:41 -0500 |
===================================================================
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
===================================================================
FAQ 37: Axiom won't build on FC4
===================================================================
You need to turn off dynamic library load point randomization.
As root do:
echo 0 >/proc/sys/kernel/randomize_va_space
or do
setarch i386 -R make axiom