2024/05/10

Newest at the top

2024-05-10 15:52:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-10 15:52:13 +0200dagit(~dagit@2001:558:6025:38:71c6:9d58:7252:8976)
2024-05-10 15:50:29 +0200 <Lears> You can just have them wake when a TVar holding a Bool is True.
2024-05-10 15:49:37 +0200Mach(~Mach@92.87.113.25) (Ping timeout: 256 seconds)
2024-05-10 15:45:44 +0200AlexZenon(~alzenon@178.34.162.125) (Ping timeout: 260 seconds)
2024-05-10 15:45:41 +0200 <carbolymer> I wonder how to do it in STM
2024-05-10 15:45:20 +0200 <carbolymer> hmm, can I use TMVar for multiple-wakeup? I guess not, because readTMVar does take -> put
2024-05-10 15:43:45 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com)
2024-05-10 15:36:50 +0200 <Lears> carbolymer: IIRC, threads are woken in the order they block, so yes.
2024-05-10 15:35:56 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 256 seconds)
2024-05-10 15:35:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-10 15:32:02 +0200 <carbolymer> can I have multiple threads waiting on `readMVar`, do `tryPutMVar mv () >> tryTakeMVar mv` and expect that all of them to wake up?
2024-05-10 15:31:59 +0200 <jackdk> Do you have the entire autoconf configure.log? Usually that shows what commands it tried to execute, about 2/3 of the way through
2024-05-10 15:31:09 +0200 <Guest85> Maybe it's possible to tell by setting an environment variable, helping ghcup to find my libstdc++ ?
2024-05-10 15:16:47 +0200mankanor(~mankanor@210.185.176.242) (Remote host closed the connection)
2024-05-10 15:13:53 +0200mankanor(~mankanor@210.185.176.242)
2024-05-10 15:10:48 +0200 <Guest85> Sorry, I'll use tha pastebin next time. Could it be the supc++ that is misssing?
2024-05-10 15:07:37 +0200 <lambdabot> A pastebin: https://paste.debian.net/
2024-05-10 15:07:37 +0200 <danse-nr3> @paste
2024-05-10 15:07:35 +0200 <danse-nr3> how is that ... ?
2024-05-10 15:07:01 +0200 <Guest85> checking for linkage against 'stdc++ supc++'... failed
2024-05-10 15:07:00 +0200 <Guest85> checking for linkage against 'stdc++'... failed
2024-05-10 15:07:00 +0200 <Guest85> checking C++ standard library flavour... libstdc++
2024-05-10 15:06:59 +0200 <Guest85> Last lines of .ghcup/logs/ghc-configure.log:
2024-05-10 15:06:19 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-10 15:05:05 +0200kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net)
2024-05-10 15:03:10 +0200 <Guest85> So it seems to be correctly installed (I have compiled other stuff successfully, for instance C++ code for CUDA)
2024-05-10 15:03:10 +0200 <Guest85> ii libstdc++6:amd64 12.3.0-1ubuntu1~22.04 amd64 GNU Standard C++ Library v3
2024-05-10 15:03:09 +0200 <Guest85> ii libstdc++-11-dev:amd64 11.4.0-1ubuntu1~22.04 amd64 GNU Standard C++ Library v3 (development files)
2024-05-10 15:03:09 +0200 <Guest85> dpkg -l|grep libstdc++
2024-05-10 15:03:08 +0200 <Guest85> My C++ compiler is
2024-05-10 15:03:08 +0200 <Guest85> curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
2024-05-10 15:03:07 +0200 <Guest85> I did
2024-05-10 15:03:06 +0200dagit9841(~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer)
2024-05-10 14:55:45 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Read error: Connection reset by peer)
2024-05-10 14:53:39 +0200manwithluck(~manwithlu@149.102.244.20)
2024-05-10 14:52:52 +0200 <int-e> So what did you do exactly? Do you have a working C++ compiler? (Either clang (executable clang++) or g++)
2024-05-10 14:52:42 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-10 14:51:07 +0200manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 256 seconds)
2024-05-10 14:48:43 +0200stef204(~stef204@user/stef204)
2024-05-10 14:48:05 +0200xdminsy(~xdminsy@117.147.70.240) (Read error: Connection reset by peer)
2024-05-10 14:46:36 +0200 <Guest85> Hello, I'm trying to install ghcup on Ubuntu 22.04 using the curl script on their web page, but the configure step says it can't find my c++ std library. I have searched the web and can't find anything useful. Is this a known problem? Error message in brief: "configure: error: Failed to find C++ standard library"
2024-05-10 14:45:56 +0200Guest85(~Guest42@94-255-250-108.cust.bredband2.com)
2024-05-10 14:45:55 +0200ft(~ft@p508db8fc.dip0.t-ipconnect.de)
2024-05-10 14:44:07 +0200ft(~ft@p508dba4c.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2024-05-10 14:37:22 +0200ocra8(ocra8@user/ocra8)
2024-05-10 14:37:07 +0200ocra8(ocra8@user/ocra8) (Client Quit)
2024-05-10 14:35:48 +0200danse-nr3(~danse-nr3@an-19-180-249.service.infuturo.it)
2024-05-10 14:35:28 +0200ocra8(ocra8@user/ocra8)
2024-05-10 14:35:24 +0200danse-nr3(~danse-nr3@an-19-180-249.service.infuturo.it) (Remote host closed the connection)