You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 7104 Reporter:@gasche Assigned to:@damiendoligez Status: resolved (set by @xavierleroy on 2017-02-17T15:38:09Z) Resolution: not a bug Priority: normal Severity: minor Version: 4.02.3 Target version: 4.05.0 +dev/beta1/beta2/beta3/rc1 Fixed in version: 4.05.0 +dev/beta1/beta2/beta3/rc1 Category: configure and build/install
Our Continuous Integration (CI) machines work fine under Cygwin, so this might still be a misconfiguration on Sébastien's part. He is using a more recent Cygwin version than the CI machines, though, his version is:
$ uname.exe -a
CYGWIN_NT-6.1 dailly-PC 2.3.1(0.291/5/3) 2015-11-14 12:42 i686 Cygwin
The text was updated successfully, but these errors were encountered:
As of today on my Cygwin 32 and 64 installations, there is a /usr/lib/libpthread.a and it is far from empty. OCaml's configure seems to be doing the right things. Closing this PR.
Original bug ID: 7104
Reporter: @gasche
Assigned to: @damiendoligez
Status: resolved (set by @xavierleroy on 2017-02-17T15:38:09Z)
Resolution: not a bug
Priority: normal
Severity: minor
Version: 4.02.3
Target version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Fixed in version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Category: configure and build/install
Bug description
Sébastien Dailly on the ocaml-beginners mailing-list reports that his Cygwin setup does not support the -lpthread option (but supports the pthread library):
https://groups.yahoo.com/neo/groups/ocaml_beginners/conversations/messages/14494
This means that the configure should probably be changed to not test -pthread at configuration time.
According to Cygwin experts
https://cygwin.com/ml/cygwin/2006-07/msg00226.html
pthread is not required on Cygwin systems, and can be replaced with -lcygwin.
Additional information
Our Continuous Integration (CI) machines work fine under Cygwin, so this might still be a misconfiguration on Sébastien's part. He is using a more recent Cygwin version than the CI machines, though, his version is:
$ uname.exe -a
CYGWIN_NT-6.1 dailly-PC 2.3.1(0.291/5/3) 2015-11-14 12:42 i686 Cygwin
The text was updated successfully, but these errors were encountered: