9b53f8b10d
Re-add configure option -with-frame-pointers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03 18:03:59 +00:00
97bc1fa9e2
Reverting -with-frame-pointers
...
Fails to compile alt-ergo without frame-pointers. No time to debug
before tonight, so I revert and will merge again after fixing the
problem.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13732 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03 06:29:33 +00:00
1b2667b9f2
Add -with-frame-pointers to ./configure
...
This option can be used to tell the native compiler that it should
update frame pointers, so that debuggers and profiling tools
(especially Linux perf) can use them. For now, it is only supported
by the Unix/amd64 port.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13730 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03 04:42:42 +00:00
e29c9d2956
PR#5986: added flag Marshal.Compat_32 and ocamlc option -compat-32.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18 11:58:59 +00:00
3a8ba3567a
fix whitespace and over-long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13431 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:20:45 +00:00
72cf9f780e
Tabify.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-12 08:14:24 +00:00
779580674f
Move ast_mapper to parsing/, make it part of compiler-libs, and add an interface. Plus minor code cleanup.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13249 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-16 16:10:29 +00:00
011b61118d
PR#5712: (6) document OCAMLRUNPARAM flag R
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13199 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-03 15:23:40 +00:00
a6774cae34
Entry point for ocamlbuild noboot version.
...
Is enabled by saying:
# make OCAMLBUILD_NOBOOT=yes world.opt
currently just works for bytecode only.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13189 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-01 00:33:28 +00:00
3ffcd66100
#5741 : link pprintast into the compiler (unused for now, but it is available in compiler-libs).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13024 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 15:50:07 +00:00
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
a39a38f94b
PR#5278: update Makefile message to mention "make world.opt"
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-17 16:25:03 +00:00
7935673bca
ocamlbuild-mixed-boot is not phony
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12926 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-13 13:51:41 +00:00
308c941a19
call ocamltoolsopt earlier
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12874 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-23 06:50:40 +00:00
1641d2d16e
Remove -g for ocamlopt in Makefile
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12794 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-30 10:00:51 +00:00
5ae3458a4d
Remove dependency from typing/envaux.ml to bytecomp/instruct.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12793 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-30 10:00:10 +00:00
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
f786ea843d
Install topdirs.cmi in stdlib (problem reported on the mailing list - unable to use install_printer)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12748 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-19 22:45:45 +00:00
776c46fce8
Fix problem of size of bin-annot files
...
- Reset most of the fields of Env.t when saving bin-annot files
- Move debugger/envaux.ml to typing/, and add a function to
recover environements from bin-annot files.
- Move tools/typedtreeIter.ml to typing/
- Move the code of typing/typedtreeMap.ml from cmt_format.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12702 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-12 11:02:18 +00:00
9d10503a1d
PR#5218: use $(MAKE) instead of "make" in Makefiles
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-10 15:29:19 +00:00
d39d43e55f
merge with branch bin-annot
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-30 14:52:37 +00:00
dd6d8257c0
Enabled 'unused rec flag' warning.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 12:33:51 +00:00
a0a14c08fa
Enable and fix more warnings.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 11:47:28 +00:00
05c973e6ed
Compile with warning 33, and remove unused opens.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 11:10:03 +00:00
8b5b5f9df5
Makefile: typo in installoptopt entry
...
otherlibs/labltk: toplevellib.cma is no more, use the new compilerlibs/*.cma stuff instead
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-21 13:23:08 +00:00
1e3bd1c332
Install compiler internals (as libraries + compiled interfaces + start modules)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12469 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-17 16:04:13 +00:00
7b9f2a7ddf
Reverting commits 12385 and 12370, while waiting for a decision to be taken to install compiler files for 4.0
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-22 16:11:51 +00:00
905143bfa2
Add hooks in Asmgen
...
Add hooks in Asmgen to allow external developers to add
new passes on the typedtree, lambda, clambda and cmm trees.
A library 'ocamlopt.cm{a/xa}' is installed, with optmain.cm{x/o},
so that developers can create new ocamlopt executables containing
these new passes.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12370 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-18 08:50:26 +00:00
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
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
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
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
06e84a894a
Unused_var has been removed.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12051 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18 18:50:31 +00:00
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
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
4e63dbfff3
Module Lnenum has vanished!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28 21:18:03 +00:00
b1f8048f39
merge branches/located_errors
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11228 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-21 03:26:35 +00:00
d9eb848d86
PR#5238, PR#5277: Sys_error when getting error location
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-08-04 14:59:13 +00:00
9dc661c3bf
merge branches/gadts
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-29 10:32:43 +00:00
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
f368f4e0d5
allow variance in GADTs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-08 06:59:46 +00:00
c2777a43d0
merged with trunk. specifically, merged with implicit unpack patch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10742 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-25 08:19:48 +00:00
ce605c042a
merge branches/implicit-unpack + update camlp4
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21 23:59:33 +00:00
304dba8a0f
removed Type_variant, fixed bug in GADT exhaustive check
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21 04:02:02 +00:00
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
baceb82d5c
Keep location on type declarations.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/located_errors@10454 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21 15:06:01 +00:00
dc7affa4b7
fix Windows MSVC build + ignores
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 14:52:34 +00:00
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
83fb41dcf7
unified command-line arguments
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-13 10:44:25 +00:00
a034508f08
removed "make clean" in test
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10247 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-07 14:32:12 +00:00
Fabrice Le Fessant
Xavier Leroy
Damien Doligez
Pierre Weis
Alain Frisch
Wojciech Meyer
Jacques Garrigue
Jacques Le Normand