From 3dda5e5e5ee780db6a78a8f10f8be7bc409eb7d1 Mon Sep 17 00:00:00 2001
From: Dirk Pattinson <dirk.pattinson@anu.edu.au>
Date: Fri, 4 Oct 2013 15:55:52 +0200
Subject: [PATCH] added include directories

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 451a944..e366a35 100644
--- a/Makefile
+++ b/Makefile
@@ -29,7 +29,7 @@ PROGS := coalg coalgcompare
 LIBS := unix str
 SOURCESMLI := $(wildcard *.mli)
 SOURCESML := $(wildcard *.ml)
-INCS ?= -I/usr/include -I/usr/lib/ocaml -I.
+INCS ?= -I/usr/include -I/usr/lib/ocaml -I/usr/local/lib/ocaml -I.
 CXXFLAGS += -Wall -Werror $(INCS)
 LDXX ?= g++
 
-- 
GitLab