-# PLEASE DO NOT MODIFY configure.in FILE
-# ALL CHANGES WILL BE DISCARDED BY THE NEXT
-# build_configure COMMAND
-# CHANGES MUST BE MADE IN configure.in.base FILE
-# Author : Marc Tajchman (CEA)
-# Date : 28/06/2001
-# Modified by : Patrick GOLDBRONN (CEA)
-# Modified by : Marc Tajchman (CEA)
-# Created from configure.in.base