diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-11 09:32:09 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-11 09:32:09 +0100 |
| commit | 0342889a01aa16162232b0a87a4eb10bdb852ba4 (patch) | |
| tree | 63c9ff7443e18b05275f2c258da3fe758d1413b0 /configure | |
| parent | 4d1e02eb67a027d968979ed37f9d90426c634ccd (diff) | |
| download | compcert-0342889a01aa16162232b0a87a4eb10bdb852ba4.tar.gz compcert-0342889a01aa16162232b0a87a4eb10bdb852ba4.zip | |
Update the IA32/MacOS X port.
- Prefix symbols with _
- Print indirect symbol definitions
- Suppress __asm() macros in system header files
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -154,7 +154,7 @@ case "$target" in abi="standard" system="macosx" cc="${toolprefix}gcc -arch i386" - cprepro="${toolprefix}gcc -arch i386 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' -E" + cprepro="${toolprefix}gcc -arch i386 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' '-D__asm(x)=' -E" casm="${toolprefix}gcc -arch i386 -c" case `uname -r` in [1-9].*|10.*|11.*) # up to MacOS 10.7 included |