devel/gecode/files/patch-Makefile.in


1
2
3
4
5
6
7
8
9
10
11
12
13

--- Makefile.in.orig	2016-10-23 12:09:24 UTC
+++ Makefile.in
@@ -851,8 +851,8 @@ endif
 #
 
 
-INTEXAMPLEHDR0 =						\
-	scowl
+# INTEXAMPLEHDR0 =						\
+# 	scowl
 INTEXAMPLESRC0 =						\
 	alpha bacp bibd donald efpa eq20 golomb-ruler		\
 	graph-color grocery ind-set magic-sequence magic-square	\