Stable release 22.11

This commit is contained in:
Luc Perkins 2023-03-06 13:28:29 +02:00
parent aa9dd253a9
commit f381b8a291
No known key found for this signature in database
GPG key ID: 4F102D0C16E232F2
54 changed files with 200 additions and 166 deletions

7
purescript/flake.lock generated
View file

@ -33,15 +33,16 @@
},
"nixpkgs": {
"locked": {
"lastModified": 1676419747,
"narHash": "sha256-VKaecpmFjq3qsG4b7t7UOu2tSTTJKbGHR5f0ICLQT6M=",
"lastModified": 1677655039,
"narHash": "sha256-IsU0SSBUOr/qYTkiwIgXQ91Io/2bfXI7PG4MoJritLA=",
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "c9fbcf04164c77ac8a473f984e666d81beef224d",
"rev": "96a40fa5e8dee644ba60c8a966adadd2d448104a",
"type": "github"
},
"original": {
"owner": "NixOS",
"ref": "release-22.11",
"repo": "nixpkgs",
"type": "github"
}

View file

@ -2,38 +2,40 @@
description = "A Nix-flake-based Purescript development environment";
inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/release-22.11";
flake-utils.url = "github:numtide/flake-utils";
nixpkgs.url = "github:NixOS/nixpkgs";
easy-purescript-nix = {
url = "github:justinwoo/easy-purescript-nix";
flake = false;
};
};
outputs =
{ self
, nixpkgs
, flake-utils
, easy-purescript-nix
}:
flake-utils.lib.eachDefaultSystem (system:
let
pkgs = nixpkgs.legacyPackages.${system};
pkgs = import nixpkgs { inherit system; };
easy-ps = import easy-purescript-nix { inherit pkgs; };
in
{
devShells.default = pkgs.mkShell {
packages = [
easy-ps.purs
easy-ps.spago
easy-ps.purescript-language-server
easy-ps.purs-tidy
pkgs.nodejs
];
shellHook = ''
echo "Purs `${easy-ps.purs}/bin/purs --version`"
echo "Spago `${easy-ps.spago}/bin/spago --version`"
echo "Purescript Language Server `${easy-ps.purescript-language-server}/bin/purescript-language-server --version`"
echo "Purs Tidy `${easy-ps.purs-tidy}/bin/purs-tidy --version`"
packages = (with pkgs; [ nodejs ]) ++ (with easy-ps; [
purs
spago
purescript-language-server
purs-tidy
]);
shellHook = with easy-ps; ''
echo "Purs `${purs}/bin/purs --version`"
echo "Spago `${spago}/bin/spago --version`"
echo "Purescript Language Server `${purescript-language-server}/bin/purescript-language-server --version`"
echo "Purs Tidy `${purs-tidy}/bin/purs-tidy --version`"
echo "Node.js `${pkgs.nodejs}/bin/node --version`"
'';
};