From cac8acf0c35aa7a641ff104d816c3f15f8421620 Mon Sep 17 00:00:00 2001
From: Johann Dreo <johann.dreo@thalesgroup.com>
Date: Tue, 24 Jul 2012 11:47:46 +0200
Subject: [PATCH] build with eigen by default

---
 edo/build_gcc_linux_debug | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/edo/build_gcc_linux_debug b/edo/build_gcc_linux_debug
index 74b2b6d2..ea754f9b 100755
--- a/edo/build_gcc_linux_debug
+++ b/edo/build_gcc_linux_debug
@@ -2,6 +2,6 @@
 
 mkdir -p debug
 cd debug
-cmake -DCMAKE_BUILD_TYPE=Debug -DWITH_BOOST=1 ..
+cmake -DCMAKE_BUILD_TYPE=Debug -DWITH_EIGEN=1 ..
 make
 cd ..