Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

Make target for bytecode

  • Loading branch information...
commit 98145ff035df52fcbc2aaadb95f041162b1c1087 1 parent dcd1ac5
Andrej Bauer authored November 08, 2012

Showing 2 changed files with 9 additions and 2 deletions. Show diff stats Hide diff stats

  1. 7  Makefile
  2. 4  README.markdown
7  Makefile
... ...
@@ -1,6 +1,11 @@
1  
-all:
  1
+default: native
  2
+
  3
+native:
2 4
 	ocamlbuild -lib unix -use-menhir tt.native
3 5
 
  6
+byte:
  7
+	ocamlbuild -lib unix -use-menhir tt.byte
  8
+
4 9
 clean:
5 10
 	ocamlbuild -clean
6 11
 
4  README.markdown
Source Rendered
@@ -15,9 +15,11 @@ The hierarchy of universes is not commulative, i.e., even though `Type k` has ty
15 15
 
16 16
 ## Compilation
17 17
 
18  
-You need `ocamlbuild`, which is part of OCaml, `menhir`, and `make`. You can type
  18
+You need `ocamlbuild`, which is part of OCaml, the `menhir` parser generator, and `make`.
  19
+You can type
19 20
 
20 21
 * `make` to make the `tt.native` executable.
  22
+* `make byte` to make the bytecode `tt.byte` executable.
21 23
 * `make clean` to clean up.
22 24
 * `make doc` to generate HTML documentation (see the generated `tt.docdir/index.html`).
23 25
 

0 notes on commit 98145ff

Please sign in to comment.
Something went wrong with that request. Please try again.