flakes/prolog/flake.nix

27 lines
590 B
Nix

{
description = "SWI-Prolog";
inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
flake-utils.url = "github:numtide/flake-utils";
};
outputs = { self, nixpkgs, flake-utils }:
flake-utils.lib.eachDefaultSystem (system:
let
pkgs = import nixpkgs {
inherit system;
config.allowUnfree = true;
};
in {
devShells.default = pkgs.mkShell {
buildInputs = with pkgs; [
swi-prolog
# Editor
#(jetbrains.plugins.addPlugins jetbrains.idea-ultimate [ "github-copilot" ])
vscodium
];
};
});
}