1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<!-- $Id: sources.html,v 6.3 2012-01-09 14:22:20 deraugla Exp $ -->
<!-- Copyright (c) INRIA 2007-2012 -->
<title>Camlp5 sources</title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta http-equiv="Content-Style-Type" content="text/css" />
<link rel="stylesheet" type="text/css" href="styles/base.css"
title="Normal" />
</head>
<body>
<div id="menu">
</div>
<div id="content">
<h1 class="top">Camlp5 sources</h1>
<p>Information for developpers of the Camlp5 program.</p>
<div id="tableofcontents">
</div>
<h2>Kernel</h2>
<p>The sources are composed of:</p>
<ul>
<li>the OCaml stuff, copied from the OCaml compiler</li>
<li>the <em>kernel</em> composed of the directories:
<ul>
<li>odyl : the dynamic loading system</li>
<li>lib : the library</li>
<li>main : the main program camlp5</li>
<li>meta : the parsers for revised syntax, ast quotations,
EXTEND statement, etc/</li>
</ul>
</li>
<li>the rest: directories etc, compile, ocpp</li>
</ul>
<p>Some other directories contain configuration files, tools,
documentation and manual pages.</p>
<p>The kernel is sufficient to make the core system work: it is possible
to compile and bootstrap only it. All sources being in revised syntax,
the first compilation of Camlp5 is done by a version of this kernel
in pure OCaml syntax, located in the directory ocaml_src.</p>
<p>These sources in pure OCaml syntax are not modified by hand. When
changes are made to the kernel, and a check is done that it
correctly compiles and bootstraps, the kernel in pure OCaml syntax
is rebuilt using Camlp5 pretty print. This is done by the command
"make bootstrap_sources".</p>
<h2>Compatibility</h2>
<p>This distribution of Camlp5 is compatible with several versions of
OCaml. The definition of OCaml syntax trees may change from OCaml
version to version, which can be a problem. Since OCaml does not
install the sources nor the compiled versions of its syntax tree, a
copy of the necessary source files, borrowed from the source of the
OCaml compiler is in the directory 'ocaml_stuff', in subdirectories
with the OCaml version number.</p>
<p>If the present distribution of Camlp5 is not compatible with the
version of OCaml you have (the command 'configure' tells you), it
is possible to add it. For that, you need the sources to your specific OCaml
distribution. If you have them then a 'configure' telling you
that camlp5 is not compatible, do:</p>
<pre>
make steal OCAML_SRC=<path-to-OCaml-sources>
</pre>
<p>This creates a new directory in 'ocaml_stuff' with sources of the
syntax tree of your OCaml compiler.</p>
<p>If you want to check that the sources of the syntax tree of OCaml
are up-to-date (e.g. if this is the current OCaml developpement),
do:</p>
<pre>
make compare_stolen OCAML_SRC=<path-to-OCaml-sources>
</pre>
<p>The compatibility is also done with the file 'lib/versdep.ml',
which is a module containing miscellaneous features depending to
the version of OCaml.</p>
<p>In the directory 'ocaml_src' which contains the pure OCaml sources
of the Camlp5 core (see chapter TREE STRUCTURE below), there are as
many versions of this files as versions of OCaml. They are named
'version.ml' in the directory 'lib/versdep'. If you are adding
a new version of OCaml, you need this file. As a first step, make a
copy from a close version:</p>
<pre>
cd ocaml_src/lib/versdep
cp <close_version>.ml <version>.ml
</pre>
<p>Then, you can rerun "configure" and do "make core". If the file
'ocaml_src/lib/versdep.ml' has compilation problems, fix them 'make
core' again. When it compiles, copy it into the subdirectory
'versdep' as '<version>.ml', overwriting the version you copied
from the close version.</p>
<p>Later, the same file 'lib/versdep.ml' in Camlp5 syntax may have
similar compilation problems. There is only a single version of this file,
thanks to IFDEF constructs used here or there.</p>
<p>While compiling with some specific version of OCaml, this file is
compiled with 'OCAML_vers' defined where 'vers' is the version number
form the beginning to the first space or charcter '+' with all dots
converted into underscores. For example, if your OCaml version is
7.04.2+dev35, you can see in the compilation process of versdep.ml
that OCAML_7_04_2 is defined, and you can add statements defined
by the syntax extension 'pa_macro.cmo', for example IFDEF OCAML_7_04_2.
Add statements like that in 'lib/versdep.ml' to make it compile
successfully.</p>
<h2>Tree structure</h2>
<p>The directory 'ocaml_src' contains images in pure OCaml syntax of the
directories odyl lib main and meta. This allows the creation of a core version
of Camlp5 with only the OCaml compiler installed.</p>
<p>You can decompose the building of the Camlp5 core into:</p>
<dl>
<dt>1. make library_cold</dt>
<dd>just makes the directory 'ocaml_src/lib' and copy the cmo and cmi
files into the directory 'boot'</dd>
<dt>2. make compile_cold</dt>
<dd>makes the other directories of ocaml_src</dd>
<dt>3. make promote_cold</dt>
<dd>copies the executables "camlp5", "camlp5r" and the syntax
extensions (cmo files) into the directory 'boot'</dd>
</dl>
<p>From this point, the core Camlp5 is in directory 'boot'. The real
sources in the top directories odyl, lib, main and meta, which are
written in revised syntax with some syntax extensions (grammars,
quotations) can be compiled. To achieve their compilation, you can
do:</p>
<pre>
make core
</pre>
<p>Or to compile everything do:</p>
<pre>
make all
</pre>
<p>or just:</p>
<pre>
make
</pre>
<p>Notice that doing "make core" or "make all" from scratch (after a
make clean), automatically starts by making the core files from
their pure OCaml versions.</p>
<h2>Fast compilation from scratch</h2>
<pre>
./configure
make clean core compare
make coreboot
make all opt opt.opt
</pre>
<h2>Testing changes</h2>
<p>1. do your changes</p>
<p>2. do:</p>
<pre>
make core compare
</pre>
<p>if it says that the bootstrap is ok, you can do:</p>
<pre>
make all
make opt
make opt.opt
</pre>
<p>otherwise, to make sure everything is ok, first do:</p>
<pre>
make coreboot
</pre>
<p>sometimes two bootstraps ('make coreboot' twice) are necessary,
in particular if you change things in the directory 'lib'. It is
even possible that three bootstraps are necessary.</p>
<p>If things go wrong, it is possible to return to the previous
version by typing:</p>
<pre>
make restore clean_hot
</pre>
<p>then you can change what is necessary and continue by typing:</p>
<pre>
make core
</pre>
<p>and test the bootstrap again:</p>
<pre>
make coreboot
</pre>
<p>After several bootstraps (by 'make coreboot' or 'make bootstrap'),
many versions are pushed in the directory 'boot' (you can type 'find
boot -type d -print' to see that). If your system correctly
bootstraps, you can clean that by typing:</p>
<pre>
make cleanboot
</pre>
<p>which keeps only two versions. (The command 'make clean' also
removes these stack of versions.)</p>
<h2>Before committing your changes</h2>
<p>Make sure that the cold start with pure OCaml sources work. For
that, do:</p>
<pre>
make compare_sources | less
</pre>
<p>This shows you the changes that would be done in the OCaml pure sources
of the directory ocaml_src.</p>
<p>To make the new versions, do:</p>
<pre>
make new_sources
make promote_sources
</pre>
<p>Notice that these pure OCaml sources are not supposed to be modified
by hand, but only created by the above commands. Although their source
is pretty printed they are usually not easy to read, particularly for
expanded grammars (of the statement 'EXTEND').</p>
<p>If these sources do not compile, due to changes in the OCaml
compiler, it is possible however to edit them. In this case, similar changes
may need to be performed in the normal sources in revised syntax.</p>
<p>After doing 'make new_sources' above, and before doing 'make
promote_sources' below, it is possible to do 'make untouch_sources'
which changes the dates of the newly created files with the dates of the
old files if they are not modified. This way, the "svn commit" will not
need to compare these files, which may be important if your
network is not fast.</p>
<p>The 'make new_sources' builds a directory named 'ocaml_src.new'.
If this directory still exists, due to a previous 'make new_sources',
the command fails. In this case, just delete it (rm -rf ocaml_src.new)
without problem: this directory is not part of the distribution, it is
just temporary.</p>
<p>The 'make clean_sources' deletes old versions of ocaml_src, keeping
only the last and the before last ones.</p>
<p>The command:</p>
<pre>
make bootstrap_sources
</pre>
<p>is a shortcut for:</p>
<pre>
make new_sources
make untouch_sources
make promote_sources
make clean_sources
</pre>
<p>If there are changes in the specific file 'lib/versdep.ml', do
also:</p>
<pre>
make compare_all_versdep
</pre>
<p>and possibly:</p>
<pre>
make bootstrap_all_versdep
</pre>
<p>because this file, in 'ocaml_src/lib/versdep' directory has different
versions according to the OCaml version.</p>
<p>After having rebuilt the pure OCaml sources, check that they work by
rebuilding everything from scratch, starting with "configure".</p>
<h2>If you change the main parser</h2>
<p>If you change the main parser 'meta/pa_r.ml', you should check that the
quotations expanders of syntax tree 'meta/q_MLast.ml' match the new
version. For that, do:</p>
<pre>
cd meta
make compare_q_MLast
</pre>
<p>If no differences are displayed, it means that 'q_MLast.ml' is ok,
relatively to 'pa_r.ml'.</p>
<p>Otherwise, if the displayed differences seem reasonable, update the
version by typing:</p>
<pre>
make bootstrap_q_MLast
</pre>
<p>Then returning to the top directory, do 'make core compare' and
possibly 'make coreboot' (one of several times) to check the
correctness of the file.</p>
<p>And don't forget, if you want to commit, to re-create the pure OCaml
sources like indicated above.</p>
<h2>Adding new nodes to the syntax tree</h2>
<p>If new nodes are necessary in the syntax tree, for example because
the OCaml language added itself new nodes, the steps are the
following (with the example of adding the "lazy" pattern node).</p>
<ul>
<li>Add the node in the file 'main/mLast.mli'. Please respect the design
of the nodes by looking at the other nodes. Example:
<pre>
PaLaz of loc and patt
</pre>
</li>
<li>Try to compile (do 'make' in the main directory). You are going to
have some errors in files telling you that nodes are missing in some
pattern matchings. Add them, according to the new nodes of OCaml or
looking at other nodes.</li>
<li>Once the compilation is done, try a 'make bootstrap' to be sure
everything is OK.</li>
<li>When it is, add the possible concrete syntax in the revised syntax,
i.e. in 'meta/pa_r.ml'. Since the quotation is not yet implemented,
put it in syntax without quotation. Example:
<pre>
"lazy"; p = SELF -> MLast.PaLaz loc p
</pre>
</li>
<li>Do 'make bootstrap' again.</li>
<li>Go to the directory 'meta' and type:
<pre>
make compare_q_MLast
</pre>
This command try to compare what should be the AST quotation if it
perfectly matched the syntax. If this comparison seems reasonable,
change the file 'q_MLast.ml' by typing:
<pre>
make bootstrap_q_MLast
</pre>
</li>
<li>Do a 'make bootstrap' again to check everything is OK. If it is
change the line of 'meta/pa_r.ml'. In the example, from:
<pre>
"lazy"; p = SELF -> MLast.PaLaz loc p
</pre>
to:
<pre>
"lazy"; p = SELF -> <:patt< lazy $p$ >>
</pre>
</li>
<li>The new syntax should work now in revised syntax. You can complete
the compilation, do a 'make install' and check with the toplevel that
it works. Complete with the rest like said above.</li>
<li>You can then complete the other syntaxes (the 'normal' syntax, for
example in 'etc/pa_o.ml') and the pretty printers.</li>
</ul>
<h2>Switching between transitional and strict mode</h2>
<p>If Camlp5 is compiled in some mode, it is possible to change its
mode in two boostrapping steps. Type:</p>
<pre>
make MODE=T coreboot
</pre>
<p>to switch to transitional mode, or:</p>
<pre>
make MODE=S coreboot
</pre>
<p>to switch to strict mode.</p>
<p>After two (necessary) bootstraps, the kernel is compiled in the new
mode. Complete the compilation by:</p>
<pre>
make MODE=T all opt opt.opt
</pre>
<p>or:</p>
<pre>
make MODE=S all opt opt.opt
</pre>
<p>according to the new mode you want to use.</p>
<p>Another solution is, of course, recompile everything from scratch:</p>
<pre>
make clean
./configure -transitional
make world.opt
</pre>
<p>or:</p>
<pre>
make clean
./configure -strict
make world.opt
</pre>
<h2>Bootstrapping</h2>
<p>Camlp5 is bootstrapped in numerous ways.</p>
<h3>Camlp5 executable bootstrapping</h3>
<p>The file 'main/camlp5r' is rebuilt each time a bootstrapping command
is used (like 'make coreboot' or 'make bootstrap'). This bootstrapping
command starts with copying it in the directory 'boot'. The file
'boot/camlp5r' is used to recompile the sources, creating another
file 'main/camlp5r'. When both files are the same (byte by byte),
the Camlp5 executable is bootstrapped.</p>
<p>Sometimes, in particular when changes are done in the library
(directory 'lib'), it is necessary to bootstrap twice before having
the message 'Fixpoint reached, bootstrap succeeded'.</p>
<p>The command 'make compare' tells you whether the Camlp5 executable
is currently bootstrapped or not.</p>
<h3>Source bootstrapping</h3>
<p>The compilation of Camlp5 starts with the compilation of files of
the directory ocaml_src written in pure OCaml. This creates the
files 'camlp5' and 'camlp5r' in the directory boot. This is called
the 'cold start'.</p>
<p>Once done, the sources of Camlp5 can be compiled using revised
syntax and several syntax extensions, like the statement 'EXTEND',
for example, and the quotations of syntax trees.</p>
<p>The core files of Camlp5 are in the directories lib, main, meta,
odyl. There are the same directories in the directory ocaml_src
where all files are equivalent.</p>
<p>When changes are done in the core files, and when the printer kit
in normal syntax 'etc/pr_o.cmo' has been created, the files of the
directory ocaml_src can be rebuilt using the command 'make
bootstrap_sources'. This updates the files in ocaml_src to exactly
reflect the ones in the core, but in pure OCaml syntax.</p>
<p>Bootstrap: the1 files in ocaml_src creates the first Camlp5
executable. The Camlp5 executable can rebuild the files in
ocaml_src.</p>
<h3>Source file q_MLast.ml bootstrapping</h3>
<p>The source file meta/q_MLast.ml (quotation of syntax trees) can be
recreated using the file meta/pa_r.ml (revised syntax). When changes
are done in the file meta/pa_r.ml, a good usage is to go to the
directory 'meta' and type:</p>
<pre>
make compare_q_MLast
</pre>
<p>This shows the possible changes that will be applied to
meta/q_MLast.ml. If they seem to be reasonable, do:</p>
<pre>
make bootstrap_q_MLast
</pre>
<p>This changes the source file meta/q_MLast.ml. After this command,
a new 'make compare_q_MLast' indicates no differences.</p>
<p>After that, a new 'make bootstrap' in the top directory ensures that
everythings works.</p>
<p>Bootstrap: the file meta/pa_r.ml uses the quotation expander
meta/q_MLast.cmo. The source file meta/q_MLast.ml is recreated by
meta/pa_r.ml.</p>
<h3>Source file q_ast.ml bootstrapping</h3>
<p>The source file meta/q_ast.ml contains another version of the
quotation expander of syntax trees which follows the current
syntax used (in normal syntax if the current syntax is used).
This works only in strict mode.</p>
<p>This file depends on the definition of the syntax tree
main/mLast.mli. When changes are done in this file, it is
possible to see what changes are impacted in meta/q_ast.ml. For
this, go to the directory 'meta' and type:</p>
<pre>
make compare_q_ast
</pre>
<p>This shows the possible changes that will be applied to
meta/q_ast.ml. If they seem to be reasonable, do:</p>
<pre>
make bootstrap_q_ast
</pre>
<p>This changes the source file meta/q_ast.ml. After this command, a
new 'make compare_q_ast' indicates no differences.</p>
<p>After that, a new 'make bootstrap' in the top directory ensures that
everythings works.</p>
<h3>Lisp and Scheme syntax bootstrapping</h3>
<p>The Lisp syntax is written in Lisp syntax in the directory etc. It
is the file 'etc/pa_lisp.ml'. To compile this file, there is another
file, named 'etc/pa_lispr.ml' written in revised syntax.</p>
<p>When changes are done in etc/pa_lisp.ml, the file etc/pa_lispr.ml
must be rebuilt. First, go to the directory 'etc' and type:</p>
<pre>
make compare_lisp
</pre>
<p>If changes seem to be reasonable, do:</p>
<pre>
make boostrap_lisp
</pre>
<p>This rebuilds 'etc/pa_lispr.ml'. A new 'make' in the directory 'etc'
will recompile it and recompile the Lisp version 'etc/pa_lisp.ml'.</p>
<p>Bootstrap: etc/pa_lispr.ml allows to compile etc/pa_lisp.ml, and
changes is etc/pa_lisp.ml are reported in the source file etc/pa_lispr.ml
through 'make bootstrap_lisp'.</p>
<p>Same for the Scheme syntax: the files are etc/pa_scheme.ml and
'etc/pa_scheme.ml'.</p>
<h3>EXTEND statement bootstrapping</h3>
<p>The EXTEND statement of Camlp5 is a syntax extension. The file
'meta/pa_extend.ml' contains the statement for the adding of this
syntax extension, therefore something like:</p>
<pre>
EXTEND
expr:
[ [ "EXTEND" .....
</pre>
<p>To be compiled, the file 'meta/pa_extend.ml' needs 'pa_extend.cmo'.
This is actually its previous version in the directory 'boot'. When
checking for a correct bootstrapping of Camlp5 (with the command
'make compare', for example), a test is done to verify that the
binary files 'meta/pa_extend.cmo' and 'boot/pa_extend.cmo' are the
same.</p>
<p>Notice that there is also a file 'ocaml_src/meta/pa_extend.ml' in
pure OCaml syntax, but, although this file is pretty printed, is is
hardly editable, because the expansion of the 'EXTEND' statement is
a very long expression rather difficult to understand. But this file
need not to be changes, since the command 'make
bootstrap_sources' (see above) rebuilts it.</p>
<div class="trailer">
</div>
</div>
</body>
</html>
|
