Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
8,760 Commits
2 Branches
0 Tags
189 MiB
Commit Graph

325 Commits (180aabbc6be79fe9e35d320271a3bf36bceb7402)

Author SHA1 Message Date
Pierre Weis a81a5b038c Labtk now supports 8.6. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2013-02-27 19:31:47 +00:00
Benedikt Meurer dd65af958b Use clang as assembler on Mac OS X if available. 
Mac OS X ships with a really old version of as, which does not support
the CFI directives. LLVM itself provides an assembler that is certainly
way more up to date, but currently there's no dedicated frontend, so we
simply use clang in this case.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2013-01-13 14:22:14 +00:00
Benedikt Meurer dc0776f551 #5798: Apply patch to add VFPv2 and ARMv6 hard-float support (Jeffrey Scofield, Anil Madhavapeddy). 
[PATCH] Detect and support armv6/VFPE2, which is sufficient to get
ocamlopt working on the Raspberry Pi hardfloat Debian variant

Original patch: Jeffrey Scofield via http://psellos.com/pub/ocamlxarm/ocaml4-vfpv2.diff
Fixes from: Anil Madhavapeddy <anil@recoil.org>



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-10-24 06:20:45 +00:00
Damien Doligez def31744f9 remove all $Id keywords 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-10-15 17:50:56 +00:00
Damien Doligez 0c3a7de507 merge changes from 4.00 branching to 4.00.0 (part 1) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-07-26 19:21:54 +00:00
Damien Doligez 6973c3b9da PR#5255: natdynlink detection on powerpc, hurd, sparc 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12647 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-06-26 16:01:05 +00:00
Damien Doligez 9cd6b389a3 better formatting of message 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12632 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-06-21 16:22:16 +00:00
Xavier Leroy 28c206ad37 PR#5643: issues with .cfi and .loc directives generated by ocamlopt -g 
(Picking commit 12610 from version/4.00)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-06-17 08:17:43 +00:00
Xavier Leroy 72ae789dc6 PR#5543: in Bigarray.map_file, try to avoid using lseek() when growing file 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-04-04 12:12:02 +00:00
Damien Doligez 7c8fcb37f7 PR#5552 unrecognized gcc option "-no-cpp-precomp" 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-03-27 14:32:28 +00:00
Alain Frisch 46a196c01d Use flexdll's -stack option, also for Cygwin. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12264 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-03-23 15:22:13 +00:00
Damien Doligez 6c24f4f90b merge version 3.12 from 3.12.1 to r12205 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-03-08 19:52:03 +00:00
Xavier Leroy 2eecf2d4c0 PR#5487: addition of CFI directives and a few filename/linenumber info to generated amd64 and i386 assembly files. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-02-21 17:41:02 +00:00
Xavier Leroy 5ad47ce4e6 Backtrack previous changes for PowerPC/Linux, which turns out to lack what we need for turning stack overflows into exceptions 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-02-17 10:43:50 +00:00
Xavier Leroy 339bcbb2c6 PR#5064, PR#5485: try to ensure that 4K words of stack are available 
before calling into C functions, raising a Stack_overflow exception
otherwise.  This reduces (but does not eliminate) the risk of
segmentation faults due to stack overflow in C code.
Implemented for i386, amd64 and power, under Linux and MacOSX.
Plus: remove some more stuff related to obsoleted platforms (IA64, SunOS 4).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12159 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-02-17 10:12:09 +00:00
Damien Doligez d7cbf2a01a PR5477: (continued) fix Tcl/Tk configuration to use $x11_link instead of $x11_libs 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12148 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-02-10 15:29:36 +00:00
Damien Doligez b392c77aa6 PR#5385: add a warning when MACOSX_DEPLOYMENT_TARGET is set 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12143 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-02-09 18:41:53 +00:00
Damien Doligez e61911c5c9 PR#4278: configure without graph; fix problem when X11 not found 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12132 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-02-07 12:43:34 +00:00
Benedikt Meurer 05627e0de4 Merge the new ARM backend into trunk (PR#5433). 
Initial merge of the new ARM backend (commit ec5b444c7f) from my development
repository at https://github.com/bmeurer/ocaml-arm/tree/ec5b444c7f .

Compared to the old ARM backend, this one does the following:
- Support for both software and hardware floating-point (VFPv3).
- Properly supports interworking with Thumb/Thumb-2 code for both OCaml and C
  code.
- Supports dynamic linking and large memory models (PR#5049).
- Optional support for position-independent code via a command line option
  -fPIC. This is disabled by default and not required for natdynlink.
- Can emit both ARM and Thumb-2 code, with avg. code size savings of 28% for
  Thumb-2 (quite close the optimal 30% advertised by ARM Ltd.).
- Supports both AAPCS (armel) as well as extended VFP calling conventions
  (armhf).
- Supports several special ARM instructions to reduce code size and latency.
- Uses standard ARM EABI runtime functions instead of relying on GCC internals.
- Supports exception backtraces.
- Supports profiling using gprof.



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-02-04 10:15:24 +00:00
Damien Doligez fd944666c2 PR#5477 use pkg-config to configure graphics on linux 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-02-01 21:30:35 +00:00
Damien Doligez 1f493d056e PR#1496: allow configuring LIBDIR, BINDIR, and MANDIR relative to $(PREFIX) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12080 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-01-26 13:02:51 +00:00
Damien Doligez 38b827b7e4 fix configure on MacOSX after upgrade of config.sub and config.guess 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12074 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-01-23 15:44:01 +00:00
Damien Doligez e8e3d14e01 fix configure on MacOSX/64-bit; add an option to configure or build without camlp4 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12073 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-01-23 15:18:22 +00:00
Alain Frisch bfb35c4fce #5478: makes it possible to specify a custom 'ar' command. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12027 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-01-16 09:05:37 +00:00
Damien Doligez 0c7984afc6 PR#5453: configure doesn't find X11 under Ubuntu/MultiarchSpec 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-12-29 20:42:11 +00:00
Jonathan Protzenko 253e88bc67 Fix #5393: make sure -R is only passed to the linker with a BSD that has a BSD userland 
Patch by: Stéphane Glondu <stephane@glondu.net>

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11925 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-12-21 15:56:10 +00:00
Damien Doligez a85549ccf6 cygwin is changing from Windows-based to X-based tcl/tk 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11921 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-12-21 15:30:54 +00:00
Xavier Leroy 366da2c721 Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS, 
part 2: configure.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11883 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-12-17 11:21:24 +00:00
Xavier Leroy 9178181eae The "DBM" library (interface with Unix DBM key-value stores) is no 
longer part of this distribution.  It now lives its own life at
https://forge.ocamlcore.org/projects/camldbm/.  Bye bye, DBM.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11881 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-12-17 10:45:23 +00:00
Damien Doligez 9058296d2f configure correctly under Mac OS 10.7 Lion (darwin11) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-08-04 14:31:34 +00:00
Damien Doligez 3b507dd1aa renaming of Objective Caml to OCaml and cleanup of copyright headers 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-07-27 14:17:02 +00:00
Damien Doligez c91db736b1 merge changes from 3.12.0 to 3.12.1 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-07-20 09:17:07 +00:00
Xavier Leroy 174ff0b018 PR#3806, 4752, 5246: added "hypot" and "copysign" to Pervasives. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-06-04 08:55:55 +00:00
Damien Doligez 31b0292413 renaming "Objective Caml" to "OCaml" (first pass) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11015 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-04-26 12:16:50 +00:00
Pierre Weis 63ff703dbf Should choose recent versions of Tk/Tcl first. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10984 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-03-17 22:37:46 +00:00
Pierre Weis 0ab3788be5 Merging with 3.12 version 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10983 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-03-17 22:34:52 +00:00
Damien Doligez a53ce2df70 add option -runtime-variant 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-03-17 16:18:05 +00:00
Damien Doligez 575555eecd merge changes from branching of 3.12 to release/3.12.0 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-08-02 14:37:22 +00:00
Mark Shinwell 7c11c2acf9 add -liberty to LIBBFD_LINK 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-07-13 09:22:44 +00:00
Xavier Leroy d8d8390f05 More prudent detection of natdynlink on MacOS 10.4 and 10.5 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-06-02 08:58:42 +00:00
Xavier Leroy 1ad3294362 natdynlink supported on Intel / MacOS 10.4 and 10.5 platforms 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-06-02 08:56:11 +00:00
Alain Frisch d7b5f7e6cb Update list of architectures where natdynlink is supposed to work. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10479 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-05-31 10:09:32 +00:00
Alain Frisch 2084d92c93 Natdynlink is supposed to work for host=i[3456]86-*-darwin10. in 64-bit. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10473 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-05-28 11:40:00 +00:00
Alain Frisch 9c07d1022f Typo in last commit. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-05-25 11:12:48 +00:00
Alain Frisch e03c2f78ca Typo in last commit. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10463 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-05-25 11:12:37 +00:00
Alain Frisch 3e12ede6e7 More explicit list of hosts where natdynlink is enabled. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-05-25 11:10:59 +00:00
Alain Frisch 47dbbc7d7f Decide at config time if natdynlink is supported or not, but always compile/install dynlink.cmxa to simplify 3rd party packages. A runtime exception signals an unsupported natdynlink. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10461 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-05-25 10:00:39 +00:00
Xavier Leroy 2adec7d747 PR#5033: tools/objinfo made more general. 
tools/dumpapprox removed, now subsumed by tools/objinfo.
Introduced asmcomp/cmx_format.mli and used consistently in asmcomp,
  tools/objinfo, and otherlibs/dynlink
Note: ocamlbuild -based build procedure not updated yet.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-05-19 11:29:38 +00:00
Damien Doligez f93ec9a9cd disable shared libraries on 32-bit 10.6 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-04-30 14:18:45 +00:00
Xavier Leroy 2f65c774e3 PR#4984: SPARC-specific code in BNG causes problems, so turn it off 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10267 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-04-18 08:44:53 +00:00