The unpac monorepo manager self-hosting as a monorepo using unpac
AsciiDoc: more markup
+5
-5
+2
-2
HACKING.adoc
+2
-2
HACKING.adoc
···
434
434
`make -C testsuite parallel`:: see xref:testsuite/HACKING.adoc[]
435
435
436
436
You can use `make foo V=1` to build the target foo and show full
437
-
commands instead of abbreviated names like OCAMLC, etc. This can be
437
+
commands instead of abbreviated names like `OCAMLC`, etc. This can be
438
438
useful to know the flags to use to manually rebuild a file.
439
439
440
440
Additionally, there are some developer specific targets in link:Makefile.dev[].
···
743
743
5. Visit https://ci.inria.fr/ocaml/job/precheck and log in. Click on
744
744
"Build with parameters".
745
745
746
-
6. Fill in the REPO_URL and BRANCH fields as appropriate and run the build.
746
+
6. Fill in the `REPO_URL` and `BRANCH` fields as appropriate and run the build.
747
747
748
748
7. You should receive a bunch of e-mails with the build logs for each
749
749
slave and each tested configuration (with and without flambda) attached.
+1
-1
testsuite/HACKING.adoc
+1
-1
testsuite/HACKING.adoc
···
12
12
13
13
There are many kind of tests already, so the easiest way to start is
14
14
to extend or copy an existing test. To learn how to write new tests
15
-
using ocamltest, read [OCAMLTEST.org](../ocamltest/OCAMLTEST.org).
15
+
using ocamltest, read link:../ocamltest/OCAMLTEST.org[].
16
16
17
17
Note: in april 2023, the test scripting language has changed: the
18
18
org-mode-based syntax was replaced by at C-like syntax. ocamltest
+2
-2
typing/HACKING.adoc
+2
-2
typing/HACKING.adoc
···
3
3
inference. Here is a reading list to ease your discovery of the
4
4
typechecker:
5
5
6
-
https://caml.inria.fr/pub/docs/u3-ocaml/index.html[Using, Understanding, and Unraveling the OCaml Language by Didier Rémy] ::
6
+
https://caml.inria.fr/pub/docs/u3-ocaml/index.html[_Using, Understanding, and Unraveling the OCaml Language_ by Didier Rémy] ::
7
7
This book provides (among other things) a formal description of parts
8
8
of the core OCaml language, starting with a simple Core ML.
9
9
10
-
https://okmij.org/ftp/ML/generalization.html[Efficient and Insightful Generalization by Oleg Kiselyov] ::
10
+
https://okmij.org/ftp/ML/generalization.html[_Efficient and Insightful Generalization_ by Oleg Kiselyov] ::
11
11
This article describes the basis of the type inference algorithm used
12
12
by the OCaml type checker. It is a recommended read if you want to
13
13
understand the type-checker codebase, in particular its handling of