| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
Just like in .adoc files.
|
|
|
|
|
|
|
|
|
| |
* Move the definition of WITH_CAMLTEX from Makefile.config.in to
Makefile.build_config.in (makes it private)
* Rename the variable from WITH_CAMLTEX to build_ocamltex
* Change its definition in configure.ac so that its false rather than
the empty string when the tool is not built
* Rename the tool itself from caml-tex to ocamltex
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
revert workflows/hygiene.yml
|
|\ |
|
| | |
|
|\ \
| |/ |
|
| | |
|
| |
| |
| |
| |
| |
| |
| |
| | |
Add macro CAML_DEPRECATED(oldname,newname) to emit a deprecation warning
every time this macro is processed.
Use it to produce deprecation warnings when macros from <caml/compatibility.h>
are used.
|
| | |
|
| | |
|
| |
| |
| |
| | |
tools/gen_sizeclasses.ml; flag runtime/caml/sizeclasses.h as not needing a license for check-typo
|
|/
|
|
| |
testsuite/disabled to pass check-typo without a license header; fix up the 80char line check-typo problems with testsuite/disabled
|
|\
| |
| | |
Fix single-line source highlighting in the presence of tabs
|
| | |
|
|/
|
|
|
|
|
|
|
|
| |
Cygwin no longer provides the iconv command by default, which means the
translation of LIBDIR into OCAML_STDLIB_DIR cannot be guaranteed to
succeed. Technically, an unusual PREFIX could also result in an invalid
C constant in the Unix build.
Introduce a (relatively) small C program to carry out the function of
iconv and also translate the constant on the Unix side as well.
|
|
|
|
|
|
|
|
| |
On Windows and Cygwin, if the submodule is initialised, configure will
pick it up (this can be disabled by passing --without-flexdll to
configure). --with-flexdll can also be used to specify a different
location for the FlexDLL sources (e.g. when building using opam) and
sources specified this way are first copied to flexdll-sources/
|
|
|
|
|
| |
A single tab is allowed at the beginning of a recipe line in a Makefile
(and on the continuation lines of a recipe line).
|
|
|
|
|
|
|
|
|
| |
Moves the UTF-8 definitions solely into appveyor_build.cmd (Cygwin then
inherits them correctly by ensuring the script always runs with chcp
65001).
The setting up of the build environment (Visual Studio, etc.) is also
now done in install phase, where it belongs, rather than build.
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
(plus tooling) (#10086)
* Improve [make clean-menhir] to remove parser.{automaton,conflicts}.
* Distinguish MENHIRBASICFLAGS and MENHIRFLAGS.
The former is a subset of the latter, and suffices when running Menhir
to perform an analysis of the grammar.
This allows [make interpret-menhir] to be used even if ocamlrun and ocamlc
have not been built yet.
* Define an alias (i.e., concrete syntax) for every token. Add --require-aliases.
The flag --require-aliases makes sure that the property that every token
has an alias will be preserved in the future.
This requires Menhir 20201214.
* Add [make list-parse-errors].
This rule runs Menhir's reachability analysis, which produces a list of all
states where a syntax error can be detected (and a corresponding list of of
erroneous sentences). This data is stored in parsing/parser.auto.messages.
All text between BEGIN AVOID and END AVOID is removed from the grammar before
the analysis is run. This can be used to filter out productions and
declarations that the analysis should ignore.
* Add [make generate-parse-errors].
This rule turns the error sentences stored in parsing/parser.auto.messages
into concrete .ml files, which can be used as tests. One file per sentence is
created. The file name is derived from the sentence. The test files are placed
in the directory testsuite/tests/generated-parse-errors.
* Mark the three productions that use [not_expecting] with [AVOID].
* Mark the production that allows puns with [AVOID].
This prevents [make list-parse-errors] from generating sentences that exploit
this production. Indeed, there is a risk of generating sentences that
cause syntax errors, due to the auxiliary function [addlb], which rejects
certain puns.
* Mark some of the start symbols with [AVOID].
* Add one new test file in testsuite/tests/generated-parse-errors/errors.ml.
This file was produced by [make generate-parse-errors].
This file contains:
1072 sentences whose start symbol is implementation.
5 sentences whose start symbol is use_file.
9 sentences whose start symbol is toplevel_phrase.
The parser's output can be described as follows:
1086 syntax errors reported.
721 syntax errors without explanation.
365 syntax errors with an indication of what was expected.
307 syntax errors with an indication of an unmatched delimiter.
|
| |
|
| |
|
|
|
|
| |
Plus: bow to check-typo.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Expect no headers, long lines, and very long lines.
|
| |
|
|
|
|
|
|
|
|
|
| |
The instrumentation code in the instrumented runtime was replaced
with new APIs to gather runtime statistics and output them in a new format
(Common Trace Format).
This commit also exposes new functions in the Gc module to pause or resume
instrumentation during a program execution (Gc.eventlog_pause and
Gc.eventlog_resume).
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
runtime/caml/compatibility.h:
Add compatibility macros for globals that have been moved to Caml_state.
Some of these globals are used by 3rd-party libraries, e.g. delimcc
.gitattributes:
Tolerate long lines in runtime/caml/compatibility.h.
It's better to keep the "one #define per line" style than to introduce
line breaks there.
(cherry picked from commit 073fcbb14ab8c66009beb6ef49c240a24766feac)
|
| |
|
| |
|
| |
|
|
|
|
| |
None of the files in this directory is used any more.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Make s-nt.h and m-nt.h more autoconf-like
* Add SIZEOF_LONGLONG to m-nt.h
It's not used, but autoconf will generate it.
* Sections of s-nt.h and m-nt moved to config.h
* Re-order lines of s-nt.h
Allows the output to be more readily compared with autoconf's generated
s.h. Lines are purely reordered so:
diff <(git cat-file --textconv HEAD~1:config/s-nt.h | sort) \
<(git cat-file --textconv HEAD:config/s-nt.h | sort)
should return no differences.
* Add extra defines to s-nt.h for mingw32
These match up with facts determined by autoconf. The following
additional HAS_ defines are made:
- HAS_UNISTD
Behaviour of otherlibs/unix/access.c and otherlibs/win32unix/lseek.c
is affected but the effect is correct.
Behaviour of runtime/fix_code.c affected, but unistd.h includes
io.h, so there's no effective change.
In other cases, unistd.h is simply included where before it wasn't.
- HAS_DIRENT
Used in Unix-only closedir.c, opendir.c, readdir.c and rewinddir.c
Used in runtime/unix.c, but that obviously won't affect Windows!
- HAS_REWINDDIR
Used in Unix-only rewinddir.c
- HAS_TRUNCATE
Used in Unix-only ftruncate.c, mmap.c and truncate.c
- HAS_NANOSLEEP
Used in Unix-only sleep.c
- HAS_GETTIMEOFDAY
Used in vmthreads and Unix-only gettimeofday.c
Used in runtime/sys.c, but in a branch guarded by #ifndef _WIN32
- HAS_MKSTEMP
Changes yacc/main.c to use the MinGW implementation of mkstemp
(part of mingwex, which is linked by flexdll)
* Remove the old DISTRIB variable
This variable was originally added in 1973b55 and 1596174 and was always
specifically for Windows for installing the README files.
This should have been renamed to INSTALL_DISTRIB in de4f4cf (which was
part of MPR#6358/GPR#27). It should then have been removed in 13bb9d2
(GPR#1033).
May it forever rest in peace.
* Tweak the config/Makefile.m* to match autoconf
* Build debug runtime by default on Windows
* Build raw_spacetime_lib on msvc64 & mingw64
* Set ENABLE_CALL_COUNTS to true for Windows
No-op, since spacetime is not enabled by default, but easier comparison
with autoconf
* Remove X11 definitions from old Makefiles
win32graph removed in #2318
* mingw ports should use gcc for CPP
* Correct MKEXEDEBUGFLAG for mingw ports
-g is ignored by flexlink, -link -g is passed on to GCC.
* Correct SO to be dll not s.obj/s.o
Pedantic correction - $(SO) is not used by the Windows ports.
* Re-order lines of config/Makefile.m*
|
|
|
|
|
|
|
| |
Add opam files to allow pinning
(cherry picked from commit e89287f056b3641af214f8d71717c6fa81de531b)
(version changed 4.08 => 4.09)
|
|
|
|
| |
This reverts commit 0dec0ce9d63d5d3168dadb193200af7e91b711c1.
|