summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
fedora_17Link dllthreads.so with -lpthread so that pthread_atfork is included statically.Richard W.M. Jones22 months
masterAdd support for ppc64le.Michel Normand6 days
 
 
AgeCommit messageAuthorFilesLines
6 daysAdd support for ppc64le.HEADmasterMichel Normand12-1/+1609
6 daysarg: Allow flags such as --flag=arg as well as --flag arg.Richard W.M. Jones2-7/+24
6 daysarg: Add no_arg and get_arg helper functions.Richard W.M. Jones1-21/+26
6 daysarm64: Align code and data to 8 bytes.Richard W.M. Jones1-1/+2
2014-04-01Updated with latest versions from FSF.Xavier Leroy2-130/+183
2014-04-01Port to the ARM 64-bits (AArch64) architecture (experimental). Merge of branc...Xavier Leroy18-6/+2057
2013-09-14yacc: Use mkstemp instead of mktemp.Richard W.M. Jones1-1/+1
2013-09-14Add support for ppc64.Richard W.M. Jones10-0/+2004
2013-09-13configure: Allow user defined C compiler flags.Richard W.M. Jones1-0/+4
2013-09-13Don't add rpaths to libraries.Richard W.M. Jones1-3/+0
[...]
 
Clone
ssh://git.fedorahosted.org/git/fedora-ocaml.git
https://git.fedorahosted.org/git/fedora-ocaml.git