diff options
author | Sébastien Hinderer <seb@tarides.com> | 2022-10-19 18:03:36 +0200 |
---|---|---|
committer | Sébastien Hinderer <seb@tarides.com> | 2022-12-12 10:30:29 +0100 |
commit | c12b73a741abe94b4725020ee6fe87444ab43bf6 (patch) | |
tree | f119d808c401b752ee1037e0595486be15ffe88a /tools | |
parent | 2c05ae220ca18ab8b3e2176dbae3343354e08bc3 (diff) | |
download | ocaml-c12b73a741abe94b4725020ee6fe87444ab43bf6.tar.gz |
tools/Makefile: simplify the way the list of include directories is computed
Diffstat (limited to 'tools')
-rw-r--r-- | tools/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/Makefile b/tools/Makefile index 52623f9b94..a5ca75537e 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -246,7 +246,7 @@ LINTAPIDIFF=$(ROOTDIR)/compilerlibs/ocamlcommon.cmxa \ $(ROOTDIR)/otherlibs/str/str.cmxa \ lintapidiff.cmx -lintapidiff.opt$(EXE): INCLUDES+= -I $(ROOTDIR)/otherlibs/str +lintapidiff.opt$(EXE): VPATH += $(ROOTDIR)/otherlibs/str lintapidiff.opt$(EXE): $(LINTAPIDIFF) $(CAMLOPT_CMD) $(LINKFLAGS) -o $@ $^ clean:: @@ -289,7 +289,7 @@ ocamltex := ocamltex$(EXE) # configuration. $(ocamltex): CAMLC = $(OCAMLRUN) $(ROOTDIR)/ocamlc$(EXE) $(STDLIBFLAGS) $(ocamltex): OC_COMMON_LDFLAGS += -linkall -$(ocamltex): INCLUDES += $(addprefix -I $(ROOTDIR)/otherlibs/,str unix) +$(ocamltex): VPATH += $(addprefix $(ROOTDIR)/otherlibs/,str unix) $(ocamltex): $(ocamltex_files) $(CAMLC) $(OC_COMMON_LDFLAGS) $(OC_BYTECODE_LDFLAGS) -o $@ $^ |