| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| | |
|
| | |
|
| |
|
|
|
| |
in order to reduce the difference between the native compiler and
toplevel.
|
| |
|
|
|
|
|
|
|
|
|
|
| |
This commit defines five default argument modules in
Main_args.default. Those modules provide a default implementation
for the argument of ocaml, ocamlnat, ocamlc, ocamlopt, ocamldoc,
ocamlcp, ocamloptp, and expect_test.
Grouping together those implementations allow to share as much as
possible similar implementation across executables. It should make
easier to keep synchronized the various implementation, or reuse
those implementation in alternative drivers.
|
| |
|
|
|
| |
This commit removes all pre-arguments that were defined in
Odoc_args but never turned into actual arguments.
|
| | |
|
| |
|
| |
This option allows to build self-contained bytecode executable and is aimed to replace `-custom`. The main difference between the two is that executables produced by `-output-compete-exe` can be stripped.
|
| | |
|
| | |
|
| |
|
|
|
| |
No file seems to reference it. In particular, it is never turned into
a genuine shell script.
|
| | |
|
| |\
| |
| | |
Add -noruntime option
|
| | | |
|
| | | |
|
| | | |
|
| |/
|
| |
Followup to (#2281)
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
* Various file moves in the middle end: this is the first stage of improving separation between the middle end and backend.
* Creation of file_formats/ directory (with associated file moves) to hold the definitions of compilation artifact formats.
* Creation of lambda/ directory (with associated file moves) to hold Lambda language definition files, transformation passes and construction passes from Typedtree.
* Disable (hopefully temporarily) dynlink, debugger and ocamldoc for the dune build.
|
| | |
|
| |
|
|
| |
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.
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
After consultation on the core developers' list I am proposing this patch to remove support for compiler plugins.
The main motivations for removing compiler plugins are:
- They are a potential security risk.
- They increase the complexity of the build system and make maintenance of the Dynlink libraries more difficult (although actually, this complexity could probably be reduced after #2268 is merged).
- Many applications of plugins should be able to be expressed by building custom compiler drivers that link against compilerlibs.
* Remove compiler plugins and hooks
* Add new function Dynlink.unsafe_get_global_symbol but keep it outside the documented API.
* Remove otherlibs/dynlink/nodynlink.ml
* Update Changes
|
| |
|
|
|
|
|
|
|
| |
This GPR restores -vmthread with an adapted version of the deprecation message as an error message and also keeps the use_vmthreads part of ppx contexts.
* Partially revert #2289
* Convert -vmthread to an error
* Neuter use_vmthreads in ppx context
* Remove Clflags.use_vmthreads
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Delete the deprecated vmthreads library
It was deprecated in 4.08.
* Remove the byte/native argument of init_path
It is no longer necessary.
* Error out when passing --{enable,disable}-vmthreads to ./configure
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
|
| | |
|
| |\
| |
| | |
reduce boilerplate in compiler command line parsing
|
| | | |
|
| |/
|
|
|
|
|
|
|
| |
- Add a Load_path module which caches files lookup
- Instead of falling back to the external environment, allow to
declare in the environment that a module comes from the external
world. This allows persistent structures to shadows non-persistent
ones
|
| |
|
|
|
|
| |
I think this clarifies the fact that the `info` value is a resource that
has a limited lifetime. The new API lets us create (and close) the ppf_dump
directly from `Compile_common.with_info`, simplifying the API for user.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
The previous label name made little sense to me, and in fact
I thought it meant that the boolean indicates whether the path should
be initialized or not.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
| |
- silence some principality warning in otherlibs/dynlink
- shared some script between the makefile and the dune files
|
| |\
| |
| | |
Make (nat)dynlink sound (also fixes MPR#4208, MPR#4229, MPR#4839, MPR#6462, MPR#6957, MPR#6950)
|
| | | |
|
| |/ |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
