ocaml-piqilib-fix-makefile.patch
| 1 | From 336e69d6882a1b8d725c43f1c2e340ef4464bac5 Mon Sep 17 00:00:00 2001 |
| 2 | From: Julien Lepiller <julien@lepiller.eu> |
| 3 | Date: Sat, 31 Dec 2016 11:21:14 +0100 |
| 4 | Subject: [PATCH] fix OCAMLPATH in makefile |
| 5 | |
| 6 | --- |
| 7 | Makefile | 2 +- |
| 8 | make/Makefile.ocaml | 3 ++- |
| 9 | 2 files changed, 3 insertions(+), 2 deletions(-) |
| 10 | |
| 11 | diff --git a/Makefile b/Makefile |
| 12 | index 4db87da..9315887 100644 |
| 13 | --- a/Makefile |
| 14 | +++ b/Makefile |
| 15 | @@ -23,7 +23,7 @@ OCAMLFIND_DESTDIR := $(shell cygpath -w $(OCAMLFIND_DESTDIR)) |
| 16 | endif |
| 17 | export OCAMLFIND_DESTDIR |
| 18 | |
| 19 | -OCAMLPATH := $(PIQI_ROOT)/deps |
| 20 | +OCAMLPATH := $(OCAMLPATH):$(PIQI_ROOT)/deps |
| 21 | ifeq ($(SYSTEM),$(filter $(SYSTEM),mingw mingw64)) |
| 22 | OCAMLPATH := $(shell cygpath -w $(OCAMLPATH)) |
| 23 | endif |
| 24 | diff --git a/make/Makefile.ocaml b/make/Makefile.ocaml |
| 25 | index 2b6324d..b82c041 100644 |
| 26 | --- a/make/Makefile.ocaml |
| 27 | +++ b/make/Makefile.ocaml |
| 28 | @@ -1,7 +1,7 @@ |
| 29 | OCAMLMAKEFILE := $(PIQI_ROOT)/make/OCamlMakefile |
| 30 | |
| 31 | |
| 32 | -OCAMLPATH := $(PIQI_BUILD)/lib/ocaml |
| 33 | +OCAMLPATH := $(OCAMLPATH):$(PIQI_BUILD)/lib/ocaml |
| 34 | ifeq ($(SYSTEM),$(filter $(SYSTEM),mingw mingw64)) |
| 35 | OCAMLPATH := $(shell cygpath -w $(OCAMLPATH)) |
| 36 | endif |
| 37 | @@ -23,6 +23,7 @@ post_target:: |
| 38 | |
| 39 | |
| 40 | .ml.mli: $(EXTRADEPS) |
| 41 | + echo $(OCAMLPATH) |
| 42 | $(QUIET)pp=`sed -n -e '/^#/d' -e 's/(\*pp \([^*]*\) \*)/\1/p;q' $<`; \ |
| 43 | if [ -z "$$pp" ]; then \ |
| 44 | $(ECHO) $(REAL_OCAMLFIND) $(INTF_OCAMLC) $(OCAML_FIND_PACKAGES) \ |
| 45 | -- |
| 46 | 2.11.0 |
| 47 | |
| 48 |