if (LEDA_INCLUDE_DIR AND LEDA_LIBRARIES ) 
   
  set(LEDA_FOUND TRUE)
  
else()  
  
  find_path(LEDA_INCLUDE_DIR 
            NAMES "LEDA/basic.h" "LEDA/system/basic.h"
            PATHS ENV LEDA_INC_DIR
            DOC "The directory containing the LEDA header files WITHOUT the LEDA prefix"
          )
          
  find_library(LEDA_LIBRARIES NAMES "leda"
                PATHS ENV LEDA_LIB_DIR
                DOC "Path to the LEDA library"
              )
              
  if ( NOT LEDA_INCLUDE_DIR )
    set( LEDA_INCLUDE_DIR   "$ENV{LEDA_INC_DIR}" CACHE FILEPATH "The directory containing the LEDA header files WITHOUT the LEDA prefix" FORCE )
  endif()
    
  if ( NOT LEDA_LIBRARIES )
    set( LEDA_LIBRARIES  "$ENV{LEDA_LIBRARIES}"  CACHE FILEPATH "The LEDA libraries" FORCE )
  endif()

  if ( NOT LEDA_DEFINITIONS )
    set( LEDA_DEFINITIONS "$ENV{LEDA_DEFINITIONS}" CACHE STRING   "Definitions for the LEDA library" FORCE )
  endif()  
  
  if ( NOT LEDA_CXX_FLAGS )
    set( LEDA_CXX_FLAGS "$ENV{LEDA_CXX_FLAGS}" CACHE STRING   "Compiler flags for the LEDA library" FORCE )
  endif()  
  
  if ( NOT LEDA_LINERFLAGS )
    set( LEDA_LINKER_FLAGS "$ENV{LEDA_LINKER_FLAGS}" CACHE STRING   "Linker flags for the LEDA library" FORCE )
  endif()  
  
  if ( NOT "$ENV{LEDA_VERSION}" STREQUAL "" )
    set( CGAL_LEDA_VERSION "$ENV{LEDA_VERSION}" CACHE STRING   "The version of the LEDA library" FORCE )
  endif()
  
  if ( CGAL_LEDA_VERSION )
    set( LEDA_DEFINITIONS "${LEDA_DEFINITIONS}" "-DLEDA_VERSION=${CGAL_LEDA_VERSION}" "-DCGAL_LEDA_VERSION=${CGAL_LEDA_VERSION}" CACHE STRING "Definitions for the LEDA library" FORCE )
  endif()
  
  if ( LEDA_INCLUDE_DIR AND LEDA_LIBRARIES)
    set(LEDA_FOUND TRUE)
  endif()
  
endif()