From 04f0a4bb736fc50f04f2f9fae3ef01422df56fd7 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Tue, 6 Sep 2011 21:18:30 +0200 Subject: [PATCH] fix Makefile.in for minisat. --- packages/swi-minisat2/C/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/swi-minisat2/C/Makefile.in b/packages/swi-minisat2/C/Makefile.in index 0b9c11f05..c1f5f9601 100644 --- a/packages/swi-minisat2/C/Makefile.in +++ b/packages/swi-minisat2/C/Makefile.in @@ -22,7 +22,7 @@ YAPLIBDIR=@libdir@/Yap DEFS=@DEFS@ -D_YAP_NOT_INSTALLED_=1 CC=@CC@ CXX=@CXX@ -CXXFLAGS= @SHLIB_CXXFLAGS@ $(YAP_EXTRAS) $(DEFS) -I$(srcdir) -I../../.. -I$(srcdir)/../../../include @CPPFLAGS@ +CXXFLAGS= @SHLIB_CXXFLAGS@ $(YAP_EXTRAS) $(DEFS) -I$(srcdir) -I../../.. -I$(srcdir)/../../../os -I$(srcdir)/../../../include @CPPFLAGS@ LDFLAGS=@LDFLAGS@ # #