summaryrefslogtreecommitdiff
path: root/tools
Commit message (Collapse)AuthorAgeFilesLines
* Sync with trunk.Alain Frisch2014-09-0410-17/+55
|\ | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15190 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * merge changes of version/4.02 from r15121 to r15155Damien Doligez2014-08-292-0/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ↵Damien Doligez2014-08-227-17/+47
| | | | | | | | | | | | 15121) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * new -opaque flag: ocamlopt creates .cmx without cross-module infoGabriel Scherer2014-08-181-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | (Patch by Pierre Chambart and Gabriel Scherer) (Ack'ed by Damien Doligez) This enables a form of incremental compilation for ocamlopt: if A depends on B, and B is compiled with `ocamlopt -opaque`, then minor implementation changes in B that do not affect the module interface will not require recompilation of A. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15105 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * tools/objinfo: workaround change in binutils' <bfd.h>Gabriel Scherer2014-08-151-0/+5
| | | | | | | | | | | | (Report and fix by Christopher Zimmerman) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15089 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Sync with trunk. Rebinding of inlined extension constructors with free ↵Alain Frisch2014-08-0719-162/+470
|\ \ | |/ | | | | | | | | variables is not yet supported. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Cherry-pick 15062,15063,15064 from 4.02 (#6497).Alain Frisch2014-08-073-5/+7
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * PR#6142: add cmt file support to ocamlobjinfoDamien Doligez2014-07-241-3/+29
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15028 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * allow long lines up to 132 chars in ocamldocDamien Doligez2014-07-211-4/+15
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * PR#6406: Expose OCaml version in C headersDamien Doligez2014-07-211-5/+15
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15017 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * still debugging the ci-build script (take 3)Damien Doligez2014-06-051-7/+10
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14962 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * still debugging the ci-build scriptDamien Doligez2014-06-051-2/+7
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14961 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * debugging the ci-build scriptDamien Doligez2014-06-051-5/+5
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14960 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * ci-build: go to the right directory before parsing command-line optionsDamien Doligez2014-06-021-15/+20
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14945 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * tools/ci-build: add possibility of changing directory on unix-like architecturesDamien Doligez2014-06-021-3/+5
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14940 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * add option -patch1 to ci-build scriptDamien Doligez2014-06-021-0/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14939 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * ci-build: fix wrong variable nameDamien Doligez2014-05-121-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14851 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * ci-build: do not change directory for Unix slavesDamien Doligez2014-05-121-2/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14803 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * add missing instructions to ci-build for msvcDamien Doligez2014-05-121-2/+12
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14802 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * update distclean targetDamien Doligez2014-05-121-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14801 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * fix missing archsDamien Doligez2014-05-121-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14798 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * add universal CI build scriptDamien Doligez2014-05-121-0/+132
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14796 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Enable warning 27 in tools/ and fix occurrences. It's good to mark in ↵Alain Frisch2014-05-1211-31/+30
| | | | | | | | | | | | depend and untypeast parts which are explicitly ignored. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14794 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * commit o_and_opens.diffJacques Garrigue2014-05-112-0/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14787 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * re-commit Leo's weak-dependencies pull requestJacques Garrigue2014-05-072-5/+19
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14755 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Remove FIRST_UNIMPLEMENTED_OP from interp.cFabrice Le Fessant2014-05-051-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14748 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * #6318: Extend match...with with exception cases. (Patch by Jeremy Yallop, ↵Alain Frisch2014-05-054-5/+19
| | | | | | | | | | | | backend part by A. Frisch). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14743 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * #6387: also allow attributes on methods in object types (< m [@foo] : int; ..>).Alain Frisch2014-05-053-3/+4
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14741 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * change -trans-mod to -no-alias-deps, and update messageJacques Garrigue2014-05-052-2/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-044-56/+114
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Add support for floating attributes in class structures and class ↵Alain Frisch2014-05-044-1/+7
| | | | | | | | | | | | signatures. (Patch by Leo White.) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14736 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * revert commit 14719Jacques Garrigue2014-05-022-19/+5
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14723 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * weak dependencies with -trans-mod (github/ocamllabs/weak-depends ↵Mark Shinwell2014-05-012-5/+19
| | | | | | | | | | | | 45e980a,21856a7,merge) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14719 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * #6387: allow attributes on variants in polymorphic variant types.Alain Frisch2014-04-303-4/+4
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14712 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * merge branch "safe-string"Damien Doligez2014-04-299-31/+34
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * New back-end optimization pass: common subexpression elimination (CSE).Xavier Leroy2014-04-261-0/+1
| | | | | | | | | | | | | | | | | | | | (Reuses results of previous computations instead of recomputing them.) (Cherry-picked from branch backend-optim.) Tested on amd64/linux and i386/linux. Other back-ends compile (after assorted updates) but are untested. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14688 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * - Constant ropagation for float and int32/int64/nativeint arithmetic.Xavier Leroy2014-04-251-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | Constant propagation for floats can be turned off with option -no-float-const-prop, for codes that change FP rounding modes at run-time. - Clambda / C-- / Mach: represent float constants as FP numbers of type float rather than literals of type string. - Tested for AMD64; other archs need testing. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14673 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Sync with trunk.Alain Frisch2014-04-221-5/+15
|\ \ | |/ | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14661 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Make Parsetree more uniform by keeping locations in all records which have ↵Alain Frisch2014-04-221-5/+15
| | | | | | | | | | | | attributes. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14659 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Synchronize with trunk.Alain Frisch2014-04-223-21/+35
|\ \ | |/ | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14657 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Turn more sig/str items into records. Patch from Leo White.Alain Frisch2014-04-153-21/+35
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14597 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Synchronize with trunk.Alain Frisch2014-04-1410-49/+63
|\ \ | |/ | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14587 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * fix some of the whitespace problems in the sourceDamien Doligez2014-04-124-23/+36
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14582 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * test reference files are now exempt from all rulesDamien Doligez2014-04-121-9/+5
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14580 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * [minor] make tools/Makefile.shared msvc-friendlyGabriel Scherer2014-04-071-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * PR#6358: obey DESTDIR in install targetsGabriel Scherer2014-04-073-15/+19
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * PR#6270: remove need for -I directives to ocamldebug in common caseGabriel Scherer2014-04-061-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (patch by Josh Watzman) Add absolute directory names to bytecode format for ocamldebug to use The need for a long list of -I directives makes interactively using ocamldebug a pain in the butt. Many folks have solved this with various `find` invocations or even Python wrappers, but those lead to other problems when it might include files you weren't expecting (or miss things you were). But all of this is really annoying since the tooling should be able to figure out itself, even heuristically, where your source files are -- gdb gets this right, why can't we? This patch implements one of the more important heuristics from gdb: you typically debug on the same machine you built on, so looking for the source files and built artifacts in the absolute paths where they were during compilation is a good first try. We write out absolute paths into a new structure at the beginning of the debug section and then automatically append those directories into the load path. This means mean that if you happen to be debugging on a machine where the original source and build artifacts are *not* available in their original absolute locations, things will work as before, using the standard load path mechanism. You can also explicitly use -I to prepend directories to the load path and override the defaults located by this new mechanism. I personally find this makes using ocamldebug much more pleasant :) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14533 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * ignore generated file ocamlmklibconfig.mlDamien Doligez2014-04-031-0/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14526 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * stop ignoring ocamlmklib.ml, it is not a generated file any moreDamien Doligez2014-03-311-2/+0
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Keep inlined records in Typedtree and Types. Synthesize record types when ↵Alain Frisch2014-04-072-9/+18
| | | | | | | | | | | | inserting in the environment and module components, as for labels and constructors. Following features are not supported: inline record for exceptions, GADTs, polymorphic fields. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status