From 7c9500e438384c6c0ce478c8c73b3887137ac924 Mon Sep 17 00:00:00 2001 From: xleroy Date: Sat, 14 Jul 2012 08:20:28 +0000 Subject: Remove the PowerPC/MacOS X port, as MacOS no longer supports PowerPC. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1980 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- configure | 11 ----------- 1 file changed, 11 deletions(-) (limited to 'configure') diff --git a/configure b/configure index 38f7f33..9c3d6a7 100755 --- a/configure +++ b/configure @@ -21,7 +21,6 @@ target='' usage='Usage: ./configure [options] target Supported targets: - ppc-macosx (PowerPC, MacOS X) ppc-linux (PowerPC, Linux) ppc-eabi (PowerPC, EABI with GNU/Unix tools) ppc-eabi-diab (PowerPC, EABI with Diab tools) @@ -65,15 +64,6 @@ cchecklink=false has_runtime_lib=false case "$target" in - powerpc-macosx|ppc-macosx) - arch="powerpc" - variant="macosx" - system="macosx" - cc="${toolprefix}gcc -arch ppc" - cprepro="${toolprefix}gcc -arch ppc -U__GNUC__ -U__BLOCKS__ -E" - casm="${toolprefix}gcc -arch ppc -c" - clinker="${toolprefix}gcc -arch ppc" - libmath="";; powerpc-linux|ppc-linux|powerpc-eabi|ppc-eabi) arch="powerpc" variant="eabi" @@ -194,7 +184,6 @@ cat >> Makefile.config <<'EOF' ARCH= # Target ABI -# VARIANT=macosx # for PowerPC / MacOS X # VARIANT=eabi # for PowerPC / Linux and other SVR4 or EABI platforms # VARIANT=linux # for ARM # VARIANT=standard # for IA32 -- cgit v1.2.3