summaryrefslogtreecommitdiff
path: root/stdlib/Compflags
Commit message (Collapse)AuthorAgeFilesLines
* Atomic: clarify copyright and update documentationGuillaume Munch-Maccagnoni2022-02-211-1/+0
| | | | | | | | - Update outdated documentation. - Add copyright for Stephen's Institution as per review comment. - Remove CamlinternalAtomic. Since atomics are now primitive, declare them locally like the rest. This rids us of the wiggle dance of dependencies.
* stdlib/genlex.{ml,mli}: use attributes to turn deprecation alerts offXavier Leroy2021-07-111-2/+0
| | | | | Instead of a stdlib/Compflags rule. This ensures compatibility with the Dune build.
* Deprecate the Stream and Genlex stdlib modules (#10482)Xavier Leroy2021-07-101-0/+2
| | | | | | The core OCaml development team decided to remove the Stream and Genlex modules from the standard library, making them available in a separate library camlp-streams instead. To ease the transition, this commit adds a "deprecated" alert to the Stream and Genlex stdlib modules. Actual removal will take place one or two major releases later.
* stop using single letter in warning settingsoctachron2021-03-151-3/+3
| | | | | | - Replace -w A with -w +A in various makefiles and tests. - Replace -w a with -w -a in tests. - Replace -w Ae with -w +A -w -fragile-matching
* Use capital letters for stdlib modulesDavid Allsopp2021-01-211-6/+6
| | | | | Now use stdlib__String instead of stdlib__string. Removes a difference between the stdlib when compiled with Dune vs make.
* Merge remote-tracking branch 'upstream/trunk' into trunkJohn Whitington2020-09-111-0/+2
|\
| * Righteous ambivalence (#9767)Jacques Garrigue2020-07-291-0/+2
| | | | | | | | | | | | | | * Fix #9759: Typing without -principal is broken in 4.11 and trunk * compile stdlib in -principal mode * never modify generic part of ty_expected_explained * use generic_instance where possible * add comment for -no-principal in stdlib__oo.cmi
* | Compflags @since removal for .cmti files for odocJohn Whitington2020-08-051-0/+1
|/
* Fix dune buildGuillaume Munch-Maccagnoni2020-06-101-1/+1
| | | | | | | Introduce CamlinternalAtomic since Stdlib cannot refer to Stdlib__-prefixed modules without breaking the dune build. No change entry needed.
* Implement at_exit with AtomicsGuillaume Munch-Maccagnoni2020-05-161-1/+4
| | | | Atomic becomes a dependency of Stdlib
* Don't assume . in AWKPATHDavid Allsopp2020-03-201-1/+1
| | | | Ensure all script invocations explicitly refer to a directory.
* Revert "Get rid of the stdlib/Compflags script (#8601)"Sébastien Hinderer2019-04-111-0/+35
| | | | This reverts commit 0dec0ce9d63d5d3168dadb193200af7e91b711c1.
* Get rid of the stdlib/Compflags script (#8601)Sébastien Hinderer2019-04-101-35/+0
| | | | This script was used to provide module-specific compiler flags. Now that we use GNU make, these flags can be handled by make itslef.
* Remove gprof support (#2314)Mark Shinwell2019-03-161-7/+7
| | | | This commit removes support for gprof-based profiling (the -p option to ocamlopt). It follows a discussion on the core developers' list, which indicated that removing gprof support was a reasonable thing to do. The rationale is that there are better easy-to-use profilers out there now, such as perf for Linux and Instruments on macOS; and the gprof support has always been patchy across targets. We save a whole build of the runtime and simplify some other parts of the codebase by removing it.
* add Stdlib.Float.Array (#1936)Damien Doligez2018-12-031-0/+1
| | | | | Add Stdlib.Float.Array module with a bunch of functions for the floatarray type.
* Deprecate Pervasives (#1605)Jérémie Dimino2018-08-271-3/+0
| | | | | | | - inline Pervasives in Stdlib and re-add Pervasives as a deprecated module that aliases all elements of Stdlib except the stdlib modules. - remove special case for Stdlib.Pervasives in printtyp.ml
* Whitespace and overlong line fixes.David Allsopp2018-06-141-1/+2
|
* Ensure Lazy has stable behaviour with afl-instrument.Stephen Dolan2018-05-021-1/+2
| | | | | | When AFL instrumentation is enabled, the inlining of Lazy.force is disabled, so that the GC optimisation of removing Forward_tag blocks is no longer visible in the instrumentation output.
* PR#7725: Never compile camlinternalOO with afl instrumentationStephen Dolan2018-05-021-1/+2
|
* Use gawk on Windows in the build systemDavid Allsopp2018-02-121-1/+1
| | | | | | awk is symbolic link in Cygwin, which means it can't be used in -pp for a native Windows build. Just use gawk instead, as no other package provides the awk command on Cygwin.
* Prefix the compilation unit names of all modules in the stdlibJeremie Dimino2018-02-121-6/+10
| | | | | | | | | | | | | | | | | | Except for the Camlinternal* modules and the new Stdlib module, all modules in the stdlib now compile to Stdlib__<module>. Pervasives is renamed to Stdlib and now contains a list of aliases from the long names to the short ones, so that from inside and outside the stdlib we can refer to the standard modules as just List or Stdlib.List rather than Stdlib__list. In order to avoid printing the long names in error messages and in the toplevel, the following heuristic is added to Printtyp: given a path Foo__bar, if Foo.Bar exists and is a direct or indirect alias to Foo__bar, then prefer Foo.Bar. A bootstrap step was required to replace Pervasives by Stdlib as the module opened by default.
* Update headers for the new license.Damien Doligez2016-02-181-12/+14
| | | | Remains to be done: remove all headers in testsuite/tests.
* Fix PR#6417: sprintf broken when local module named Pervasives is in scopeGabriel Scherer2014-06-091-0/+1
| | | | | | (Backport from Jacques' commit 4.02@14921) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14972 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* second part of Benoît Vaugon's format+gadts patchGabriel Scherer2014-05-121-2/+2
| | | | | | | | | | | | | | | | | | | | | | To finish the bootstrap cycle, run: make library-cross make promote make partialclean make core make library-cross make promote-cross make partialclean make ocamlc ocamllex ocamltools make library-cross make promote make partialclean make core make compare git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14810 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* first part of Benoît Vaugon's format-gadts patchGabriel Scherer2014-05-121-1/+3
| | | | | | | | | | | | | | | After applying this patch, you should run: make library-cross make promote-cross make partialclean make ocamlc ocamllex ocamltools and then immediately apply the following patches until the "second part of Benoît Vaugon's format+gadts patch"; the bootstrap cycle is not finished yet. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14806 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* change -trans-mod to -no-alias-deps, and update messageJacques Garrigue2014-05-051-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Merge module-alias branch (cf. PR#6063)Jacques Garrigue2014-01-101-4/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez2013-09-041-0/+2
| | | | | | | | 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
* 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
* Module Buffer, printf, Format and Scanf are compiled with -w A.Pierre Weis2011-10-251-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11240 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
* Module Printf, Format, and Scanf are printed in -w A warning mode. This ↵Pierre Weis2011-06-201-0/+1
| | | | | | found an old and subtle bug in Format; for other modules, the code is clearer and cleaner! git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11100 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* bug de scanfDamien Doligez2004-11-021-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6655 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Careful review of meta formats.Pierre Weis2004-10-041-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6626 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0Xavier Leroy2004-07-131-8/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Nettoyage des Makefiles, notamment la gestion des options de compilation ↵Xavier Leroy2004-06-131-0/+26
specifiques a chaque fichier git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02