Commit Graph

37 Commits

Author SHA1 Message Date
R. Ryantm
e66cf9c6c8 elan: 1.4.0 -> 1.4.1 2022-04-24 14:14:48 -04:00
R. Ryantm
ae6932e7b9 elan: 1.3.1 -> 1.4.0 2022-04-13 20:56:11 -04:00
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
figsoda
2448ef4630 elan: use buildFeatures 2021-11-16 08:11:49 -05:00
Sebastian Ullrich
f8bbc587eb elan: wrap embedded linker 2021-11-15 17:10:04 +01:00
R. Ryantm
14ee52edff elan: 1.3.0 -> 1.3.1
(cherry picked from commit 4cb7820ac9)
2021-11-03 10:51:13 +01:00
Gabriel Ebner
f13aa788e1 elan: 1.2.0 -> 1.3.0 2021-11-01 13:37:56 +01:00
Smaug123
925ab444c9 elan: 1.1.0 -> 1.2.0
The move to 1.1.0 broke Darwin: the patch introduced during that move
is also required on Darwin, but is hidden behind a Linux-specific
optional. The patch has since made it upstream, so the easiest fix
is simply to upgrade Elan.
2021-10-31 21:41:38 +00:00
Gabriel Ebner
9044534a8d elan: 1.0.7 -> 1.1.0 2021-10-09 20:06:10 +02:00
R. RyanTM
b1868a8296 elan: 1.0.6 -> 1.0.7 2021-08-17 03:53:13 +00:00
R. RyanTM
15c278930c elan: 1.0.2 -> 1.0.6 2021-05-26 05:44:59 +00:00
Stéphan Kochen
acf640be7b elan: fix darwin build 2021-05-15 12:02:46 +02:00
R. RyanTM
e99e9f2d47 elan: 1.0.0 -> 1.0.2 2021-04-29 00:04:34 -04:00
R. RyanTM
32cb3382e5 elan: 0.11.0 -> 1.0.0 2021-04-27 22:32:13 +02: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
Jonathan Ringer
9bb3fccb5b treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
continuation of #109595

pkgconfig was aliased in 2018, however, it remained in
all-packages.nix due to its wide usage. This cleans
up the remaining references to pkgs.pkgsconfig and
moves the entry to aliases.nix.

python3Packages.pkgconfig remained unchanged because
it's the canonical name of the upstream package
on pypi.
2021-01-19 01:16:25 -08:00
R. RyanTM
e776f923e4 elan: 0.10.2 -> 0.10.3 2021-01-18 15:20:28 +00:00
R. RyanTM
748e2fcf6c elan: 0.10.0 -> 0.10.2 2020-05-19 05:02:43 +00:00
Gabriel Ebner
115fa1c129 elan: 0.9.0 -> 0.10.0 2020-05-08 17:17:03 +02:00
Gabriel Ebner
f6f5f6a30f elan: 0.8.0 -> 0.9.0 2020-05-07 15:35:13 +02:00
Gabriel Ebner
8428f5bb4a elan: v0.8.0 tag was force-pushed by upstream 2020-03-06 15:35:37 +01:00
Gabriel Ebner
70e5428d66 elan: 0.7.5 -> 0.8.0 2020-03-06 14:28:36 +01:00
Benjamin Hipple
ed85c9981a elan: upgrade cargo fetcher and cargoSha256
Infra upgrade as part of #79975; ran `nixpkgs-review wip` successfully.
2020-02-19 18:17:27 -05:00
Benjamin Hipple
eb11feaa0b treewide: change fetchCargoTarball default to opt-out
Changes the default fetcher in the Rust Platform to be the newer
`fetchCargoTarball`, and changes every application using the current default to
instead opt out.

This commit does not change any hashes or cause any rebuilds. Once integrated,
we will start deleting the opt-outs and recomputing hashes.

See #79975 for details.
2020-02-13 22:41:37 -08:00
Alyssa Ross
7887a81193
treewide: fix cargoSha256 (again)
cargo-vendor output was changed in a4fc84de44.
2019-12-20 20:08:53 +00:00
volth
7bb6b373ab treewide: name -> pname (#67513) 2019-08-31 07:41:22 -04:00
Alyssa Ross
062210bdff treewide: update cargoSha256 hashes for cargo-vendor upgrade
A recent upgrade of cargo-vendor changed its output slightly, which
broke all cargoSha256 hashes in nixpkgs.
See https://github.com/NixOS/nixpkgs/issues/60668 for more information.

Since then, a few hashes have been fixed in master by hand, but there
were a lot still to do, so I did all of the ones left over with some
scripts I wrote.

The one hash I wasn’t able to update was habitat's, because it’s
currently broken and the build doesn’t get far enough to produce a
hash anyway.
2019-06-01 15:17:52 +00:00
Gabriel Ebner
11318d1ba2 elan: 0.7.4 -> 0.7.5 2019-03-22 11:16:44 +01:00
Gabriel Ebner
52c3ee6c4d elan: 0.7.2 -> 0.7.4 2019-03-20 13:33:24 +01:00
Gabriel Ebner
49db581e8c elan: 0.7.1 -> 0.7.2 2019-01-15 10:05:45 +01:00
Gabriel Ebner
0a7e258012 elan: 0.5.0 -> 0.7.1 2018-10-04 16:33:36 +02:00
volth
52f53c69ce pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
Gabriel Ebner
0db951db83 elan: 0.3.2 -> 0.5.0 2018-05-14 09:40:13 +02:00
Gabriel Ebner
9df0c12cde elan: 0.3.0 -> 0.3.2 2018-04-13 09:28:28 +02:00
Gabriel Ebner
99ee7fd311 elan: add leanchecker proxy 2018-04-11 19:08:22 +02:00
Gabriel Ebner
a378389ac2 elan: 0.1.0 -> 0.3.0 2018-04-11 18:05:15 +02:00
Gabriel Ebner
a14ae55c04 elan: init at 0.1.0 2018-04-10 18:38:45 +02:00