Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005912OCamlOCaml internal build/install (Makefiles, configure)public2013-01-29 11:202013-08-23 14:33
Reportertgazagna 
Assigned Todoligez 
PriorityhighSeverityminorReproducibilityalways
StatusresolvedResolutionwon't fix 
PlatformOSOSXOS Version10.6.8
Product Version4.01.0+dev 
Target Version4.01.0+devFixed in Version4.01.0+dev 
Summary0005912: Cannot install trunk on OSX 10.6.8
DescriptionI have OSX 10.6.8 and I got:

[...]
/var/folders/xX/xX11ISOtFjiytGYgrXdr6U+++TI/-Tmp-/cc-ZGZMwX.s:4179:2: warning: ignoring directive for now
 .cfi_endproc
 ^
for i in unix str num dynlink bigarray systhreads threads graph labltk; do \
      (cd otherlibs/$i; make allopt) || exit $?; \
    done
../../ocamlcompopt.sh -c -w +33..39 -warn-error A -g -nolabels unix.ml
---

and then the script seems to be stuck. I guess this is due to the recent swtich from as to llvm-as. I guess the configure script should check for the right version of OSX as well.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0008928)
doligez (administrator)
2013-02-26 11:46

note: should probably check the version of as rather than the version of OSX.
(0008930)
tgazagna (reporter)
2013-02-26 13:57

$ as -v
Apple Inc version cctools-800~26, GNU assembler version 1.38
(0009576)
doligez (administrator)
2013-06-19 20:38

We'll need to find an OSX 10.6 machine to test this out. Or is it linked to the Xcode version? What about deciding that older versions of OSX are not supported?
(0010212)
hongboz (developer)
2013-08-20 17:47

I have an OSX 10.6.8 at home, I would help test tonight
(0010215)
hongboz (developer)
2013-08-21 01:51

unfortunately, I did not notice my mac was upgraded to 10.7.4.
it's fine for my machine
~>as -v
Apple Inc version cctools-806~3, GNU assembler version 1.38
(0010216)
tgazagna (reporter)
2013-08-21 09:41

I still get the issue with beta1:

A lot of "warning: ignoring directive for now .cfi_endproc"
and then: "../../ocamlcompopt.sh -c -w +33..39 -warn-error A -g -nolabels unix.ml" which hungs for ever.

Same config as first reported:
OSX 10.6.8
$ as -v
Apple Inc version cctools-800~26, GNU assembler version 1.38
(0010218)
doligez (administrator)
2013-08-21 20:14

On my 10.6.8 machine, I have XCode 3.2.6 (the latest free version that works on 10.6),
as -v reports "Apple Inc version cctools-795~45, GNU assembler version 1.38",
OCaml's configure tells me that CFI is not available, and of course everything compiles without problem.

The latest non-free version of XCode available for 10.6 is XCode 4.2. Is that what you have?
(0010219)
tgazagna (reporter)
2013-08-21 20:36
edited on: 2013-08-21 20:37

I have indeed a more recent version of XCode:

$ /Developer/usr/bin/xcodebuild -version
Xcode 4.0.2
Build version 4A2002a

I'll try to upgrade/downgrade to see it this has any impact.

(0010220)
tgazagna (reporter)
2013-08-21 20:45

Actually Xcode 4.2 seems to not be available anywhere so I can't test it.
(0010221)
doligez (administrator)
2013-08-21 21:26

XCode 4.2 is here: https://developer.apple.com/downloads/index.action# [^]
Check only "Developer Tools" on the left and type "snow" in the search box at the top left.
You need a (paying) developer account to get this version, that's what I meant by "non-free", but 4.0.2 is available under the same terms, so you probably do have an account.
(0010222)
doligez (administrator)
2013-08-21 21:31

I installed 4.0.2 and reproduced your problem: configure calls clang to test for .cfi support, but clang gives only a warning rather than an error, so configure continues as if .cfi was supported. I've no idea why it makes ocamlc.opt loop, but all those warnings are unhealthy anyway.

clang supports the -Werror option, but unfortunately it ignores it, so we can't use it in configure.

Possible solutions:
1. detect XCode version and disable CFI for this version.
2. grep the warning in clang's output.

Both solutions are ugly and I'm now downloading XCode 4.2. Hopefully it will fix the problem, and I will close this PR as "won't fix" unless you object strongly.
(0010225)
doligez (administrator)
2013-08-22 10:11

With XCode 4.2 it works (with CFI).
(0010234)
tgazagna (reporter)
2013-08-23 10:38

I managed to update to 4.2 and I confirm that it works. Thanks for looking at it! I'm fine with the "won't fix" / -no-cfi workaround.
(0010236)
doligez (administrator)
2013-08-23 14:33

FTR:

XCode 4.2: works with CFI
XCode 4.1: I couldn't install this version of XCode
XCode 4.0.2: fails
XCode 4.0.1: fails
XCode 3.2.6: works without CFI

I added a configure option (-no-cfi) and a mention in the INSTALL file. (branch 4.01, rev 14033).

- Issue History
Date Modified Username Field Change
2013-01-29 11:20 tgazagna New Issue
2013-02-26 11:46 doligez Note Added: 0008928
2013-02-26 13:57 tgazagna Note Added: 0008930
2013-06-19 20:38 doligez Note Added: 0009576
2013-06-19 20:38 doligez Status new => acknowledged
2013-06-19 20:38 doligez Target Version => 4.01.0+dev
2013-08-19 16:03 doligez Priority normal => high
2013-08-20 17:47 hongboz Note Added: 0010212
2013-08-21 01:51 hongboz Note Added: 0010215
2013-08-21 09:41 tgazagna Note Added: 0010216
2013-08-21 20:09 doligez Product Version => 4.01.0+dev
2013-08-21 20:14 doligez Note Added: 0010218
2013-08-21 20:14 doligez Assigned To => doligez
2013-08-21 20:14 doligez Status acknowledged => feedback
2013-08-21 20:36 tgazagna Note Added: 0010219
2013-08-21 20:36 tgazagna Status feedback => assigned
2013-08-21 20:37 tgazagna Note Edited: 0010219 View Revisions
2013-08-21 20:45 tgazagna Note Added: 0010220
2013-08-21 21:26 doligez Note Added: 0010221
2013-08-21 21:31 doligez Note Added: 0010222
2013-08-22 10:11 doligez Note Added: 0010225
2013-08-23 10:38 tgazagna Note Added: 0010234
2013-08-23 14:33 doligez Note Added: 0010236
2013-08-23 14:33 doligez Status assigned => resolved
2013-08-23 14:33 doligez Resolution open => won't fix
2013-08-23 14:33 doligez Fixed in Version => 4.01.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker