26 Commits

Author SHA1 Message Date
Nathanaël Courant
641e1d22b3 Break dependency loop in Makefile 2021-02-15 17:40:34 +01:00
Nathanaël Courant
4caff306bd Add makefile for make_opcodes 2021-02-15 15:59:07 +01:00
Gabriel Scherer
19255bce2c split the test file into several testfiles 2020-12-12 12:04:37 +01:00
Gabriel Scherer
c61d94ed0e turn hello.ml into a more convenient test
Now you can run

    make compiler-test

from the root of the repository to run hello.ml, and compare its
output to a version-controlled reference output.

If the output changes for good reasons, you can update the reference
file with

    make compiler-test-promote

Note: it may sound unpleasant to version-control program-generated
outputs, but in fact (as long as those outputs are kept
human-readable) this is an excellent idea for testing: it means that
any change to the testing output will be part of the commits/diffs,
making it easier for reviewers to understand the impact of a change.
2020-12-11 18:42:18 +01:00
Gabriel Scherer
13f0fd4c5d Makefile: track dependencies to avoid reconfiguring ocaml-src all the time 2020-12-11 13:18:34 +01:00
Nathanaël Courant
74bdd147aa Move interpreter to its own folder 2020-11-30 16:31:12 +01:00
Gabriel Scherer
8670dcae7a add a minimal test framework 2020-11-24 14:38:53 +01:00
Gabriel Scherer
7309b8a8a3 [minor] improve Makefile 'run' target 2020-11-24 14:38:53 +01:00
Gabriel Scherer
9e0f247eec Makefile: use ocaml-src/stdlib rather than (ocamlc -where)
This is necessary to get the Format fixes to un-break the bootstrap.
2020-11-24 14:38:53 +01:00
Gabriel Scherer
f92d987a7c Makefile: add RUNARGS variable for 'run' target 2020-11-24 14:38:53 +01:00
Gabriel Scherer
db8f1d088b Makefile: 'run' target for quick testing (and documentation of environment variables) 2020-11-24 14:38:53 +01:00
Gabriel Scherer
9cb0563c96 Make the apply_ref forward-reference more local 2020-11-24 14:38:21 +01:00
Gabriel Scherer
1b122ba961 primitives: proper treatment of exceptions raised by primitives 2020-11-24 14:38:21 +01:00
Gabriel Scherer
52d0350bb3 move part of interp.ml into a new eval.ml file 2020-11-24 14:38:21 +01:00
Gabriel Scherer
0094228128 split the code in several modules 2020-11-24 14:38:21 +01:00
Gabriel Scherer
362f4c1948 use ocamlformat for formatting 2020-11-24 14:37:00 +01:00
Gabriel Scherer
baef4b8807 use environment variables instead of hardcoded filesystem paths 2020-11-24 14:37:00 +01:00
Gabriel Scherer
e978122afe Makefile: remove -annot, add a clean target 2020-11-24 14:37:00 +01:00
Ekdohibs
3fff42d128 Fix copy of byterun 2019-06-19 11:54:18 +02:00
Ekdohibs
0a365052bb Fix Makefile to compile dependencies 2019-06-12 14:03:42 +02:00
Ekdohibs
f3cdf68f11 Fix incorrect location of dynlink.mli in Makefile 2019-06-12 13:54:40 +02:00
Ekdohibs
0f7df4fd14 Fix a few errors in the ocamlc compile script 2019-06-08 22:13:35 +02:00
Ekdohibs
1c0c729c96 Add script to compile ocamlc 2019-06-08 16:43:41 +02:00
Gabriel Scherer
0385b37172 fix minor Makefile bug 2019-06-01 17:45:53 +02:00
Ekdohibs
63223672bf Allow compilation with ocamlopt 2018-09-23 21:34:49 +02:00
Ekdohibs
cdf32f1b47 Able to compile stdlib, and probably compiler itself 2018-09-23 21:28:44 +02:00