From 539de799a18df6a4d2ce90245252aa3729d86427 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Wed, 27 Apr 2016 14:42:50 +0100 Subject: [PATCH] fix call to `ocaml install.ml` in Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 07639e816..28998046d 100644 --- a/Makefile +++ b/Makefile @@ -27,7 +27,7 @@ all: $(SETUP) $(MAKE) $(NAME).install $(NAME).install: install.ml setup.log setup.data - ocaml install.ml + ocaml -I "$(OCAML_TOPLEVEL_PATH)" install.ml install: $(NAME).install opam-installer -i --prefix $(PREFIX) $(NAME).install