2024-11-09 00:00:22 +0100 | <yin> | don't quote me on that |
2024-11-09 00:01:56 +0100 | <geekosaur> | sadly I don't know of a good way to clean the HIE cache. I recently nuked mine completely and started over because it became confused about my switching branches in my ghc checkout |
2024-11-09 00:02:28 +0100 | kaskal | (~kaskal@213-147-165-220.nat.highway.webapn.at) (Ping timeout: 252 seconds) |
2024-11-09 00:05:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 00:09:41 +0100 | emfrom | (~emfrom@37.168.24.65) |
2024-11-09 00:09:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-09 00:20:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 00:27:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-09 00:29:06 +0100 | kaskal | (~kaskal@213-147-165-220.nat.highway.webapn.at) kaskal |
2024-11-09 00:32:54 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3200-3777-6c66-54b5-7b86-7066.rev.sfr.net) (Remote host closed the connection) |
2024-11-09 00:35:48 +0100 | sw4n | (~sw4n@2605:59c0:40f0:9610:756d:bb84:d4bb:9b76) |
2024-11-09 00:37:28 +0100 | sw4n | (~sw4n@2605:59c0:40f0:9610:756d:bb84:d4bb:9b76) (Remote host closed the connection) |
2024-11-09 00:38:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 00:42:34 +0100 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 260 seconds) |
2024-11-09 00:43:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-09 00:46:53 +0100 | yvan-sraka | (uid419690@id-419690.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-11-09 00:48:24 +0100 | acidjnk | (~acidjnk@p200300d6e7283f5628026389afde3b8f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-11-09 00:54:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 00:54:50 +0100 | Everything | (~Everythin@178-133-144-57.mobile.vf-ua.net) (Quit: leaving) |
2024-11-09 00:59:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-11-09 01:08:50 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
2024-11-09 01:10:19 +0100 | poscat | (~poscat@user/poscat) poscat |
2024-11-09 01:10:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 01:12:51 +0100 | <jle`> | is there any way to get cabal to print out the `-systems` it infers from the extra-libs: ? |
2024-11-09 01:13:57 +0100 | <geekosaur> | if `-v3` isn't doing it then it's not cabal doing it |
2024-11-09 01:15:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-09 01:15:25 +0100 | <geekosaur> | moreover there is no reference to -isystem in the cabal codebase |
2024-11-09 01:15:47 +0100 | <geekosaur> | are you sure this isn't coming from e.g. a pkg-config? |
2024-11-09 01:25:25 +0100 | <geekosaur> | also, uh, where are you getting `extra-deps` from exactly? isn't that a stack thing? |
2024-11-09 01:26:09 +0100 | <geekosaur> | oh, whoops, extra-libs. I don't think we infer includes from libraries |
2024-11-09 01:26:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 01:26:19 +0100 | <geekosaur> | (and in general you can't) |
2024-11-09 01:26:25 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
2024-11-09 01:30:33 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: pillow time) |
2024-11-09 01:30:37 +0100 | <jle`> | ah yeah i meant `extra-libraries:` |
2024-11-09 01:30:47 +0100 | <jle`> | oh huh, that's interesting then, i wonder where that's coming from |
2024-11-09 01:31:04 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-11-09 01:31:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-09 01:31:14 +0100 | <jle`> | i am using nix to set up the environment variables, they do tend to do spooky things |
2024-11-09 01:33:01 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
2024-11-09 01:33:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 01:33:43 +0100 | poscat | (~poscat@user/poscat) poscat |
2024-11-09 01:34:00 +0100 | <jle`> | ah i see the exact args coming from `NIX_CFLAGS_COMPILE` environment variable, it must be wrapping calls to gcc implicitly somehow so cabal wouldn't need to worry about anything |
2024-11-09 01:35:56 +0100 | <jle`> | clever. anyways i think that tells me how to get this done correctly, thanks for the help |
2024-11-09 01:39:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-11-09 01:40:25 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2024-11-09 01:44:03 +0100 | <geekosaur> | ah, yeh, nix likes to force everything to use its own glibc build and such |
2024-11-09 01:45:04 +0100 | pavonia | (~user@user/siracusa) siracusa |
2024-11-09 01:46:53 +0100 | <geekosaur> | (poorly; this causes locale issues, among others) |
2024-11-09 01:50:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 01:55:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-09 01:56:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2024-11-09 02:02:53 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
2024-11-09 02:05:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 02:12:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-09 02:18:26 +0100 | sprotte24 | (~sprotte24@p200300d16f0bb9000907ce5a9cbe4fad.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-11-09 02:23:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 02:26:55 +0100 | euleritian | (~euleritia@77.22.252.56) (Remote host closed the connection) |
2024-11-09 02:28:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-09 02:29:21 +0100 | euleritian | (~euleritia@77.22.252.56) |
2024-11-09 02:39:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 02:45:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-09 02:45:28 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:b98:f687:dbac:9c4b) (Quit: Leaving) |
2024-11-09 02:52:38 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
2024-11-09 02:55:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 02:59:55 +0100 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 252 seconds) |
2024-11-09 03:00:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-11-09 03:01:46 +0100 | poscat | (~poscat@user/poscat) poscat |
2024-11-09 03:07:34 +0100 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
2024-11-09 03:11:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 03:11:57 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
2024-11-09 03:12:30 +0100 | euleritian | (~euleritia@dynamic-176-006-133-204.176.6.pool.telefonica.de) |
2024-11-09 03:12:43 +0100 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
2024-11-09 03:16:33 +0100 | BolzmannPain | (~BolzmannP@user/BolzmannPain) BolzmannPain |
2024-11-09 03:16:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-09 03:25:18 +0100 | euleritian | (~euleritia@dynamic-176-006-133-204.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-11-09 03:25:36 +0100 | euleritian | (~euleritia@77.22.252.56) |
2024-11-09 03:27:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-09 03:28:21 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-11-09 03:31:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-11-09 03:40:31 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-11-09 03:41:07 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2024-11-09 03:42:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |