Fix commit f48cc395ebecc84d865ab551a672d2a2358624e5

[simgrid.git] / buildtools / Cmake / Pipol.cmake

diff --git a/buildtools/Cmake/Pipol.cmake b/buildtools/Cmake/Pipol.cmake
index 22151fc..75b4e9c 100644 (file)
--- a/buildtools/Cmake/Pipol.cmake
+++ b/buildtools/Cmake/Pipol.cmake
@@ -8,17 +8,17 @@ IF(pipol_user)
 
        set(CMAKE_OPTIONS "     -Wno-dev")
        
-       if(custom_flags)
-       set(CMAKE_OPTIONS "${CMAKE_OPTIONS}     -Dcustom_flags=${custom_flags}")
-       endif(custom_flags)
-       
        if(with_context)
        set(CMAKE_OPTIONS "${CMAKE_OPTIONS}     -Dwith_context=${with_context}")
        endif(with_context)
        
        if(enable_smpi)
        set(CMAKE_OPTIONS "${CMAKE_OPTIONS}     -Denable_smpi=on")
-       endif(enable_smpi)      
+       endif(enable_smpi)
+       
+       if(enable_lua)
+       set(CMAKE_OPTIONS "${CMAKE_OPTIONS}     -Denable_lua=on")
+       endif(enable_lua)       
        
        if(enable_compile_optimizations)
        set(CMAKE_OPTIONS "${CMAKE_OPTIONS}     -Denable_compile_optimizations=on")