aboutsummaryrefslogtreecommitdiff


 
                         
generated by
                             
                                 cgit
                             
                         

                        
 


>/agda.scm
AgeCommit message (Expand)Author


2020-08-19gnu: agda: Adjust for using shared libraries....See also 9e5496e0ae0ee8f638ca93949ecca314fdb9251e.

* gnu/packages/agda.scm (agda)[arguments]: Add a phase that sets
'LD_LIBRARY_PATH'; update the 'configure' phase to match the current
Haskell build system code.
Timothy Sample