| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
| |
Eventlog tracing system
(cherry picked from commit 10561873487c185c0727f08b26706226dbb1a7b6)
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
The Git configuration value ocaml.configure-cache can be used to specify
a directory to keep autoconf cache files in, relative to the worktree
root (so `git config ocaml.configure-cache .` enables the feature, and
`git config --global ocaml.configure-cache ..` enables it for all
worktrees, assuming they're at the same level).
autoconf's --cache-file option speeds up future runs of configure by
caching the results of previous tests. The cache is invalidated if any
environment variables differ (e.g. LDFLAGS) or if the build-host-target
triplet differs. This is a nuisance on Windows, where configure is both
very slow and it's also common to build with multiple different --host
values.
This PR allows a tree to be quickly reconfigured from one Windows port
to another.
|
|\
| |
| | |
Move C global variables to a dedicated structure
|
| | |
|
|/
|
|
|
|
|
| |
This file is no longer generated since #2281, and keeping an old one
makes `make depend` produce an invalid file.
No change entry needed
|
| |
|
|
|
|
|
| |
This reverts commit 74cf20429df73959b7b49c3f292498bdf62857d6, reversing
changes made to 295ee133ddbe3e3a6702ec613466c24529b7b2bb.
|
| |
|
| |
|
| |
|
| |
|
|\
| |
| | |
Use boot/ocamlc.opt for building, if available.
|
| | |
|
|/ |
|
|
|
|
|
|
|
| |
The Graphics library is now distributed as a separate package.
The sources are at https://github.com/ocaml/graphics .
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
In order to prepare the transition to autoconf, this commit moves the
configuration Makefile out of the config directory which will disappear
and gives it the name it will have once intstalled, namely Makefile.config.
|
|
|
|
|
|
|
|
|
|
|
| |
This subdirectory was used to store experimental patches on some older
version-control system where branching (or discussing branches?) was
inconvenient. It doesn't make much sense anymore now, and getting rid
of it simplifies a couple places that had to grow around it.
Suggested-by: Nicolás Ojeda Bär
(no change entry needed)
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
| |
The goal of this change is to avoid conflicts encountered by
compiler-libs users that would also use their own MenhirLib runtime
for their own parsers.
I first tried to implement a solution to this module-name-conflict
issue using module aliases and -open, but this proven too fragile and
too difficult to get right.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* added otherlibs/unix/fsync.c and otherlibs/unix/unix.ml
* add Unix.fsync
* added otherlibs/win32unix/fsync.c
* Unix.fsync for windows
* big typo
* Rewrite Unix.fsync stub for Windows
* belts and braces: fail in the case of named pipe
* Add missing include
* corrected header
* better ocamldoc for fsync
* rm fsync.c from the UNIX_FILES list
* updated Changes for Unix.fsync
* Use _commit instead of FlushFileBuffers
* Include <io.h>
|
|
|
|
|
|
|
|
| |
* manual tools: use toploop directly in caml_tex2
* manual tool: improved error messages
* manual: always print errors and warnings
* fix nefarious interaction with GPR#1120
* move manual/tools/caml_tex2 to tools/caml_tex
* Basic text for caml-tex
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
This is a follow-up to GPR #1784. Since config/auto-aux/hashbang4
is now removed by ./configure, it does not need to be in .gitignore
any longer.
|
|
|
|
|
| |
This commit removes the entries related to testsuite/tests/ that
are no longer useful.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
This commit also renames the directory containing the test
from output_obj to output-complete-obj
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
| |
This reverts commit 0a2671a252a6c22f9b39bae8fb9e30124b9ec028.
The test was actually not working so let's put trunk in a working
state again.
|