From de50f6625746928711d7fb7f0fa579d194931970 Mon Sep 17 00:00:00 2001 From: Dirk Hohndel Date: Sat, 18 May 2013 09:44:54 -0700 Subject: Work around broken Marble on Debian This is a major hack. Debian appears to be missing a necessary header file for Marble to work correctly. We include this header file for now and hack the Configure process to recognize that we are on Debian and force using our local copy of the header file in that case. This may be needed on Ubuntu as well. Signed-off-by: Dirk Hohndel --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index d5b0ca84a..afcb274c7 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ VERSION=3.1 CC=gcc CFLAGS=-Wall -Wno-pointer-sign -g $(CLCFLAGS) -DGSEAL_ENABLE CXX=g++ -CXXFLAGS=-Wall -g $(CLCXXFLAGS) -DQT_NO_KEYWORDS +CXXFLAGS=-Wall -g $(CLCXXFLAGS) $(MARBLEFLAGS) INSTALL=install # these locations seem to work for SuSE and Fedora -- cgit v1.2.3-70-g09d2