Skip to content
Snippets Groups Projects
Commit 077d5c74 authored by Thomas Wood's avatar Thomas Wood
Browse files

Enable building *.cmt files for editor extensions (merlin)

parent 53d7d13e
No related branches found
No related tags found
No related merge requests found
...@@ -19,16 +19,16 @@ all: main.byte ...@@ -19,16 +19,16 @@ all: main.byte
debug: main.d.byte debug: main.d.byte
%.byte: *.ml %.byte: *.ml _tags
$(OCAMLBUILD) $@ $(OCAMLBUILD) $@
native: native: _tags
$(OCAMLBUILD) main.native $(OCAMLBUILD) main.native
stdlib: stdlib:
$(CC) stdlib_ml/stdlib.mli $(CC) stdlib_ml/stdlib.mli
%.inferred.mli: %.inferred.mli: _tags
$(OCAMLBUILD) $@ $(OCAMLBUILD) $@
cp _build/$@ . cp _build/$@ .
......
true: package(str) true: package(str)
# Generate cmt type information files
true: bin_annot
<parsing>: include <parsing>: include
<typing>: include <typing>: include
<utils>: include <utils>: include
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment