diff options
Diffstat (limited to 'lib/ocaml_rts/Makefile')
| -rw-r--r-- | lib/ocaml_rts/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/ocaml_rts/Makefile b/lib/ocaml_rts/Makefile index 3d837e25..52b8841b 100644 --- a/lib/ocaml_rts/Makefile +++ b/lib/ocaml_rts/Makefile @@ -50,7 +50,6 @@ all: main import: rsync -rv --include "*/" --include="*.ml" --include="*.mli" --exclude="*" $(BITBUCKET_ROOT)/linksem/src/ linksem - rsync -rv --include "*/" --include="*.ml" --include="*.mli" --exclude="*" $(BITBUCKET_ROOT)/lem/ocaml-lib/ lem main: import ocamlbuild -pkg uint -pkg zarith main.native -use-ocamlfind |