From 2c877d0ba59e320f5d6f52706ec1d6513fcab6c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Thu, 3 Oct 2013 23:06:30 +0200
Subject: [PATCH] Add . to the include search path

Look for headers in . as well, just to make sure it works for those
having minisat-includes saved in the project directory.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 11defae..2c658d8 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
+INCS ?= -I/usr/include -I/usr/lib/ocaml -I.
 CXXFLAGS += -Wall -Werror $(INCS)
 LDXX ?= g++
 
-- 
GitLab