From a5d62cae67cbc171a813fcb04db10306722df178 Mon Sep 17 00:00:00 2001 From: ygrek Date: Mon, 16 Jul 2018 15:19:53 -0700 Subject: [PATCH] fix build with clang --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index e024a6e..569723a 100644 --- a/Makefile +++ b/Makefile @@ -36,7 +36,7 @@ all: $(ARCHIVE) allopt: $(XARCHIVE) depend: *.c *.ml *.mli - gcc -MM *.c > depend + gcc -I $(shell $(OCAMLFIND) query stdlib) -MM *.c > depend $(OCAMLDEP) *.mli *.ml >> depend ## Library creation -- 2.11.4.GIT