Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007104OCamlconfigure and build/installpublic2015-12-22 17:082017-02-17 16:38
Assigned Todoligez 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionno change required 
PlatformOSOS Version
Product Version4.02.3 
Target Version4.05.0 +dev/beta1/beta2/beta3/rc1Fixed in Version4.05.0 +dev/beta1/beta2/beta3/rc1 
Summary0007104: Some Cygwin version do not support -lpthread which configures OCaml without native threads
DescriptionS├ębastien Dailly on the ocaml-beginners mailing-list reports that his Cygwin setup does not support the -lpthread option (but supports the pthread library): [^]

This means that the configure should probably be changed to not test -pthread at configuration time.

According to Cygwin experts [^]
pthread is not required on Cygwin systems, and can be replaced with -lcygwin.
Additional InformationOur 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
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
doligez (administrator)
2016-04-15 15:03

I guess we should make a case in `configure` for cygwin, which does not need any argument in order to link with the posix thread library.

On the other hand, cygwin does explicitly include an empty libpthread.a to make sure that `-lpthread` works as expected.

So I don't know what happened on Sebastien's machine.
xleroy (administrator)
2017-02-17 16:38

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.

- Issue History
Date Modified Username Field Change
2015-12-22 17:08 gasche New Issue
2015-12-22 17:08 gasche Status new => assigned
2015-12-22 17:08 gasche Assigned To => doligez
2016-04-15 15:03 doligez Note Added: 0015759
2016-04-15 15:03 doligez Target Version 4.03.0+dev / +beta1 => 4.03.1+dev
2017-02-16 14:01 doligez Target Version 4.03.1+dev => undecided
2017-02-17 16:38 xleroy Note Added: 0017316
2017-02-17 16:38 xleroy Status assigned => resolved
2017-02-17 16:38 xleroy Resolution open => no change required
2017-02-17 16:38 xleroy Fixed in Version => 4.05.0 +dev/beta1/beta2/beta3/rc1
2017-02-17 16:38 xleroy Target Version undecided => 4.05.0 +dev/beta1/beta2/beta3/rc1
2017-02-23 16:38 doligez Category OCaml internal build/install (Makefiles, configure) => configure and build/install

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker