| 3 Sep 2022 |
 ribosomerocker | oh, i must be misremembering then | 18:40:24 |
 k0kada (he/him) | I think I said it, but it is AFAIK | 18:40:32 |
| k0kada (he/him) | $ rg trivialBuild
pkgs/top-level/emacs-packages.nix
81: trivialBuild = pkgs.callPackage ../build-support/emacs/trivial.nix {
| 18:40:54 |
| k0kada (he/him) | This is from my nixpkgs clone BTW | 18:41:04 |
| ribosomerocker | either way, how would I go around debugging why idris2-mode doesnt work? or is that for you guys to work out? | 18:41:18 |
| k0kada (he/him) | Without trying to sound disrespectful, why would we try to debug it? | 18:42:18 |
| k0kada (he/him) | I mean, I don't really have too much interest in this specific package | 18:42:31 |
| ribosomerocker | yeah, i understand | 18:42:43 |
| k0kada (he/him) | In reply to @k0kada:matrix.org
Fixing the hash, I got:
nix build .#nixosConfigurations.nixos.config.home-manager.users.mon.programs.doom-emacs.package
warning: Git tree '/tmp/nixos-config' is dirty
error: builder for '/nix/store/fvqxnfrfn8i7lagp2bkrgxbls2jbxcxv-emacs-idris2-mode-0.0.0.drv' failed with exit code 1;
last 10 log lines:
> idris2-warnings.el:77:2: Warning: docstring wider than 80 characters
>
> In toplevel form:
> inferior-idris2.el:78:2: Warning: defvar `idris2-load-packages' docstring wider than 80 characters
>
> In idris2-eval-async:
> inferior-idris2.el:308:2: Warning: docstring wider than 80 characters
>
> In idris2-get-idris2-version-string:
> inferior-idris2.el:410:2: Warning: docstring wider than 80 characters
For full logs, run 'nix log /nix/store/fvqxnfrfn8i7lagp2bkrgxbls2jbxcxv-emacs-idris2-mode-0.0.0.drv'.
error: 1 dependencies of derivation '/nix/store/lfz4rda6nm1xm1kggjkbivj1w53irmql-install-repo.drv' failed to build
error: 1 dependencies of derivation '/nix/store/jbradj5jzkppxvsipgkcx79ww3fidakz-straight-emacs-env.drv' failed to build
error: 1 dependencies of derivation '/nix/store/vlz6xgqfzhj0nxvid1vb55vrqvvl4qvk-emacs-pgtk-native-comp-with-packages-20220828.0.drv' failed to build
Still, the error looks kinda easy to fix | 18:43:20 |
| ribosomerocker | thank you both so so so very much for your time, and i'm sorry for being so unexperienced 😆 | 18:43:46 |
| k0kada (he/him) | Assuming the build is failing because of those docstring errors (that I really think they're not) | 18:43:50 |
| k0kada (he/him) | I am not sure what is the opinion from ckie (they/them), but at least for me NDE is really a project for someone that has experience in both Nixpkgs and Doom-Emacs | 18:45:05 |
| ribosomerocker | yeah, i only have 4 commits in nixpkgs and i really only have been using doom emacs for about a year by now, so i'm not that experienced | 18:46:07 |
| ribosomerocker | hopefully i'll be able to learn enough to fix things by myself, though! | 18:46:24 |
| k0kada (he/him) | http://ix.io/49zx
This may help you 👆️ | 18:46:36 |
| k0kada (he/him) | The whole build log | 18:46:43 |
| k0kada (he/him) | In toplevel form:
idris2-tests.el:27:2: Error: Cannot open load file: No such file or directory, prop-menu
In toplevel form:
idris2-tree-info.el:29:2: Error: Cannot open load file: No such file or directory, prop-menu
In toplevel form:
idris2-warnings-tree.el:29:2: Error: Cannot open load file: No such file or directory, prop-menu
Thjhis looks like the problem for me
| 18:46:56 |
| k0kada (he/him) | * In toplevel form:
idris2-tests.el:27:2: Error: Cannot open load file: No such file or directory, prop-menu
In toplevel form:
idris2-tree-info.el:29:2: Error: Cannot open load file: No such file or directory, prop-menu
In toplevel form:
idris2-warnings-tree.el:29:2: Error: Cannot open load file: No such file or directory, prop-menu
This looks like the problem for me
| 18:47:02 |
| k0kada (he/him) | So I am assuming that maybe you need to add this prop-menu as a buildInputs? | 18:47:17 |
| ribosomerocker | oh yeah, that could be it | 18:47:56 |
| k0kada (he/him) | diff --git a/home.nix b/home.nix
index d7e8147..0240351 100644
--- a/home.nix
+++ b/home.nix
@@ -209,11 +209,12 @@
pname = "idris2-mode";
ename = "idris2-mode";
version = "0.0.0";
+ buildInputs = [ self.prop-menu ];
src = pkgs.fetchFromGitHub {
owner = "idris-community";
repo = "idris2-mode";
rev = "4a3f9cdb1a155da59824e39f0ac78ccf72f2ca97";
- sha256 = "sha256-l0cDaMa5qUpIbVT4203tAUA2Ta0O9I15vHSl9fwXKks=";
+ sha256 = "sha256-TxsGaG2fBRWWP9aas59kiNnUVD4ZdNlwwaFbM4+n81c=";
};
};
};
Enjoy!
| 18:49:09 |
| k0kada (he/him) | At least it finished building idris2-mode | 18:49:23 |
| k0kada (he/him) | Didn't wait until it finishes the whole compilation | 18:49:39 |
| ribosomerocker | alright! i'll close my issue | 18:50:05 |
| ribosomerocker | thank you both so much once again | 18:50:13 |
| k0kada (he/him) | In reply to @mon:tchncs.de
yeah, i only have 4 commits in nixpkgs and i really only have been using doom emacs for about a year by now, so i'm not that experienced Before using NDE I was a doom-emacs user for 3 years, submitted a bunch of patches for it. Also I only started using NDE after I got commit access to nixpkgs (and this was after I did a few big refactors in NixOS, so I got really comfortable with Nix code) | 18:51:50 |
| k0kada (he/him) | I tried to use NDE before but got looked in a bunch of issues that I didn't know how to debug :P | 18:52:24 |
| k0kada (he/him) | I am not saying that you need to be a commiter in nixpkgs to use it, it is just that I think you really need to be a advanced user to understand it | 18:53:03 |
| k0kada (he/him) | But like I said, not sure about the opinion from ckie (they/them) | 18:53:17 |
| k0kada (he/him) | This is just my opinion | 18:53:24 |
