4 commits

Author	SHA1	Message	Date
Sebastian Ullrich	b20024dd3a	elan: set LEAN_CC to stdenv cc ... This ensures that `leanc` understands cc-wrapper vars such as `NIX_LDFLAGS`	2021-12-19 17:27:10 +01:00
Sebastian Ullrich	f8bbc587eb	elan: wrap embedded linker	2021-11-15 17:10:04 +01:00
Gabriel Ebner	f13aa788e1	elan: 1.2.0 -> 1.3.0	2021-11-01 13:37:56 +01:00
Gabriel Ebner	0661cf4882	elan: 0.10.3 -> 0.11.0 ... Also adapt the patchelf patch from rustup, since Lean 4 now dynamically links to gmp.	2021-03-26 19:16:33 +01:00