From da437bb6a9d35d06ac96c95f826df7104170a0dc Mon Sep 17 00:00:00 2001
From: Denys Duchier <denys.duchier@univ-orleans.fr>
Date: Tue, 30 Aug 2011 15:58:49 +0200
Subject: [PATCH] don't leave pickles in source directory

---
 .gitignore                 | 3 ++-
 library/gecode/Makefile.in | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index fc1b2a50a..f30fde5d9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,4 +9,5 @@
 *.o
 *.so
 *.dylib
-docs/yap.info*
\ No newline at end of file
+docs/yap.info*
+.build
diff --git a/library/gecode/Makefile.in b/library/gecode/Makefile.in
index 0ae3ef8a8..37e7ef294 100644
--- a/library/gecode/Makefile.in
+++ b/library/gecode/Makefile.in
@@ -44,7 +44,7 @@ SOBJS=gecode_yap.@SO@
 
 CODEGEN=$(srcdir)/code-generator.py
 DISJUNCTOR = -DDISJUNCTOR
-PYTHON = @PYTHON@
+PYTHON = @PYTHON@ -B
 export PYTHONPATH:=$(srcdir):$(PYTHONPATH)
 
 all: $(SOBJS) gecode.yap