Newest at the top
2024-05-04 22:00:34 +0200 | <tomsmeding> | (yes, we need to fix this stuff) |
2024-05-04 22:00:30 +0200 | <erty> | complete log https://paste.tomsmeding.com/24mYM0p8 |
2024-05-04 22:00:27 +0200 | <tomsmeding> | erty: also take cuda from https://github.com/noahmartinwilliams/cuda at 9036603012818805984e01b774dd0f5758f65bf0 |
2024-05-04 22:00:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 21:59:25 +0200 | <tomsmeding> | oh |
2024-05-04 21:58:44 +0200 | <tomsmeding> | oh meh |
2024-05-04 21:58:39 +0200 | zetef | (~quassel@5.14.202.140) (Read error: Connection reset by peer) |
2024-05-04 21:58:33 +0200 | <erty> | cuda > Cannot find a definition for `cuStreamGetCaptureInfo' in the header file. |
2024-05-04 21:58:32 +0200 | <erty> | cuda > src/Foreign/CUDA/Driver/Graph/Capture.chs:156: (column 15) [ERROR] >>> Unknown identifier! |
2024-05-04 21:58:31 +0200 | <erty> | Now the error is: |
2024-05-04 21:57:33 +0200 | <tomsmeding> | that's promising |
2024-05-04 21:57:12 +0200 | <erty> | Reason: allow-newer enabled. |
2024-05-04 21:57:12 +0200 | <erty> | Warning: Ignoring c2hs's bounds on language-c (>=0.7.1 && <0.10) and using language-c-0.10.0. |
2024-05-04 21:57:11 +0200 | <erty> | In the beginning, it says: |
2024-05-04 21:56:23 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 21:54:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 21:53:51 +0200 | euleritian | (~euleritia@87.79.39.180) (Ping timeout: 255 seconds) |
2024-05-04 21:53:09 +0200 | <erty> | and thankfully I need not to downgrade llvm15 as it would have taken more that 3hrs on my pc <scary_face> |
2024-05-04 21:52:33 +0200 | agent314 | (~quassel@104.193.135.218) |
2024-05-04 21:52:19 +0200 | <tomsmeding> | ... I don't remember it being quite _that_ large, but anyway |
2024-05-04 21:52:01 +0200 | <erty> | 6 gb |
2024-05-04 21:51:56 +0200 | <tomsmeding> | cuda be large |
2024-05-04 21:51:37 +0200 | <erty> | cuda 12 still reinstalling :-| |
2024-05-04 21:51:33 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 21:50:14 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 21:49:05 +0200 | <tomsmeding> | because indeed it's not fully complete yet, but iirc it was sufficient to make cuda 12 work |
2024-05-04 21:48:53 +0200 | <erty> | ok |
2024-05-04 21:48:33 +0200 | <tomsmeding> | the PR is not yet merged |
2024-05-04 21:48:18 +0200 | <tomsmeding> | so https://github.com/noahmartinwilliams/language-c at 98cca579839cd6b6e41baf9d28c1dd53a403f8be |
2024-05-04 21:47:55 +0200 | <tomsmeding> | erty: you'll need that PR specifically |
2024-05-04 21:47:27 +0200 | <erty> | is that enough |
2024-05-04 21:47:20 +0200 | <erty> | tomsmeding: what do you mean by "together with the overrides for accelerate-*". I've added "- github: visq/language-c" to extra-deps in stack.yaml |
2024-05-04 21:46:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 21:45:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-04 21:45:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 21:45:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-05-04 21:42:37 +0200 | <erty> | wait I just sudo purged cuda 12, let me reinstall it back |
2024-05-04 21:42:13 +0200 | <tomsmeding> | right |
2024-05-04 21:42:08 +0200 | <tomsmeding> | if it works at all, it would need to go in extra-deps in stack.yaml together with the overrides for accelerate-* |
2024-05-04 21:42:02 +0200 | <erty> | yes and stack.yaml https://paste.tomsmeding.com/nnFY5ChD |
2024-05-04 21:41:35 +0200 | <tomsmeding> | erty: that's a package.yaml file |
2024-05-04 21:41:33 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 21:41:03 +0200 | <tomsmeding> | I didn't try with stack, you might have luck adding that language-c PR to extra-deps |
2024-05-04 21:40:56 +0200 | <erty> | https://paste.tomsmeding.com/1zGj4NjY |
2024-05-04 21:40:48 +0200 | <tomsmeding> | I see, I thought you were using cabal because you accepted my cabal.project :p |
2024-05-04 21:40:38 +0200 | <erty> | I am using stack |
2024-05-04 21:40:29 +0200 | <tomsmeding> | erty: are you using cabal or stack? |
2024-05-04 21:40:22 +0200 | <erty> | tomsmeding: you mean adding that package as a dependency in extra-deps? |
2024-05-04 21:39:58 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 21:38:22 +0200 | <tomsmeding> | erty: but just adding that language-c PR as a source-repository-package will not work (if it does for you please let me know, but it didn't for me) because language-c is a dependency of a build-tool dependency of the 'cuda' package, instead of a normal (transitive) dependency, and source-repository-package clauses seem to override only normal (transitive) dependencies |