Open galtys opened 3 years ago
[nix-shell:~/github.com/game-idris]$ idris --version 1.3.3-git:PRE
Using shell.nix as follows:
{ pkgs ? import <nixpkgs> {} }:
with pkgs;
let
idris_sdl2 = pkgs.idrisPackages.build-idris-package rec {
name = "idris_sdl2";
version = "v4";
ipkgName = "sdl2";
idrisDeps = [pkgs.idrisPackages.contrib pkgs.idrisPackages.containers];
src = fetchFromGitHub {
owner = "corazza";
repo = "idris-sdl2";
rev = "f4ce327bda93cfb0832399c9b75e3f5a71cf31c4";
sha256 = "1s3y19z0d5w0wrwxcmbjkc2py70vih6yz7cah15kbmsh0cmh4kj7";
};
extraBuildInputs = [pkgs.SDL2 pkgs.SDL2_gfx pkgs.SDL2_mixer pkgs.SDL2_image pkgs.SDL2_ttf pkgs.pkgconfig];
meta = {
description = "sdl2";
homepage = "https://github.com/corazza/idris-sdl2";
license = lib.licenses.bsd2;
maintainers = [];
};
};
idris_box2d = pkgs.idrisPackages.build-idris-package rec {
name = "idris_boz2d";
version = "v4";
ipkgName = "box2d";
idrisDeps = [pkgs.idrisPackages.contrib pkgs.idrisPackages.containers pkgs.box2d];
src = fetchFromGitHub {
owner = "corazza";
repo = "idris-box2d";
rev = "5eb58b2de09d72e9f8993852832f6906cdf3e054";
sha256 = "1blkpxl0ds1v4ql7h7bbnlqka5fqs0ay2zb40vwjvzxf5abpk0cr";
};
#extraBuildInputs = [pkgs.idrisPackages.contrib];
meta = {
description = "box2d";
homepage = "https://github.com/corazza/idris-box2d";
license = lib.licenses.bsd2;
maintainers = [];
};
};
in
stdenv.mkDerivation {
name = "idris-env";
buildInputs = [
(idrisPackages.with-packages (with idrisPackages; [ contrib base prelude containers effects idris_sdl2 idris_box2d]))
gmp
pkgs.pkgconfig
pkgs.SDL2
pkgs.SDL2_gfx
pkgs.SDL2_mixer
pkgs.SDL2_ttf
pkgs.SDL2_image
];
}
stefan-hoeck/idris2-pack might be the replacement of nix one day after the game-idris mirations to Idris 2 (if any).
Hello Jan, I'm trying to build your game on nixos2009 and I get the following errors:
Would you know how to address them?