summaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Collapse)AuthorAgeFilesLines
...
* | Better representation of variance in the Parsetree.Alain Frisch2013-04-021-2/+6
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13474 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Attributes on expresions (etc) are now stored in the expression record, to ↵Alain Frisch2013-03-081-0/+1
|/ | | | | | facilitate pattern matching on structured fragments of AST while ignoring attributes. Introducing a new Ast_helper module to help creating AST fragments. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tabify.Pierre Weis2013-02-121-20/+20
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Move ast_mapper to parsing/, make it part of compiler-libs, and add an ↵Alain Frisch2013-01-161-1/+2
| | | | | | interface. Plus minor code cleanup. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13249 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5712: (6) document OCAMLRUNPARAM flag RDamien Doligez2013-01-031-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13199 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Entry point for ocamlbuild noboot version.Wojciech Meyer2013-01-011-1/+5
| | | | | | | | | | 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
* #5741: link pprintast into the compiler (unused for now, but it is available ↵Alain Frisch2012-10-171-1/+2
| | | | | | in compiler-libs). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13024 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5278: update Makefile message to mention "make world.opt"Damien Doligez2012-09-171-2/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ocamlbuild-mixed-boot is not phonyJacques Garrigue2012-09-131-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12926 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* call ocamltoolsopt earlierJacques Garrigue2012-08-231-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12874 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Remove -g for ocamlopt in MakefileFabrice Le Fessant2012-07-301-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12794 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Remove dependency from typing/envaux.ml to bytecomp/instruct.mlFabrice Le Fessant2012-07-301-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12793 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez2012-07-261-2/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Install topdirs.cmi in stdlib (problem reported on the mailing list - unable ↵Wojciech Meyer2012-07-191-0/+1
| | | | | | to use install_printer) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12748 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix problem of size of bin-annot filesFabrice Le Fessant2012-07-121-2/+3
| | | | | | | | | | | | - 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
* PR#5218: use $(MAKE) instead of "make" in MakefilesDamien Doligez2012-07-101-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge with branch bin-annotFabrice Le Fessant2012-05-301-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Enabled 'unused rec flag' warning.Alain Frisch2012-05-291-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Enable and fix more warnings.Alain Frisch2012-05-291-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Compile with warning 33, and remove unused opens.Alain Frisch2012-05-291-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Makefile: typo in installoptopt entryXavier Leroy2012-05-211-1/+1
| | | | | | | 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
* Install compiler internals (as libraries + compiled interfaces + start modules)Xavier Leroy2012-05-171-65/+96
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12469 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Reverting commits 12385 and 12370, while waiting for a decision to be taken ↵Fabrice Le Fessant2012-04-221-21/+10
| | | | | | to install compiler files for 4.0 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add hooks in AsmgenFabrice Le Fessant2012-04-181-10/+21
| | | | | | | | | | | | 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
* merge version 3.12 from 3.12.1 to r12205Damien Doligez2012-03-081-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5487: addition of CFI directives and a few filename/linenumber info to ↵Xavier Leroy2012-02-211-1/+2
| | | | | | generated amd64 and i386 assembly files. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR5477: (continued) fix Tcl/Tk configuration to use $x11_link instead of ↵Damien Doligez2012-02-101-0/+5
| | | | | | $x11_libs git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12148 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix configure on MacOSX/64-bit; add an option to configure or build without ↵Damien Doligez2012-01-231-4/+7
| | | | | | camlp4 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12073 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Unused_var has been removed.Alain Frisch2012-01-181-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12051 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* #5478: makes it possible to specify a custom 'ar' command.Alain Frisch2012-01-161-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12027 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* The "DBM" library (interface with Unix DBM key-value stores) is noXavier Leroy2011-12-171-1/+1
| | | | | | | | 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
* Module Lnenum has vanished!Pierre Weis2011-10-281-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge branches/located_errorsJacques Garrigue2011-10-211-0/+1
|\ | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11228 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Keep location on type declarations.Alain Frisch2010-05-211-0/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/located_errors@10454 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | PR#5238, PR#5277: Sys_error when getting error locationDamien Doligez2011-08-041-11/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | merge branches/gadtsJacques Garrigue2011-07-291-5/+5
|\ \ | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | allow variance in GADTsJacques Garrigue2010-11-081-1/+1
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | merged with trunk. specifically, merged with implicit unpack patchJacques Le Normand2010-10-251-6/+7
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10742 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | removed Type_variant, fixed bug in GADT exhaustive checkJacques Le Normand2010-10-211-2/+2
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | merge branches/implicit-unpack + update camlp4Jacques Garrigue2010-10-211-6/+7
|/ / | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | merge changes from branching of 3.12 to release/3.12.0Damien Doligez2010-08-021-0/+4
|/ | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix Windows MSVC build + ignoresDamien Doligez2010-05-191-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5033: tools/objinfo made more general.Xavier Leroy2010-05-191-2/+2
| | | | | | | | | | 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
* unified command-line argumentsDamien Doligez2010-04-131-2/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* removed "make clean" in testDamien Doligez2010-04-071-3/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10247 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* clean up spaces and tabsDamien Doligez2010-01-221-48/+48
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes from release/3.11.1 to release/3.11.2Damien Doligez2010-01-201-4/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Using -strict-sequence to compile the compiler.Pierre Weis2009-12-091-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9467 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status