SDL.lean/flake.nix at main · Anderssorby/SDL.lean

Repository navigation

{

description = "SDL2 bindings for Lean";

inputs = {

nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";

flake-utils = {

url = "github:numtide/flake-utils";

};

outputs =

{

self,

nixpkgs,

flake-utils,

let

supportedSystems = [

"x86_64-darwin"

"x86_64-linux"

];

flake-utils.lib.eachSystem supportedSystems (

system:

let

pkgs = nixpkgs.legacyPackages.${system};

{

devShells = {

default = pkgs.mkShell {

buildInputs = with pkgs; [

SDL2

SDL2_image

pkg-config

elan

];

};

}

);

}