<edwardk>
basically what i'm trying to do is figure out a sort of minimal project setup where a user could download the thing and with nix installed build a thing with eta (that will ultimately use all the shiny new backpacky bits)
<edwardk>
happy to start from basically "hello world" and incrementally add the bits i need
<johnw>
how do I setup the buildPhase to use etlas to build, and how do I install the products so they are runnable after installation?
<puffnfresh[m]>
with a lot of work
<puffnfresh[m]>
it's something I'm going to spend many hours on
<puffnfresh[m]>
one day
<johnw>
any interest in said work?
<johnw>
can we give you a virtual cookie?
<edwardk>
the word 'one day' is somewhat concerning
<edwardk>
clearly we need to do this jointly on twitch. :0
<puffnfresh[m]>
Etlas downloads packages and patches them
<johnw>
Ed and I are together, so eager, so close...
<puffnfresh[m]>
so you'll have to do that in Nix
<johnw>
oh
<johnw>
hmmm
<johnw>
i need an etlas builder?
<puffnfresh[m]>
yeah pretty much
<johnw>
this just became non-trivial really fast
<puffnfresh[m]>
ideally we'd get this integrated with haskellPackages but I think that's super far off
<puffnfresh[m]>
yeah sorry!
<puffnfresh[m]>
I will do it, one day
<johnw>
at this point, I must leave it up to you, Ed, and his supply of diet coke
<edwardk>
ok, so basically this isn't going to work
<johnw>
i would estimate that this sounds like two weeks of work
<puffnfresh[m]>
I think that's a bit high, but yeah, it's not just a few hours
<johnw>
that's 2 weeks + debugging
<johnw>
i mean, it includes debugging time
* edwardk
tries to figure out a way to get a week or two of puffnfresh's attention on the issue. ;)
<edwardk>
the lack of something like this is pretty much why i went off on a succinct data structures tangent for the last stream rather than carrying on with abstract machines
<edwardk>
i guess meanwhile, what i may do is experiment more with eta and just drop nix on the floor =(
<puffnfresh[m]>
well I will try to get started on it tonight
<puffnfresh[m]>
feel free to send me presents
<edwardk>
poing me with an address and i'll send a case of beer. ;)
<edwardk>
the only problem is that as you aren't tony the choice of beer is more complex than just 'try to find XXXX somewhere'
<puffnfresh[m]>
nah that's my dad
philr has joined #nix-darwin
the has joined #nix-darwin
the has quit [Changing host]
the has joined #nix-darwin
the has quit [Excess Flood]
<johnw>
puffnfresh[m]: how does the #if guard for an Eta project that also wants to work with Haskell work?
<puffnfresh[m]>
I don't think Eta has a platform #define for some reason
Sonarpulse has quit [Ping timeout: 240 seconds]
ksx4system27 has joined #nix-darwin
<ksx4system27>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<ksx4system27>
I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<carlosdagos>
it was a good guess, it's almost always emacs :P
clever has quit [Ping timeout: 264 seconds]
jtojnar has quit [Ping timeout: 265 seconds]
jtojnar has joined #nix-darwin
<johnw>
puffnfresh[m]: would you be willing to upload your eta-nix binaries to Cachix?
<puffnfresh[m]>
johnw: yeah sure thing, I also have some progress on more Nix for Eta
<johnw>
cool; Ed's poor machine is still building ghc since early this morning
<puffnfresh[m]>
lol bugger alright
<johnw>
gotta run now, back online in a half hour
<puffnfresh[m]>
I'll be asleep by then, night!!
johnw has quit [Ping timeout: 240 seconds]
goodwill_ has joined #nix-darwin
ben has quit [*.net *.split]
coffeecupp__ has quit [*.net *.split]
goodwill has quit [*.net *.split]
jcrben has quit [*.net *.split]
mitchty has quit [*.net *.split]
goodwill_ is now known as goodwill
jcrben has joined #nix-darwin
mitchty has joined #nix-darwin
johnw has joined #nix-darwin
johnw has quit [Ping timeout: 260 seconds]
johnw has joined #nix-darwin
jtojnar has quit [Quit: jtojnar]
jtojnar has joined #nix-darwin
Sonarpulse has joined #nix-darwin
johnw has quit [Ping timeout: 260 seconds]
<ejpcmac>
Hi! Why are `environment.shellAliases` and `programs.zsh.variables` put in the `/etc/zprofile` instead of the `/etc/zshrc`? As a result, when I do `sudo su`, I loose these aliases and variables in the shell.
<LnL>
sudo su - gives you a login shell which will load zprofile
johnw has joined #nix-darwin
<johnw>
hmm.. I still see this from time to time:
<johnw>
Setup: ./haddock-library.cabal:5: Parse of field 'license-file' failed.
<johnw>
<johnw>
edwardk: did you get my ghc drop?
<johnw>
i think by now you wouldn't need it anymore
<johnw>
LnL: unstable is working again, now without strictDeps!
<LnL>
yeah
<edwardk>
johnw: it is still building actually =)
<johnw>
edwardk: did you get my command to seed your store?
<johnw>
LnL: new failure today: /nix/store/9wsb4ajgy4853bgf100brh1nbmy4f1w3-darwin-system-18.09pre-git/activate: line 209: networksetup: command not found
<johnw>
this happens after "configuring networking..."
<LnL>
:o
<LnL>
I just merged a bunch of stuff
<johnw>
and only *just* started, which is weird
<johnw>
ah
<johnw>
bbiab
<LnL>
I wish I could setup proper tests
johnw has quit [Ping timeout: 265 seconds]
<LnL>
should be fixed
pjan has quit [Quit: さようなら]
johnw has joined #nix-darwin
<johnw>
How do I sign the output from nix-store --export?
<johnw>
Ed is trying to import it but it's complaining about the key being unknown
<johnw>
or to ask it another way
<johnw>
how do I get a closure from my machine to another?