summaryrefslogtreecommitdiff
path: root/.gitattributes
Commit message (Collapse)AuthorAgeFilesLines
* Allow long lines in .md filesXavier Leroy2022-11-281-0/+2
| | | | Just like in .adoc files.
* Rename caml-tex into ocamltex, + related changesSébastien Hinderer2022-09-271-8/+0
| | | | | | | | | * 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
* Let configure generate the META files, with a proper version numberSébastien Hinderer2022-07-181-2/+2
|
* Add META files (#11007)Nicolás Ojeda Bär2022-07-011-0/+1
|
* READMEs: add note about 5.0 status (#11355)Nicolas Ojeda Bar2022-06-241-0/+2
|
* Runtime_events tracing systemSadiq Jaffer2022-05-241-1/+0
|
* otherlibs: Merge win32unix into unixSébastien Hinderer2022-04-101-3/+3
|
* runtime/HACKING.adoc: tips on debugging the runtime (#11058)Gabriel Scherer2022-04-051-1/+1
|
* Use a more complex test for parallel dynlinkingoctachron2022-02-251-0/+3
|
* CONTRIBUTING.md: list the maintainersGabriel Scherer2022-02-121-0/+1
|
* Get rid of <caml/compatibility.h> (#10863)Nicolás Ojeda Bär2022-01-101-2/+0
|
* Revert to ocaml/ocaml for various .git* noise; README.md in Makefile and ↵Tom Kelly2021-12-211-2/+0
| | | | revert workflows/hygiene.yml
* Merge commit '18c4d16b3b80388f5b77dcc5a268c33eceb37ebe' into 5.00_rebase_to_prTom Kelly2021-12-201-2/+0
|\
| * Fix AC_CONFIG_HEADERS on CRLF-checkoutsDavid Allsopp2021-10-211-2/+0
| |
* | Merge commit '0b3f8dd77d7569208f21bcbd67b85260eed65076' into 5.00_rebase_to_prTom Kelly2021-12-201-0/+2
|\ \ | |/
| * Document where the OCaml version is defined and how to update the VERSION fileSébastien Hinderer2021-10-081-0/+1
| |
| * Deprecation of C macrosXavier Leroy2021-10-071-0/+1
| | | | | | | | | | | | | | | | 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.
* | Allow Python tools to have long lines (for now)David Allsopp2021-12-201-0/+3
| |
* | Allow README.md to have long lines, like *.adocDavid Allsopp2021-12-191-0/+1
| |
* | highlight that runtime/caml/sizeclasses.h is generated from ↵Tom Kelly2021-11-171-0/+1
| | | | | | | | tools/gen_sizeclasses.ml; flag runtime/caml/sizeclasses.h as not needing a license for check-typo
* | remove unnecessary test/promotion in the testsuite/disabled file; allow ↵Tom Kelly2021-10-061-0/+1
|/ | | | testsuite/disabled to pass check-typo without a license header; fix up the 80char line check-typo problems with testsuite/disabled
* Merge pull request #10582 from kit-ty-kate/source-highlighting-tabsFlorian Angeletti2021-09-231-0/+1
|\ | | | | Fix single-line source highlighting in the presence of tabs
| * check-typo: highlight_tabs.ml contains tabsArmaël Guéneau2021-08-271-0/+1
| |
* | Use build_config.h instead of -DOCAML_STDLIB_DIRDavid Allsopp2021-04-281-0/+2
|/ | | | | | | | | | 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.
* Control the flexdll bootstrap with configureDavid Allsopp2021-05-111-0/+1
| | | | | | | | 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/
* Harden Makefile TAB rules in check-typoDavid Allsopp2021-04-301-1/+1
| | | | | A single tab is allowed at the beginning of a recipe line in a Makefile (and on the continuation lines of a recipe line).
* AppVeyor: refactor UTF-8 partsDavid Allsopp2021-01-061-1/+0
| | | | | | | | | 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.
* Update LF settings in .gitattributesDavid Allsopp2021-01-011-63/+13
|
* Remove old .gitattributes entryDavid Allsopp2021-01-011-1/+0
|
* Script missing .gitattributes settingDavid Allsopp2020-12-301-0/+1
|
* Add one new test file containing 1086 tests of the syntax error messages ↵François Pottier2020-12-211-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (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.
* Move doc to api_docgen and restore installationoctachron2020-12-021-2/+2
|
* doc: centralized, parallel, incremental manpagesFlorian Angeletti2020-12-021-1/+2
|
* Test for immediates: also test "checkbound"Xavier Leroy2020-09-171-0/+1
| | | | Plus: bow to check-typo.
* Fix check-typo sinsDavid Allsopp2020-09-111-1/+1
|
* Fix handling of EOL-at-EOF in ocamltestDavid Allsopp2020-07-251-0/+4
|
* Don't display configure in GitHub diffsDavid Allsopp2020-08-191-3/+3
|
* Reorganize release infoFlorian Angeletti2020-07-261-3/+3
|
* check-typo attributes for .github directoryXavier Leroy2020-05-041-1/+3
| | | | Expect no headers, long lines, and very long lines.
* Configure GitHub issue trackerDavid Allsopp2020-04-301-0/+1
|
* Rewrite the instrumented runtime to store traces in the CTF format.Enguerrand Decorne2020-04-301-1/+2
| | | | | | | | | 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).
* autogen -> make configureDavid Allsopp2018-12-041-1/+1
|
* More compatibility macros to Caml_state (#9202)Kate2019-12-261-0/+1
| | | | | | | | | | | | | 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)
* check-typo fix for ocamltest/ocamltest.orgSébastien Hinderer2019-11-291-0/+1
|
* Update tests for CRLF checkoutsDavid Allsopp2019-10-151-0/+1
|
* .gitattributes: do not show generated boot/menhir/parser.ml* in diffsNicolás Ojeda Bär2019-07-021-0/+2
|
* build system: remove the config/ directorySébastien Hinderer2019-06-101-19/+1
| | | | None of the files in this directory is used any more.
* config/Makefile.m* tidy (#8640)David Allsopp2019-05-141-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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*
* Merge pull request #8604 from gretay-js/pr2207Gabriel Scherer2019-04-121-0/+2
| | | | | | | Add opam files to allow pinning (cherry picked from commit e89287f056b3641af214f8d71717c6fa81de531b) (version changed 4.08 => 4.09)
* Revert "Get rid of the stdlib/Compflags script (#8601)"Sébastien Hinderer2019-04-111-0/+1
| | | | This reverts commit 0dec0ce9d63d5d3168dadb193200af7e91b711c1.