diff options
| author | Alasdair Armstrong | 2017-10-31 17:16:47 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-10-31 17:16:47 +0000 |
| commit | a82fcc52ee1145f61698ea7e71141ebd76ff04d2 (patch) | |
| tree | fc6abfc1e9c708fc61cb13c35eaca7aa069ae680 /lib/ocaml_rts/Makefile | |
| parent | 9767dedc63482b77eec644c6e68d06310cbbd521 (diff) | |
Improvements to register read tracing in ocaml backend
Diffstat (limited to 'lib/ocaml_rts/Makefile')
| -rw-r--r-- | lib/ocaml_rts/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/ocaml_rts/Makefile b/lib/ocaml_rts/Makefile index eee59dd7..3d837e25 100644 --- a/lib/ocaml_rts/Makefile +++ b/lib/ocaml_rts/Makefile @@ -53,7 +53,7 @@ import: rsync -rv --include "*/" --include="*.ml" --include="*.mli" --exclude="*" $(BITBUCKET_ROOT)/lem/ocaml-lib/ lem main: import - ocamlbuild -pkg uint -pkg zarith main.native + ocamlbuild -pkg uint -pkg zarith main.native -use-ocamlfind clean: rm -r linksem |