Changes
2 changed files (+3/-3)
-
-
@@ -46,9 +46,9 @@ };apps.${system}.default = let # Use nixGL for running this on non-NixOS # TODO: Nvidia support # This needs `--impure` because of Nvidia nonsense wrapper = pkgs.writeShellScript "monotonicity" '' exec ${pkgs.nixgl.nixGLIntel}/bin/nixGLIntel ${pkgs.rlwrap}/bin/rlwrap ${ exec ${pkgs.nixgl.auto.nixGLDefault}/bin/nixGL ${pkgs.rlwrap}/bin/rlwrap ${ self.packages.${system}.default }/bin/monotonicity "$@" '';
-
-
-
@@ -5,7 +5,7 @@[[lean_exe]] name = "monotonicity" root = "Main" moreLinkArgs = ["-lraylib"] moreLinkArgs = ["-L/nix/store/r3hcx5rgbiqlh57x5qqpx6l01va5c5vq-raylib-6.0/lib", "-lraylib"] [[require]] name = "raylean"
-