Logs: freenode/#haskell
| 2021-03-18 15:36:50 | → | xff0x joins (~xff0x@2001:1a81:520b:5100:8fc8:83d7:6af3:caa3) |
| 2021-03-18 15:37:05 | <ixlun> | Hi all, I'm trying to compile a haskell module that has C bindings, but the C library is in /opt/local/lib. I'm building with: 'cabal v2-build --extra-include-dirs="/opt/local/include/" --extra-lib-dirs="/opt/local/lib"' but this fails: https://termbin.com/bxa2 |
| 2021-03-18 15:37:33 | <ixlun> | Interestingly, if you look towards the bottom of the output, the compilation command seems to be ignoring my --extra-* args; they're not being passed to the compiler |
| 2021-03-18 15:37:48 | <ixlun> | I'm not sure if this is a bug in cabal, or I'm not using it correctly |
| 2021-03-18 15:39:01 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-03-18 15:39:23 | <Lycurgus> | path problem |
| 2021-03-18 15:40:04 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:7cb1:bb00:3eca:542b) () |
| 2021-03-18 15:40:07 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-18 15:40:11 | <Lycurgus> | (assuming the lib is actually OK, which the err msg indicates might not be) |
| 2021-03-18 15:40:43 | <merijn> | Which package depends on sndfile? |
| 2021-03-18 15:40:56 | <merijn> | You directly or a dependency? (If so, which one?) |
| 2021-03-18 15:40:57 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 2021-03-18 15:41:09 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) |
| 2021-03-18 15:41:30 | <ixlun> | a dependency, hsndfile |
| 2021-03-18 15:41:33 | <Lycurgus> | if it's a distributed lib rather than one you built, try installing the regular dev pkg as suggested |
| 2021-03-18 15:42:10 | <average> | I wish that Haskell, in a future version, would have built-in symbolic mathematics |
| 2021-03-18 15:42:12 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-18 15:42:39 | <average> | All that type theory is converging to that anyways.. so I mean, it should at least go all the way |
| 2021-03-18 15:42:39 | <Lycurgus> | ur sayin it dont? |
| 2021-03-18 15:42:54 | <Lycurgus> | u want mathematica oder |
| 2021-03-18 15:43:05 | <ixlun> | Lycurgus: I'm on MacOS, so packages are installed in a prefix, /opt/local/ |
| 2021-03-18 15:43:10 | <average> | Lycurgus: kindof |
| 2021-03-18 15:43:21 | <merijn> | ixlun: oof, hsndfile looks, eh...outdated to say the least :) |
| 2021-03-18 15:43:24 | <Lycurgus> | with brew and port they are |
| 2021-03-18 15:43:27 | <Lycurgus> | no wonder |
| 2021-03-18 15:43:39 | <Lycurgus> | (u got probs) |
| 2021-03-18 15:43:41 | <merijn> | Last change in 2015 |
| 2021-03-18 15:44:22 | <ixlun> | Works fine on my linux box though |
| 2021-03-18 15:44:24 | <merijn> | ixlun: I'm actually not sure whether -extra-lib-dirs applies to *your* code or also to your dependencies |
| 2021-03-18 15:44:41 | <ixlun> | Ahh, that might be the issue |
| 2021-03-18 15:44:48 | <merijn> | ixlun: Because you need it to apply to your dependencies (i.e. hsdnfile) |
| 2021-03-18 15:44:48 | <Lycurgus> | also there's surely some macsyma like hs thing on hackage |
| 2021-03-18 15:45:05 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-18 15:45:07 | <average> | Yes but that's only an interface |
| 2021-03-18 15:45:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) (Ping timeout: 264 seconds) |
| 2021-03-18 15:45:39 | <merijn> | ixlun: You can try setting it for hsdnfile via cabal.project by doing "package hsdnfile\n ..." (you just gotta find out what ... should be extra-lib-dirs: maybe?) |
| 2021-03-18 15:45:40 | <average> | I think if Haskell manages to make symbolic math built into the language.. then it would open so many doors |
| 2021-03-18 15:46:03 | <merijn> | ixlun: https://cabal.readthedocs.io/en/latest/cabal-project.html#package-configuration-options |
| 2021-03-18 15:46:20 | <merijn> | average: What's stopping you from doing that right now? |
| 2021-03-18 15:46:33 | <average> | merijn: I would first have to learn Haskell |
| 2021-03-18 15:46:34 | <merijn> | What does "built into the language" even mean? |
| 2021-03-18 15:46:58 | <merijn> | average: How can you state things about what is/isn't supported in Haskell without knowing it? |
| 2021-03-18 15:47:05 | <average> | merijn: honestly idk. there's no language out there doing it. Even Mathematica isn't doing it |
| 2021-03-18 15:47:26 | → | Guest5530 joins (beed0de4@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.228) |
| 2021-03-18 15:47:30 | × | geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-03-18 15:47:49 | <average> | it's doing it like.. partially |
| 2021-03-18 15:48:07 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 2021-03-18 15:48:33 | <ixlun> | Cool, I'll see what I can do :-) |
| 2021-03-18 15:48:52 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-03-18 15:48:54 | <tomsmeding> | average: if you say that Mathematica only partially has symbolic mathematics built in, then I'm not sure what you mean with full symbolic math :p |
| 2021-03-18 15:49:24 | <average> | tomsmeding: I guess I don't know either. I guess we have to do it to find out what that means |
| 2021-03-18 15:49:44 | <average> | tomsmeding: I had to estimate some project for a client recently. Ended up doing 40% of the project just to be able to estimate it and provide a cost sheet and design for it |
| 2021-03-18 15:49:51 | → | __minoru__shirae joins (~shiraeesh@109.166.59.216) |
| 2021-03-18 15:49:55 | <average> | tomsmeding: If this was carpentry or wood-working, would've been much easier |
| 2021-03-18 15:50:17 | <Shiranai> | tomsmeding: I added both `:set -XTypeApplications` `:set -XTypeFamilies` in the .ghci but still not working on ghci, showing the same error, any ideas? |
| 2021-03-18 15:50:18 | <tomsmeding> | is that not the eternal problem in software engineering that estimating required time is hard? |
| 2021-03-18 15:50:42 | <tomsmeding> | Shiranai: can you post the exact error you are getting? |
| 2021-03-18 15:50:46 | <average> | tomsmeding: even cost estimation isn't easy |
| 2021-03-18 15:50:55 | <average> | tomsmeding: fortunately I managed to come up with some good approximations |
| 2021-03-18 15:51:05 | <average> | tomsmeding: only because I had prior experience with that kind of software |
| 2021-03-18 15:51:20 | <Shiranai> | tomsmeding: https://pastebin.com/V3YZjBfj |
| 2021-03-18 15:51:23 | <tomsmeding> | average: I dunno, I'm not surprised, estimation is hard :p |
| 2021-03-18 15:51:32 | <average> | tomsmeding: any good books about it ? |
| 2021-03-18 15:51:34 | × | coot quits (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-18 15:52:08 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-18 15:52:46 | <Lycurgus> | numerical methods that work, forman acton |
| 2021-03-18 15:53:34 | <average> | Lycurgus: is that an answer to my estimation books question ? |
| 2021-03-18 15:53:39 | → | Sorny joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-18 15:53:42 | <tomsmeding> | Shiranai: what do you get if you type `:set -XTypeFamilies` `:r` in ghci right after you get that error? |
| 2021-03-18 15:54:08 | <tomsmeding> | average: I have no idea regarding books, and I suppose that indeed was a recommendation by Lycurgus |
| 2021-03-18 15:54:13 | <Shiranai> | oh wow, it works fine; seems my ghci is not reading the .ghci despite saying so |
| 2021-03-18 15:54:19 | → | alx741 joins (~alx741@186.178.109.138) |
| 2021-03-18 15:54:27 | <tomsmeding> | Shiranai: did you restart ghci, not just :r? |
| 2021-03-18 15:54:49 | <Shiranai> | yes |
| 2021-03-18 15:55:28 | <tomsmeding> | Shiranai: ah move that `:set -XTypeFamilies` before line 4 in the .ghci |
| 2021-03-18 15:55:52 | <average> | Lycurgus: like tomsmeding said, was that a recommendation for me ? |
| 2021-03-18 15:55:58 | <tomsmeding> | Shiranai: or, of course, add {-# LANGUAGE TypeFamilies #-} at the top of the files that produce errors |
| 2021-03-18 15:56:04 | <tomsmeding> | that's the best solution |
| 2021-03-18 15:56:06 | <Shiranai> | tomsmeding: yup that was it |
| 2021-03-18 15:56:43 | <Shiranai> | thank you |
| 2021-03-18 15:56:45 | <Lycurgus> | average, it was. But you that's just an artefact of my work/life history, there's doubtless a superior text dedicated to estimation/error |
| 2021-03-18 15:57:06 | <Shiranai> | I was looking for the correct pragma name but couldn't find it, where should I search that stuff? |
| 2021-03-18 15:57:15 | × | Sorna quits (~Sornaensi@79.142.232.102) (Ping timeout: 256 seconds) |
| 2021-03-18 15:57:15 | <Lycurgus> | *you can prolly find something more specific |
| 2021-03-18 15:57:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-18 15:57:44 | <tomsmeding> | Shiranai: GHC user's guide, usually |
| 2021-03-18 15:58:08 | <tomsmeding> | Shiranai: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/control.html |
| 2021-03-18 15:59:28 | <Shiranai> | tomsmeding: I see, thank you |
| 2021-03-18 16:00:02 | × | boistordu quits (boistordum@gateway/shell/matrix.org/x-adhzavlsrujzyaqb) (Quit: Idle for 30+ days) |
| 2021-03-18 16:00:31 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-03-18 16:00:42 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
| 2021-03-18 16:06:23 | hackage | haskoin-store-data 0.51.0 - Data for Haskoin Store https://hackage.haskell.org/package/haskoin-store-data-0.51.0 (jprupp) |
| 2021-03-18 16:06:54 | × | glamas_ quits (~glamas@107.182.17.237) (Quit: ZNC 1.7.4 - https://znc.in) |
| 2021-03-18 16:07:03 | → | glamas joins (~glamas@107.182.17.237) |
| 2021-03-18 16:08:23 | <__minoru__shirae> | average: estimating may be useful in some cases, but don't confuse form with substance |
| 2021-03-18 16:08:26 | × | Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-258c-2a70-8204-6956.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-03-18 16:11:03 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) |
| 2021-03-18 16:12:07 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-18 16:12:35 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-18 16:12:46 | → | stree joins (~stree@68.36.8.116) |
All times are in UTC.