aboutsummaryrefslogtreecommitdiff


 
                         
generated by
                             
                                 cgit
                             
                         

                        
 


ckages/idris.scm?id=dd94c3d34008a29a1e05bdc43bb81ef9378f2613'>idris.scm
AgeCommit message (Expand)Author


2021-01-20gnu: idris: Update to 1.3.3....* gnu/packages/patches/idris-disable-test.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/idris.scm (idris): Update to 1.3.3.
[source]: Use the patch.
[native-inputs]: Add ghc-cheapskate.
[arguments]: Adjust cheapskate version bounds.  Make auxiliary test script
executable.
Eric Bavier


2020-08-29gnu: idris: Fix for Haskell build system changes....See also 9e5496e0ae0ee8f638ca93949ecca314fdb9251e and
718dc7d4a5e5d26cac80c79d78535677e0379dc8.

* gnu/packages/idris.scm (idris)[arguments]: Add a phase that sets
'LD_LIBRARY_PATH', and one that restores the 'libidris_rts.a'
library back to the default output.
Timothy Sample


2020-03-09gnu: idris: Use HTTPS home page....* gnu/packages/idris.scm (idris)[home-page]: Use HTTPS.
Tobias Geerinckx-Rice