22 Jul 2024 |
albertfree | ldcogen failing at unknown parameters :p | 19:27:50 |
albertfree | or rather, a lua file that is not even part of the program :p | 19:28:30 |
lewri | Ah yes, this patch | 19:29:39 |
lewri | https://github.com/CorsixTH/CorsixTH/pull/2560 | 19:30:09 |
lewri | I'm guessing that might be beneficial to look at if it's reproducible (though can't remember if we were making https optional) | 19:30:56 |
lewri | Hmm no, trusted sources for the update check should all now be https | 19:32:36 |
albertfree | apt lists libcurl4/jammy-updates,jammy-security,now 7.81.0-1ubuntu1.16 amd64 [installed]
| 19:32:39 |
albertfree | when looking for \*curl\* pattern, which looks wide enought I think | 19:33:13 |
albertfree | curl/jammy-updates,jammy-security,now 7.81.0-1ubuntu1.16 amd64 [installed] <- plain curl is there too | 19:33:40 |
lewri | libcurl4-openssl-dev That's the one specified in cmake | 19:34:35 |
lewri | Hmm no, just specified in the linux.yml | 19:35:23 |
albertfree | ah, it's available, in the distribution but not installed | 19:35:30 |
lewri | I can't read 🙂 | 19:35:57 |
albertfree | He, does a tea language exist? :) | 19:36:14 |
albertfree | https://dpaste.com/8PP2UXQ9J thats all *libcurl* in apt | 19:36:50 |
lewri | A very limited vocabulary but plenty of choices of words | 19:37:04 |
albertfree | :) | 19:37:28 |
albertfree | ok, let's see if !param and suppurts lines without ! | 19:39:20 |
lewri | Looks like you can choose whatever one you want to build | 19:40:09 |
lewri | I think the yml just has to choose one | 19:40:10 |
albertfree | one that exists at the system would be preferavle :p | 19:41:39 |
albertfree | ok, param doesn't support that | 19:45:00 |
albertfree | also the lines that do start with a ! end up in the description and not with the parameter | 19:45:39 |
albertfree | https://imgur.com/a/QmlG5RF the example from the wiki https://github.com/CorsixTH/CorsixTH/wiki/Coding-Conventions#ldocgen-syntax | 19:53:00 |
23 Jul 2024 |
| sadger | 09:12:44 |
| mandrakehorse | 20:36:53 |
26 Jul 2024 |
| gameplaycrush joined the room. | 13:32:53 |
| Handyman Lloyd changed their profile picture. | 15:28:36 |
lewri | We should probably look at doing a beta soon | 15:34:49 |
lewri | Though there's some PRs to probably merge first | 15:38:58 |