File tree Expand file tree Collapse file tree 1 file changed +9
-0
lines changed Expand file tree Collapse file tree 1 file changed +9
-0
lines changed Original file line number Diff line number Diff line change @@ -29,6 +29,7 @@ cmake_dependent_option(
2929  "EXT_READLINE" 
3030  OFF 
3131)
32+ mark_as_advanced (EXT_READLINE_LIBREADLINE)
3233
3334add_feature_info(
3435  "ext/readline with GNU Readline" 
@@ -115,6 +116,14 @@ if(NOT EXT_READLINE_LIBREADLINE)
115116    )
116117  cmake_pop_check_state()
117118else ()
119+   message (
120+     WARNING
121+     "The GNU Readline library is licensed under the GNU GPL 3, which is not " 
122+     "compatible with the PHP license. The recommended library for using and " 
123+     "distributing the PHP 'readline' extension without limitations is libedit. " 
124+     "To build with libedit, remove the 'EXT_READLINE_LIBREADLINE', or set it " 
125+     "to 'OFF'." 
126+   )
118127  find_package (Readline)
119128  set_package_properties(
120129    Readline
    
 
   
 
     
   
   
          
     
  
    
     
 
    
      
     
 
     
    You can’t perform that action at this time.
  
 
    
  
     
    
      
        
     
 
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments