diff options
-rw-r--r-- | flake.nix | 2 | ||||
-rw-r--r-- | racket-env.nix | 810 |
2 files changed, 414 insertions, 398 deletions
@@ -22,7 +22,7 @@ inherit system; overlays = [(import rust-overlay)]; }; - toolchain = pkgs.rust-bin.fromRustupToolchain (builtins.fromTOML (builtins.readFile ./src/rust-toolchain.toml)).toolchain // {profile = "minimal";}; + toolchain = pkgs.rust-bin.fromRustupToolchain ((builtins.fromTOML (builtins.readFile ./src/rust-toolchain.toml)).toolchain // {profile = "minimal";}); craneLib = crane.lib.${system}.overrideToolchain toolchain; tex = pkgs.texlive.combine { inherit diff --git a/racket-env.nix b/racket-env.nix index 57c94a6..e201dbf 100644 --- a/racket-env.nix +++ b/racket-env.nix @@ -1,410 +1,426 @@ {pkgs ? import <nixpkgs> {}, ...}: let inherit (pkgs) fetchurl fetchgit; + racket = pkgs.racket-minimal.overrideAttrs {disableDocs = true;}; + racketPkgs = [ + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/2d-lib.zip"; + hash = "sha256-ww55SdKLMzRGAqZ/oD16kqI5CKV2ZngF2HF6ZWFjJuc="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/at-exp-lib.zip"; + hash = "sha256-sXQclvE04pAZQ/4+cCHdvleyY4vtsqTf6FiiELHRMWc="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/cext-lib.zip"; + hash = "sha256-VfTX7zrI5v+5CLvsOoRKsluEZmWFcohgHAkIe8gmSaQ="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/class-iop-lib.zip"; + hash = "sha256-fK0IYDNzavtTgQL6Md4fQ3RciVSIs8y3JZ4croHjmt4="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/compatibility-doc.zip"; + hash = "sha256-M6+d9lEDTz8g4FDDZVc3IwAJocmfsrRkyWOpDt83vx4="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/compatibility-lib.zip"; + hash = "sha256-/PKFC2Y241HQ3xEwwmFtraq/2H8nnAg6Fb+qq7ISD6E="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/compiler-lib.zip"; + hash = "sha256-4LoHG01k0uXk8Vwnk5vT28fzMLpy2xU1s5GBISA4WkE="; + }) + (fetchgit { + url = "https://github.com/rmculpepper/custom-load.git"; + rev = "4e70205c29ab0672663fcae78ded32563f01414b"; + hash = "sha256-7+bNCqE2CXVCujQQ7zSRwmLfzisugKZju3cxHFLW1FY="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/data-doc.zip"; + hash = "sha256-gZ7katgLH0QVy/HIU59J0PQ6fdPc3wNGxB/qJcZ4KEM="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/data-enumerate-lib.zip"; + hash = "sha256-FGkam9SrD4Kbtp5xSrkUpGHETdEPhjbA0oIo+/v81Ao="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/data-lib.zip"; + hash = "sha256-aV6MUFMX+52VTfXLVHcTE4pDfpBNa/YtiFfOxtDIExQ="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/db-doc.zip"; + hash = "sha256-VQ8BikIWxt2F03Ezgj7b+jN/9GgHm1Gsk/BOn7jNxbw="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/db-lib.zip"; + hash = "sha256-dHrEGLC1lTtY5LxzctJLidc2Ui5WYyvzPxAWUB0dXMU="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/distributed-places-doc.zip"; + hash = "sha256-GOmVZ3epPYyYiGiixET4Dy+Mkj9dqHyLLmhUkHsRsuE="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/distributed-places-lib.zip"; + hash = "sha256-J5l5xXl5RWE+897HZ6pL7qDGvA/GIwetKbnIy7C9KBE="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/draw-doc.zip"; + hash = "sha256-N7UlNM4UL6bz2euaF+BudiDsmodtSi8JsJmHFFnkqaw="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/draw-lib.zip"; + hash = "sha256-0VDXpqq9OHi84f0xeM4kimTKhWTtC8BNKssngMHTI58="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/dynext-lib.zip"; + hash = "sha256-MM2wV5NF6g+++zznGFq+KY/adBmvlro9kde6zgYsJxU="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/errortrace-doc.zip"; + hash = "sha256-ryeOgts9TrbPHHAG3phb+y3dfXb8QyXMYEDmmqkpU8E="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/errortrace-lib.zip"; + hash = "sha256-7z8tK5dUMy0/70+2xp2ZaBkg5AZ0LyXZoa3+CedZ/q0="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/future-visualizer.zip"; + hash = "sha256-EKjwHb5N37oLVx6FhfwEbCGe0xGTx9SjE/NS+u670DE="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/future-visualizer-pict.zip"; + hash = "sha256-Ce/POR3foY65N5l/WYX4kZnqFHNDKhRRrQ8bGUo0dhM="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/gui-doc.zip"; + hash = "sha256-HfqLlJHAcGaAc/NYRlYO/RrSeBXjXxFWGevSNR+PEdU="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/gui-lib.zip"; + hash = "sha256-Bhdx/XIxeIzpd4FeIkKYVItyXRvFydF7z1Xl5UQcNMs="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/icons.zip"; + hash = "sha256-NOAONfoZdGXgC0svTfbhGdCh05SYXQvDL2oC3VKNe50="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/images-gui-lib.zip"; + hash = "sha256-CHMq7wMkB1lgU8u1JD/3gfAqwJ5dC6uqSqjcyA1EqO0="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/images-lib.zip"; + hash = "sha256-baRiP4lGcTlRfzBuxJqxLv0SN3KrXBXI6/RYbSrpKHY="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/macro-debugger.zip"; + hash = "sha256-fBAaN80NnPMo+CMsEOIGk4N8k0ugmWMY0xvDzZpXIS8="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/macro-debugger-text-lib.zip"; + hash = "sha256-Y8BAyT/tDnXucDS/1rtkdXaPuQ+RMUJBgF2pOLqlL7s="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/math-doc.zip"; + hash = "sha256-YsqL67+SNUnF01dRqXn34C1olA0dCp/c5+DNBMFk1Y4="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/math-lib.zip"; + hash = "sha256-Wn37KoXNhpGT6yV6d8akpaTLwCNl9x9fD0lv3jNaTgM="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/mzscheme-doc.zip"; + hash = "sha256-24LBl1+ugwvbCQsnO5/RqZZSC0KGA8b+VwbhfC6rBxw="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/net-cookies-doc.zip"; + hash = "sha256-AcKQErgA2B7QEpQR9iQDgE36/gyd36xF+tYvuIvhETo="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/net-cookies-lib.zip"; + hash = "sha256-l+RmHYXN4M2uc2m6ounl855vOUzmFZeAfIPFhc528IE="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/net-doc.zip"; + hash = "sha256-RaoCsuY7o7Fd5FAH8ZMXfVcq7XdwPxuNZRtD0k+Flpw="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/net-lib.zip"; + hash = "sha256-HzgU1D/EpQGbbYectRnpA4uh+pv61re4GPLzen68Nmk="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/option-contract-lib.zip"; + hash = "sha256-mLRp1leG6sourAxeMqMcPxytXGEL1h3Etvr3+uPA8QA="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/parser-tools-lib.zip"; + hash = "sha256-Xw3auBvOtukFx8neSIY0c04/9I2i1a70HuEa3WM7620="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/pconvert-lib.zip"; + hash = "sha256-Y4a+e/BYbF0SkEXJRIEABSZdJpHEFi0N01tB6DAS7kE="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/pict-doc.zip"; + hash = "sha256-9bnIk3dyOf7DiACiVymJCTPK4Q5jFNV0TZFU12monf4="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/pict-lib.zip"; + hash = "sha256-l1ZdFXhNOWwjeCfb9W11nYzofZ2jyIIkiovKqwfnnGg="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/planet-doc.zip"; + hash = "sha256-WO6d1Iz4QlSKKb1z8DzVeOPNeJejgETYaNVlExF6w5s="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/planet-lib.zip"; + hash = "sha256-RKUGOMNrzAQa4oZbTD7Ypek1/D0WMN1UBBgP5BAnV5U="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/plot-compat.zip"; + hash = "sha256-vW8NQqAAPCACLKW/k/jpOdwigQDPyI0UeqoOZZPGq2U="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/plot-doc.zip"; + hash = "sha256-pyQa+X2ACiCziiA0gdI4UZnq7YEbJWf3l8+vpw3xsfg="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/plot-gui-lib.zip"; + hash = "sha256-6KS5OlkQTuh/fsFROSSrtk1qoe5wUQTHkQeUu7mnE5E="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/plot-lib.zip"; + hash = "sha256-0wWpbgVyhvxlGobWQABSN3sfraJ/8zRyGCyMjFxOEPw="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/profile-doc.zip"; + hash = "sha256-prXhRSUdgmZPHiedccOMXoxSW3nNOw8439ulXflL+HA="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/profile-lib.zip"; + hash = "sha256-NazU186ZxVSFMLzQPTSGp2/YcA+jL46tkP8fBSOV0t8="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/r5rs-doc.zip"; + hash = "sha256-PvE0j6Vm7eY7mQhKzytOX3/NvdVC5hLZoTvqPsWZ0lM="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/r5rs-lib.zip"; + hash = "sha256-UGm52qxWjR3IAv27ZW8dzE2Z/bRBVcvSg9lqhFZzFGA="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/r6rs-doc.zip"; + hash = "sha256-ERtV9FUVC8wyXxKpcMxwX4XfnkSU/arD9KpTgdWHzrY="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/r6rs-lib.zip"; + hash = "sha256-c7sWPK1XxLpY3CyTYd7Nb1FQmEFQYMGx9yU7jPYvaH4="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/racket-doc.zip"; + hash = "sha256-jIHyZRa1UuEWjkz3ux63S65xefaVjJd/KarROUOij7g="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/racket-index.zip"; + hash = "sha256-tdXy9YsiK9VvyuX9m00motCLPkLg07qTg1JcJnBeDKI="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/rackunit-doc.zip"; + hash = "sha256-ayszYi2sbmmqiC3PluWS/HgTxEuZ0GsON4Fsy+d3jm0="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/rackunit-gui.zip"; + hash = "sha256-0enxbqsPzvd5NAiwolMLO3KV2w1GQ0mhsfrRHfjwfIk="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/rackunit-lib.zip"; + hash = "sha256-AGSHt83RU2mMEAqo4qAOC/Wsi47kOQfwRaQi0Bfhimc="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/rackunit-typed.zip"; + hash = "sha256-BRATj2ezo3/wsWu/1iSo29J1ek+6IJ7c1tsk8IxeXVE="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/readline-doc.zip"; + hash = "sha256-xEOzL6ZKOs2oBHzMCMEiuVFGam8ZP5InH39Qj+cvioI="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/readline-lib.zip"; + hash = "sha256-5vUA6uDepmr5bsSOZT12iYnWI515mYyoPIo3vu5H98M="; + }) + (fetchgit { + url = "https://github.com/tonyg/racket-rfc6455.git"; + rev = "e3a87e914e25841a6e1bb996aa001aeb178284bf"; + hash = "sha256-KZjnYFj8PWZ02EbDh11Hkdz/tlCcqEceLiIU5j/xAVU="; + }) + (fetchgit { + url = "https://github.com/emina/rosette.git"; + rev = "edf682df5e70420fcb31f71a5791c17875655bd2"; + hash = "sha256-hEJbuDWUKsbrUI5+eW4Xz74fdQiMhBzlCYs8eN4gP0o="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/sandbox-lib.zip"; + hash = "sha256-kUGSy9t71MdF4Ughmf/Z8wiSKjBQm8kj+jvKg9pCeSI="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/sasl-lib.zip"; + hash = "sha256-IGkeiVyF42SFxl5CRF8gl+VfnqIwZLYehb26APUcvic="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/scheme-doc.zip"; + hash = "sha256-YXpWhsVEs/8PXMeKdX2V/l8IjoXXKFQWudE26hviIfk="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/scheme-lib.zip"; + hash = "sha256-6EIiaWhwQrjUdsVtHX4fecUc1nSY+6tQmhUX2sG7vTw="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/scribble-doc.zip"; + hash = "sha256-wBIv2Vb2SnkqapPfD+rSTOngdOz0CdgH6vHx1I7vFk0="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/scribble-html-lib.zip"; + hash = "sha256-jRVoenXpTaOx4HV0T3Ed94ms+Nvx7lzgjQWOCBS0YXA="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/scribble-lib.zip"; + hash = "sha256-IWlHbsTmBqg/czmqDE7I0s+yKDFrYirdhypecBXs0jo="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/scribble-text-lib.zip"; + hash = "sha256-F96Q25Gwt5b+CwNNwITUHaMH1+lYdh14FxZnJoATYLQ="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/serialize-cstruct-lib.zip"; + hash = "sha256-o86NGWX4BTVCRKMbkfo3J0MoRKUNrXQhUnxVr5AZ+WI="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/simple-tree-text-markup-doc.zip"; + hash = "sha256-sZjbpsL/rgLRenTs5xUrqg3zPSni68OjHPf6CBcLfGE="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/simple-tree-text-markup-lib.zip"; + hash = "sha256-+cPUUINFks+6nHHkaHRz2Dm97sppgHYoz43l/3GktU8="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/slideshow-doc.zip"; + hash = "sha256-p15SKa2PaPIAFmJJcW5y+1exrhJLkAgLtiZlx/rGCOo="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/slideshow-lib.zip"; + hash = "sha256-NkhTy7JnD9+ybh+87ddHYmGS2KLIAaL2DJRYObGzV/s="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/snip-lib.zip"; + hash = "sha256-3byeewxPngrObo3+SwaAcd0/gdOfQooxrfsUr0PPUgs="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/source-syntax.zip"; + hash = "sha256-/Xt31tfLM0dn7c8OD5iE3b60paCJI1h2pvXEeUe8kSk="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/srfi-doc.zip"; + hash = "sha256-ZCE13bgDoeHsbWGpby/VVStOclAQa2dEtiFXw7OzEkQ="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/srfi-lib.zip"; + hash = "sha256-GKo2FjerLUVW0BJs9ZtVWbwsmR6wBdXP3H1Ej0b07xM="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/srfi-lite-lib.zip"; + hash = "sha256-jUjLINuySBeb4MGyq6yyHB+QmzoKYirN0TG4VPMkN70="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/string-constants-doc.zip"; + hash = "sha256-a3dxgMSgZvJ8xErLi9XfkDFWrSFOy7psorE+zOJdcVQ="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/string-constants-lib.zip"; + hash = "sha256-rxi7Eb5yWwg+xscUB5Fe73pIiEhupXE2bRz0wrOr2j0="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/syntax-color-doc.zip"; + hash = "sha256-toCEB7KBtgVmPVDE+oMn/58xXVFB7eev1ohgmp2OowM="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/syntax-color-lib.zip"; + hash = "sha256-zTdYzld5VBr3BQfUj14Yiplfa9UbKs9QFaPa/nAcliQ="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/testing-util-lib.zip"; + hash = "sha256-5we7jpxxrCkVmvJOVyZtNCQa1xwzlIcLdpvKAhp33Vw="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/tex-table.zip"; + hash = "sha256-fgclqu77DWMTa8cc/yuWr7sxjBgRxbhioGzbCn3sC/Y="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/typed-racket-compatibility.zip"; + hash = "sha256-qcvfVCTL+LNQoZFYcPY0AY224KPs9JRKYyZSCf86vrk="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/typed-racket-doc.zip"; + hash = "sha256-bAEHGIqPi2cwZMMMo+eeEuLaPxOJFgGhSTYK9Bh9TLY="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/typed-racket-lib.zip"; + hash = "sha256-vOdXNBs1VctqLl8veA43GAFbcvd+EPgk+fiKp/ZvUhM="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/typed-racket-more.zip"; + hash = "sha256-eeFmPWJsgl6aMWVKiikiFTO2bq0Zn9a/H7uX+BKe+AY="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/unix-socket-lib.zip"; + hash = "sha256-axVk7fvaysSndW2XtblYjcixkDVd8DwtsTWudSEpjEk="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/web-server-doc.zip"; + hash = "sha256-uUdsJGm5QgGAlaLQgUcMLqpgDmnCS6C+tHjfDi2aoyI="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/web-server-lib.zip"; + hash = "sha256-Ih5qlcFz67dHinuIK78S5JPIjeGD9iAZJ0VCAfF5V8M="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/wxme-lib.zip"; + hash = "sha256-4rDg2RlR0Cbag93JlGfZr5aRpwNWO6upvL/Qc7tvSzI="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/xrepl-doc.zip"; + hash = "sha256-2oD6aLYsIKYFt9Cuxoe4jorcCa7hotl71O6gsuM+qEk="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/xrepl-lib.zip"; + hash = "sha256-cMP5p7ykNtCUVXNVEWCfUGld83TrBd4+u9Cg+Bfqdjg="; + }) + (fetchurl { + url = "https://download.racket-lang.org/releases/8.10/pkgs/zo-lib.zip"; + hash = "sha256-q+cspYfV9f9zgldCQIr1vFjFDJuX3wj4MNwHb7cpB4Y="; + }) + ]; collection = pkgs.stdenv.mkDerivation { name = "raco-collection"; - buildInputs = [pkgs.racket-minimal]; + buildInputs = [racket]; phases = ["buildPhase"]; + + srcs = racketPkgs; dontUnpack = true; + sourceRoot = "."; buildPhase = '' + mkdir -p pkgs/ + for f in $srcs; do + fname=`basename $f` + ln -s "$f" "pkgs/''${fname:33}" + done + mkdir -p $out export PLTADDONDIR=$out - raco pkg install --batch --fail-fast -j 4 --deps force --copy ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/2d-lib.zip"; - hash = "sha256-ww55SdKLMzRGAqZ/oD16kqI5CKV2ZngF2HF6ZWFjJuc="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/at-exp-lib.zip"; - hash = "sha256-sXQclvE04pAZQ/4+cCHdvleyY4vtsqTf6FiiELHRMWc="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/cext-lib.zip"; - hash = "sha256-VfTX7zrI5v+5CLvsOoRKsluEZmWFcohgHAkIe8gmSaQ="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/class-iop-lib.zip"; - hash = "sha256-fK0IYDNzavtTgQL6Md4fQ3RciVSIs8y3JZ4croHjmt4="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/compatibility-doc.zip"; - hash = "sha256-M6+d9lEDTz8g4FDDZVc3IwAJocmfsrRkyWOpDt83vx4="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/compatibility-lib.zip"; - hash = "sha256-/PKFC2Y241HQ3xEwwmFtraq/2H8nnAg6Fb+qq7ISD6E="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/compiler-lib.zip"; - hash = "sha256-4LoHG01k0uXk8Vwnk5vT28fzMLpy2xU1s5GBISA4WkE="; - }} \ - ${fetchgit { - url = "https://github.com/rmculpepper/custom-load.git"; - rev = "4e70205c29ab0672663fcae78ded32563f01414b"; - hash = "sha256-7+bNCqE2CXVCujQQ7zSRwmLfzisugKZju3cxHFLW1FY="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/data-doc.zip"; - hash = "sha256-gZ7katgLH0QVy/HIU59J0PQ6fdPc3wNGxB/qJcZ4KEM="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/data-enumerate-lib.zip"; - hash = "sha256-FGkam9SrD4Kbtp5xSrkUpGHETdEPhjbA0oIo+/v81Ao="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/data-lib.zip"; - hash = "sha256-aV6MUFMX+52VTfXLVHcTE4pDfpBNa/YtiFfOxtDIExQ="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/db-doc.zip"; - hash = "sha256-VQ8BikIWxt2F03Ezgj7b+jN/9GgHm1Gsk/BOn7jNxbw="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/db-lib.zip"; - hash = "sha256-dHrEGLC1lTtY5LxzctJLidc2Ui5WYyvzPxAWUB0dXMU="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/distributed-places-doc.zip"; - hash = "sha256-GOmVZ3epPYyYiGiixET4Dy+Mkj9dqHyLLmhUkHsRsuE="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/distributed-places-lib.zip"; - hash = "sha256-J5l5xXl5RWE+897HZ6pL7qDGvA/GIwetKbnIy7C9KBE="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/draw-doc.zip"; - hash = "sha256-N7UlNM4UL6bz2euaF+BudiDsmodtSi8JsJmHFFnkqaw="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/draw-lib.zip"; - hash = "sha256-0VDXpqq9OHi84f0xeM4kimTKhWTtC8BNKssngMHTI58="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/dynext-lib.zip"; - hash = "sha256-MM2wV5NF6g+++zznGFq+KY/adBmvlro9kde6zgYsJxU="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/errortrace-doc.zip"; - hash = "sha256-ryeOgts9TrbPHHAG3phb+y3dfXb8QyXMYEDmmqkpU8E="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/errortrace-lib.zip"; - hash = "sha256-7z8tK5dUMy0/70+2xp2ZaBkg5AZ0LyXZoa3+CedZ/q0="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/future-visualizer.zip"; - hash = "sha256-EKjwHb5N37oLVx6FhfwEbCGe0xGTx9SjE/NS+u670DE="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/future-visualizer-pict.zip"; - hash = "sha256-Ce/POR3foY65N5l/WYX4kZnqFHNDKhRRrQ8bGUo0dhM="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/gui-doc.zip"; - hash = "sha256-HfqLlJHAcGaAc/NYRlYO/RrSeBXjXxFWGevSNR+PEdU="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/gui-lib.zip"; - hash = "sha256-Bhdx/XIxeIzpd4FeIkKYVItyXRvFydF7z1Xl5UQcNMs="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/icons.zip"; - hash = "sha256-NOAONfoZdGXgC0svTfbhGdCh05SYXQvDL2oC3VKNe50="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/images-gui-lib.zip"; - hash = "sha256-CHMq7wMkB1lgU8u1JD/3gfAqwJ5dC6uqSqjcyA1EqO0="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/images-lib.zip"; - hash = "sha256-baRiP4lGcTlRfzBuxJqxLv0SN3KrXBXI6/RYbSrpKHY="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/macro-debugger.zip"; - hash = "sha256-fBAaN80NnPMo+CMsEOIGk4N8k0ugmWMY0xvDzZpXIS8="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/macro-debugger-text-lib.zip"; - hash = "sha256-Y8BAyT/tDnXucDS/1rtkdXaPuQ+RMUJBgF2pOLqlL7s="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/math-doc.zip"; - hash = "sha256-YsqL67+SNUnF01dRqXn34C1olA0dCp/c5+DNBMFk1Y4="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/math-lib.zip"; - hash = "sha256-Wn37KoXNhpGT6yV6d8akpaTLwCNl9x9fD0lv3jNaTgM="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/mzscheme-doc.zip"; - hash = "sha256-24LBl1+ugwvbCQsnO5/RqZZSC0KGA8b+VwbhfC6rBxw="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/net-cookies-doc.zip"; - hash = "sha256-AcKQErgA2B7QEpQR9iQDgE36/gyd36xF+tYvuIvhETo="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/net-cookies-lib.zip"; - hash = "sha256-l+RmHYXN4M2uc2m6ounl855vOUzmFZeAfIPFhc528IE="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/net-doc.zip"; - hash = "sha256-RaoCsuY7o7Fd5FAH8ZMXfVcq7XdwPxuNZRtD0k+Flpw="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/net-lib.zip"; - hash = "sha256-HzgU1D/EpQGbbYectRnpA4uh+pv61re4GPLzen68Nmk="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/option-contract-lib.zip"; - hash = "sha256-mLRp1leG6sourAxeMqMcPxytXGEL1h3Etvr3+uPA8QA="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/parser-tools-lib.zip"; - hash = "sha256-Xw3auBvOtukFx8neSIY0c04/9I2i1a70HuEa3WM7620="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/pconvert-lib.zip"; - hash = "sha256-Y4a+e/BYbF0SkEXJRIEABSZdJpHEFi0N01tB6DAS7kE="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/pict-doc.zip"; - hash = "sha256-9bnIk3dyOf7DiACiVymJCTPK4Q5jFNV0TZFU12monf4="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/pict-lib.zip"; - hash = "sha256-l1ZdFXhNOWwjeCfb9W11nYzofZ2jyIIkiovKqwfnnGg="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/planet-doc.zip"; - hash = "sha256-WO6d1Iz4QlSKKb1z8DzVeOPNeJejgETYaNVlExF6w5s="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/planet-lib.zip"; - hash = "sha256-RKUGOMNrzAQa4oZbTD7Ypek1/D0WMN1UBBgP5BAnV5U="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/plot-compat.zip"; - hash = "sha256-vW8NQqAAPCACLKW/k/jpOdwigQDPyI0UeqoOZZPGq2U="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/plot-doc.zip"; - hash = "sha256-pyQa+X2ACiCziiA0gdI4UZnq7YEbJWf3l8+vpw3xsfg="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/plot-gui-lib.zip"; - hash = "sha256-6KS5OlkQTuh/fsFROSSrtk1qoe5wUQTHkQeUu7mnE5E="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/plot-lib.zip"; - hash = "sha256-0wWpbgVyhvxlGobWQABSN3sfraJ/8zRyGCyMjFxOEPw="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/profile-doc.zip"; - hash = "sha256-prXhRSUdgmZPHiedccOMXoxSW3nNOw8439ulXflL+HA="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/profile-lib.zip"; - hash = "sha256-NazU186ZxVSFMLzQPTSGp2/YcA+jL46tkP8fBSOV0t8="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/r5rs-doc.zip"; - hash = "sha256-PvE0j6Vm7eY7mQhKzytOX3/NvdVC5hLZoTvqPsWZ0lM="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/r5rs-lib.zip"; - hash = "sha256-UGm52qxWjR3IAv27ZW8dzE2Z/bRBVcvSg9lqhFZzFGA="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/r6rs-doc.zip"; - hash = "sha256-ERtV9FUVC8wyXxKpcMxwX4XfnkSU/arD9KpTgdWHzrY="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/r6rs-lib.zip"; - hash = "sha256-c7sWPK1XxLpY3CyTYd7Nb1FQmEFQYMGx9yU7jPYvaH4="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/racket-doc.zip"; - hash = "sha256-jIHyZRa1UuEWjkz3ux63S65xefaVjJd/KarROUOij7g="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/racket-index.zip"; - hash = "sha256-tdXy9YsiK9VvyuX9m00motCLPkLg07qTg1JcJnBeDKI="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/rackunit-doc.zip"; - hash = "sha256-ayszYi2sbmmqiC3PluWS/HgTxEuZ0GsON4Fsy+d3jm0="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/rackunit-gui.zip"; - hash = "sha256-0enxbqsPzvd5NAiwolMLO3KV2w1GQ0mhsfrRHfjwfIk="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/rackunit-lib.zip"; - hash = "sha256-AGSHt83RU2mMEAqo4qAOC/Wsi47kOQfwRaQi0Bfhimc="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/rackunit-typed.zip"; - hash = "sha256-BRATj2ezo3/wsWu/1iSo29J1ek+6IJ7c1tsk8IxeXVE="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/readline-doc.zip"; - hash = "sha256-xEOzL6ZKOs2oBHzMCMEiuVFGam8ZP5InH39Qj+cvioI="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/readline-lib.zip"; - hash = "sha256-5vUA6uDepmr5bsSOZT12iYnWI515mYyoPIo3vu5H98M="; - }} \ - ${fetchgit { - url = "https://github.com/tonyg/racket-rfc6455.git"; - rev = "e3a87e914e25841a6e1bb996aa001aeb178284bf"; - hash = "sha256-KZjnYFj8PWZ02EbDh11Hkdz/tlCcqEceLiIU5j/xAVU="; - }} \ - ${fetchgit { - url = "https://github.com/emina/rosette.git"; - rev = "edf682df5e70420fcb31f71a5791c17875655bd2"; - hash = "sha256-hEJbuDWUKsbrUI5+eW4Xz74fdQiMhBzlCYs8eN4gP0o="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/sandbox-lib.zip"; - hash = "sha256-kUGSy9t71MdF4Ughmf/Z8wiSKjBQm8kj+jvKg9pCeSI="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/sasl-lib.zip"; - hash = "sha256-IGkeiVyF42SFxl5CRF8gl+VfnqIwZLYehb26APUcvic="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/scheme-doc.zip"; - hash = "sha256-YXpWhsVEs/8PXMeKdX2V/l8IjoXXKFQWudE26hviIfk="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/scheme-lib.zip"; - hash = "sha256-6EIiaWhwQrjUdsVtHX4fecUc1nSY+6tQmhUX2sG7vTw="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/scribble-doc.zip"; - hash = "sha256-wBIv2Vb2SnkqapPfD+rSTOngdOz0CdgH6vHx1I7vFk0="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/scribble-html-lib.zip"; - hash = "sha256-jRVoenXpTaOx4HV0T3Ed94ms+Nvx7lzgjQWOCBS0YXA="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/scribble-lib.zip"; - hash = "sha256-IWlHbsTmBqg/czmqDE7I0s+yKDFrYirdhypecBXs0jo="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/scribble-text-lib.zip"; - hash = "sha256-F96Q25Gwt5b+CwNNwITUHaMH1+lYdh14FxZnJoATYLQ="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/serialize-cstruct-lib.zip"; - hash = "sha256-o86NGWX4BTVCRKMbkfo3J0MoRKUNrXQhUnxVr5AZ+WI="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/simple-tree-text-markup-doc.zip"; - hash = "sha256-sZjbpsL/rgLRenTs5xUrqg3zPSni68OjHPf6CBcLfGE="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/simple-tree-text-markup-lib.zip"; - hash = "sha256-+cPUUINFks+6nHHkaHRz2Dm97sppgHYoz43l/3GktU8="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/slideshow-doc.zip"; - hash = "sha256-p15SKa2PaPIAFmJJcW5y+1exrhJLkAgLtiZlx/rGCOo="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/slideshow-lib.zip"; - hash = "sha256-NkhTy7JnD9+ybh+87ddHYmGS2KLIAaL2DJRYObGzV/s="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/snip-lib.zip"; - hash = "sha256-3byeewxPngrObo3+SwaAcd0/gdOfQooxrfsUr0PPUgs="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/source-syntax.zip"; - hash = "sha256-/Xt31tfLM0dn7c8OD5iE3b60paCJI1h2pvXEeUe8kSk="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/srfi-doc.zip"; - hash = "sha256-ZCE13bgDoeHsbWGpby/VVStOclAQa2dEtiFXw7OzEkQ="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/srfi-lib.zip"; - hash = "sha256-GKo2FjerLUVW0BJs9ZtVWbwsmR6wBdXP3H1Ej0b07xM="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/srfi-lite-lib.zip"; - hash = "sha256-jUjLINuySBeb4MGyq6yyHB+QmzoKYirN0TG4VPMkN70="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/string-constants-doc.zip"; - hash = "sha256-a3dxgMSgZvJ8xErLi9XfkDFWrSFOy7psorE+zOJdcVQ="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/string-constants-lib.zip"; - hash = "sha256-rxi7Eb5yWwg+xscUB5Fe73pIiEhupXE2bRz0wrOr2j0="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/syntax-color-doc.zip"; - hash = "sha256-toCEB7KBtgVmPVDE+oMn/58xXVFB7eev1ohgmp2OowM="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/syntax-color-lib.zip"; - hash = "sha256-zTdYzld5VBr3BQfUj14Yiplfa9UbKs9QFaPa/nAcliQ="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/testing-util-lib.zip"; - hash = "sha256-5we7jpxxrCkVmvJOVyZtNCQa1xwzlIcLdpvKAhp33Vw="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/tex-table.zip"; - hash = "sha256-fgclqu77DWMTa8cc/yuWr7sxjBgRxbhioGzbCn3sC/Y="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/typed-racket-compatibility.zip"; - hash = "sha256-qcvfVCTL+LNQoZFYcPY0AY224KPs9JRKYyZSCf86vrk="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/typed-racket-doc.zip"; - hash = "sha256-bAEHGIqPi2cwZMMMo+eeEuLaPxOJFgGhSTYK9Bh9TLY="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/typed-racket-lib.zip"; - hash = "sha256-vOdXNBs1VctqLl8veA43GAFbcvd+EPgk+fiKp/ZvUhM="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/typed-racket-more.zip"; - hash = "sha256-eeFmPWJsgl6aMWVKiikiFTO2bq0Zn9a/H7uX+BKe+AY="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/unix-socket-lib.zip"; - hash = "sha256-axVk7fvaysSndW2XtblYjcixkDVd8DwtsTWudSEpjEk="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/web-server-doc.zip"; - hash = "sha256-uUdsJGm5QgGAlaLQgUcMLqpgDmnCS6C+tHjfDi2aoyI="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/web-server-lib.zip"; - hash = "sha256-Ih5qlcFz67dHinuIK78S5JPIjeGD9iAZJ0VCAfF5V8M="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/wxme-lib.zip"; - hash = "sha256-4rDg2RlR0Cbag93JlGfZr5aRpwNWO6upvL/Qc7tvSzI="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/xrepl-doc.zip"; - hash = "sha256-2oD6aLYsIKYFt9Cuxoe4jorcCa7hotl71O6gsuM+qEk="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/xrepl-lib.zip"; - hash = "sha256-cMP5p7ykNtCUVXNVEWCfUGld83TrBd4+u9Cg+Bfqdjg="; - }} \ - ${fetchurl { - url = "https://download.racket-lang.org/releases/8.10/pkgs/zo-lib.zip"; - hash = "sha256-q+cspYfV9f9zgldCQIr1vFjFDJuX3wj4MNwHb7cpB4Y="; - }} \ + + raco pkg install --batch --fail-fast --no-docs -j 4 --deps force --copy ./pkgs/* ''; + + disallowedReferences = racketPkgs; }; in pkgs.stdenv.mkDerivation { @@ -413,7 +429,7 @@ in phases = ["installPhase"]; installPhase = '' mkdir -p $out/bin - makeWrapper ${pkgs.racket-minimal}/bin/racket $out/bin/racket \ + makeWrapper ${racket}/bin/racket $out/bin/racket \ --set PLTADDONDIR ${collection}; ''; } |