summaryrefslogtreecommitdiffstats
path: root/utils
AgeCommit message (Collapse)Author
2015-01-24PR#6720: propagate -g to the C compilerGabriel Scherer
(Peter Zotov) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15795 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-01-24PR#6167: OCAMLPARAM support for disabling PIC generation ('pic=0')Gabriel Scherer
(Gabor Pali) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15793 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-21minor: cut too-long linesGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15735 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-21PR#6475: accept -o in ocamlc when compiling C filesGabriel Scherer
(Vincent Laporte, Peter Zotov) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-21PR6695: Make sure the compiler only uses ASCII string functions.Gabriel Scherer
This should cover all places involving filenames in the compiler. There are a few more paths still using Latin-1 in other ways, e.g. in ocamldoc. From: Peter Zotov <whitequark@whitequark.org> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15727 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-13simplify the spellcheck functionsGabriel Scherer
- expose the core spellchecking functionality in Misc rather than Typetexp - remove the too high-order (yet insufficiently parametric) Typetexp.spellcheck from the public interface - rewrite the spellchecking functions for variants and fields in Typecore from the Misc functions rather than reusing Typetexp.spellcheck git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15650 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-09fix typo in help textDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15644 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-11-27Sync with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15610 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-11-17update magic numbersGabriel Scherer
Numbers and .mlbuild and .mlp were not always synchronized; I only changed the typedtree-related numbers, but used the max of both +1 on both sides -- the .cm{o,a,x}... numbers are still non-synchronized. From: Gabriel Scherer <gabriel.scherer@gmail.com> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15586 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-15merge branch 4.02 from release 4.02.0 to release 4.02.1Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-14Reintegrate-merge constructors_with_record5 branch.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-01Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15173 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-31Reflecting commit 15169 on version/4.02:Xavier Leroy
PR#6529: fix quadratic-time algorithm in Consistbl.extract. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15170 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29merge changes of version/4.02 from r15121 to r15155Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-29Add intel_proc.mli, get rid of arch64 bool ref, move StringSet/StringMap to ↵Alain Frisch
misc. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15159 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ↵Damien Doligez
15121) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-18new -opaque flag: ocamlopt creates .cmx without cross-module infoGabriel Scherer
(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
2014-08-07Cherry-pick 15062,15063,15064 from 4.02 (#6497).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-11commit o_and_opens.diffJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14787 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-07Protocol to allow ppx processors to report warnings to the compiler ↵Alain Frisch
(reported as warning 22). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14762 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-07re-commit Leo's weak-dependencies pull requestJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14755 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-02* Do not require cmi file to be present if module alias is not accessedJacques Garrigue
(using -trans-mod) * Add warning 49 for that case; use same warning in place of deprecated for Env.scrape_alias git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14724 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-02revert commit 14719Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14723 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-01weak dependencies with -trans-mod (github/ocamllabs/weak-depends ↵Mark Shinwell
45e980a,21856a7,merge) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14719 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-29merge branch "safe-string"Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-26New back-end optimization pass: common subexpression elimination (CSE).Xavier Leroy
(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
2014-04-25- Constant ropagation for float and int32/int64/nativeint arithmetic.Xavier Leroy
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
2014-04-06PR#6270: remove need for -I directives to ocamldebug in common caseGabriel Scherer
(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
2014-03-31Revert "PR#6270: remove need for -I directives to ocamldebug in common case ↵Gabriel Scherer
(patch by Josh Watzman)" There seems to be a problematic interaction with backtrace collection. To test this, make world.opt cd testsuite make one DIR=tests/backtrace/ This needs to be sorted out before the patch can go in again. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-31Encode record arguments into extra record declarations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-31PR#6270: remove need for -I directives to ocamldebug in common case (patch ↵Xavier Clerc
by Josh Watzman) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-26#6352: add a warning on implicit removal of optional arguments.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-06#5779: improve support for structured constants (better propagation, ↵Alain Frisch
sharing, cleaner representation). Also fix #6337 (constants emitted several times). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-01-28Record inclusion checks between value_descriptions in .cmt files. This ↵Alain Frisch
makes it easy in particular to track in external tools value declarations between implementations and interfaces. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-01-10Merge module-alias branch (cf. PR#6063)Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-12-20Add -trans-mod option for transparent module dependencies.Jacques Garrigue
Without that option, dependencies are strict, both for typing and linking. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-10-18#6203: change representation of exception values created with a constant ↵Alain Frisch
constructor: the value is now equal to the exception slot. This avoids some allocation when the constructor is called and an extra indirection on matching against the constructor. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-10-14#6203, #5935: variants of raise. 'reraise' is currently only inserted by the ↵Alain Frisch
compiler when an handler does not catch the exception. The default 'raise' always start with a fresh backtrace. There is also 'raise_nostack' which does not trigger the stack trace recording. Bytecode only for now. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14223 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-10-04#5445: interpret warning attribute on expressions, and as floating ↵Alain Frisch
signature/structure items. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-17#5817: new compiler flag (-keep-locs) to keep location in cmi files.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14157 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-04Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez
Command line used: svn merge --accept postpone -r 13776:14055 $REPO/version/4.01 . git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-04PR#6071: Add a -noinit option to the toplevel [patch by David Sheets]Gabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13972 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-17Fix OCAMLPARAM problemsFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-01configure: store $target and $host in the build configuration (fix-pt2). ↵Wojciech Meyer
(Patch by Adrien Nader!) Fixing builds continued. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13866 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-30Revert "configure: store $target and $host in the build configuration." as ↵Wojciech Meyer
it breaks several builds. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13858 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-30configure: store $target and $host in the build configuration.Wojciech Meyer
(Patch by Adrien Nader!) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13857 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-18Update magic numbers and bootstrap. (Cherry-picked from c13780 on 4.01.)Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13798 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-18#5980: a different warning for shadowing labels/constructors and for other ↵Alain Frisch
kinds of identifiers. (Cherry-picked from commit 13796 on 4.01.) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13797 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-05Revert r13746 (demanded by Xavier)Fabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13748 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02