41 lines
942 B
Nix
41 lines
942 B
Nix
{
|
|
description = "Alisaie";
|
|
|
|
inputs = {
|
|
nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
|
|
flake-parts.url = "github:hercules-ci/flake-parts";
|
|
};
|
|
|
|
outputs = inputs@{ nixpkgs, flake-parts, ... }:
|
|
flake-parts.lib.mkFlake {inherit inputs;} {
|
|
systems = [
|
|
"x86_64-linux"
|
|
];
|
|
|
|
perSystem = {self', pkgs, system, ...}: {
|
|
|
|
# packages.default = self'.packages.alisaie;
|
|
# packages.alisaie = pkgs.stdenv.mkDerivation {
|
|
# pname = "Alisaie";
|
|
# version = "0.0.1";
|
|
|
|
# src = ./.;
|
|
|
|
# nativeBuildInputs = with pkgs; [ ];
|
|
# buildInputs = [ ];
|
|
|
|
# };
|
|
|
|
devShells.default = pkgs.mkShell {
|
|
packages = with pkgs; [
|
|
(agda.withPackages (p: with p; [ standard-library ]))
|
|
(haskellPackages.BNFC)
|
|
(haskellPackages.alex)
|
|
(haskellPackages.happy)
|
|
];
|
|
};
|
|
|
|
};
|
|
};
|
|
}
|