From 6b5288f195305457be81544e5a4694280dcd5108 Mon Sep 17 00:00:00 2001
From: Johann Dreo <johann.dreo@thalesgroup.com>
Date: Wed, 11 Jul 2012 13:44:43 +0200
Subject: [PATCH] build with boost by default

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

diff --git a/edo/build_gcc_linux_release b/edo/build_gcc_linux_release
index fb220d04..12e06bd0 100755
--- a/edo/build_gcc_linux_release
+++ b/edo/build_gcc_linux_release
@@ -2,6 +2,6 @@
 
 mkdir -p release
 cd release
-cmake ..
+cmake -DWITH_BOOST=1 ..
 make
 cd ..