summaryrefslogtreecommitdiff
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
...
* | Remove PATH overrides for mingw-w64David Allsopp2022-10-102-13/+0
* | Switch required autoconf to 2.71 (#11294)David Allsopp2022-09-281-12/+3
* | Run the main testsuite seriallyDavid Allsopp2022-09-271-1/+1
* | Limit the testing in AppVeyorDavid Allsopp2022-09-271-0/+9
* | Turn the testsuite back on in AppVeyorDavid Allsopp2022-09-271-3/+2
* | Rename caml-tex into ocamltex, + related changesSébastien Hinderer2022-09-273-38/+38
* | build system: make a few conditionals over boolean variables more readableSébastien Hinderer2022-09-271-1/+1
* | Add ability to bootstrap flexdll on Jenkins CI (#11567)David Allsopp2022-09-271-0/+7
* | documentation: improve the sync_stdlib_docs toolFardale2022-09-221-1/+1
* | Add an early error when compiling different modules with mismatching -for-pac...Pierre Chambart2022-09-131-1/+5
* | Stop passing -safe-string when building the compiler and in the testsuiteSébastien Hinderer2022-09-111-1/+1
|/
* Merge branch 'ocaml:trunk' into gha_manual_fixupEnguerrand2022-08-021-6/+2
|\
| * Test 32-bit build in GitHub Actions (#11143)David Allsopp2022-08-011-6/+2
* | actions: move manual change check to the build workflow to improve chances of...Enguerrand Decorne2022-08-021-1/+1
|/
* Typo in "other-configs" Jenkins CI jobXavier Leroy2022-07-281-1/+1
* Log the result of "Check for manual changes"David Allsopp2022-07-221-0/+1
* testsuite: remove taskset-c0Enguerrand Decorne2022-07-221-8/+1
* actions: reuse build artifacts for the debug runtime run as wellEnguerrand Decorne2022-07-221-12/+14
* Jenkins CI other-configs: also test the "with frame pointers" configurationXavier Leroy2022-07-151-1/+1
* Fix Jenkins bootstrap testDavid Allsopp2022-07-131-3/+3
* Revert "Temporary: collect timings for tests during the Jenkins CI"Xavier Leroy2022-07-111-3/+2
* tools makefile: new target for secondary toolsFlorian Angeletti2022-07-071-5/+5
* Merge pull request #11382 from Octachron/topdir_fixGabriel Scherer2022-07-064-2/+33
|\
| * ocamlmktop: add a new initialization moduleFlorian Angeletti2022-07-054-2/+33
* | Don't renice on BSD systemsXavier Leroy2022-07-061-1/+1
* | Temporary: collect timings for tests during the Jenkins CIXavier Leroy2022-07-061-2/+3
* | Provide an interface for the Cmt2annot moduleSébastien Hinderer2022-06-301-1/+1
|/
* Check Autoconf version in CI (#11311)Christiano Haesbaert2022-06-141-0/+9
* Prefix all unix_ symbols caml_unix_David Allsopp2022-06-131-2/+2
* Rename uerror to caml_uerrorDavid Allsopp2022-06-131-2/+0
* Rename renaming win_ primitives to unix_David Allsopp2022-06-131-2/+0
* Strip GCC emulated TLS manglingDavid Allsopp2022-06-131-1/+1
* Allow functions in win32unix to begin with win_David Allsopp2022-06-131-0/+2
* Rename the two Windows unicode C functionsDavid Allsopp2022-06-131-3/+0
* Prefix all C symbols in Unix library unix_David Allsopp2022-06-133-2/+7
* Run check-symbol-names on both mingw portsDavid Allsopp2022-06-131-1/+1
* Handle .refptr. symbols in check-symbol-namesDavid Allsopp2022-06-131-1/+1
* Add ?auto_include to Compmisc.init_pathDavid Allsopp2022-06-072-1/+3
* Remove thread sanitizer from the "sanitizers" CI jobXavier Leroy2022-06-061-21/+24
* Fix handling of -with-bootstrapXavier Leroy2022-06-061-3/+1
* Bootstrapping is now incompatible with disable-flat-float-arrayXavier Leroy2022-06-061-2/+2
* Add a hook for misses in Load_pathDavid Allsopp2022-05-241-6/+6
* Runtime_events tracing systemSadiq Jaffer2022-05-243-384/+0
* Rename mksharedlib to mkdllSébastien Hinderer2022-05-121-4/+4
* Unify code of ocamlcp and ocamloptpDavid Allsopp2022-05-105-161/+150
* Merge pull request #11200 from dra27/lib-layout-profilingSébastien Hinderer2022-05-093-13/+19
|\
| * Install Profiling support module separatelyDavid Allsopp2022-05-043-13/+19
* | Make cmpbyt optionalDavid Allsopp2022-05-051-1/+1
* | Strip the CRCS section of the boot imagesDavid Allsopp2022-05-052-3/+3
|/
* Only allow tabs in the emitters in "..." and `...`David Allsopp2022-04-251-3/+21
View Lorry Controller Status