Handling of volatile accesses through builtin functions.

Added support for processor-specific builtin functions.
Added some PowerPC instructions as builtins.
Updated #pragma section handling.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1285 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 2 insertions, 2 deletions

diff --git a/configure b/configure
index d8c63fe..2ac95e3 100755
--- a/configure
+++ b/configure
@@ -62,7 +62,7 @@ done
 # Per-target configuration
 
 case "$target" in
-  ppc-macosx)
+  powerpc-macosx|ppc-macosx)
     arch="powerpc"
     variant="macosx"
     system="macosx"
@@ -71,7 +71,7 @@ case "$target" in
     casm="gcc -arch ppc -c"
     clinker="gcc -arch ppc"
     libmath="";;
-  ppc-linux)
+  powerpc-linux|ppc-linux)
     arch="powerpc"
     variant="eabi"
     system="linux"