 
            
            
            
            
                20 Oct
                
                    2014
                
            
            
                20 Oct
                
                '14
                
            
            
            
        
    
                5:32 a.m.
            
        mk/config.mk contains GhcDynamic and DYNAMIC_GHC_PROGRAMS variables. What is the difference between them? From the names and comments, it looks like DYNAMIC_GHC_PROGRAMS controls whether all the GHC binaries will be static or dynamically linked, but GhcDynamic only controls the GHC executable?