« first day (549 days earlier)
← previous day
next day →
last day (1945 days later) »
Dennis
00:40
@Pavel
tio.run/#pure
Pavel
Thanks!
Hmm, wonder where I've seen
using system;
before...
Pavel
01:20
@Dennis I think you forgot to
git push
TIOSetup for pure
Dennis
I didn't forget. I haven't finished automating the process.
First step is to put LLVM 3.5.2 into
github.com/TryItOnline/tiosetup-binaries
, because there's no way I'm building that from source every time.
Pavel
Ah
Dennis
Fortunately, I seem to need LLVM 3.5.2 only to build Pure, not to use it.
Dennis
02:12
Ugh, uploading LLVM 3.5.2 to GitHub will take forever...
Pavel
02:26
I noticed that the
tiosetup-binaries
repo doesn't actually contain binaries, but build scripts. Is the actual repo containing binaries private?
Dennis
You can find the binaries in the releases.
Pavel
Ah
Dennis
02:48
> We don’t support that file type. Try zipping it.
What? This is a gzipped tarball, GitHub.
And it took forever to upload. :/
Pavel
Also, why does GitHub even care about file type? You should be able to upload whatever.
Dennis
03:20
Looks like the file got corrupted during the upload , so rejecting it was better than not.
Pavel
Ah
6 hours later…
Dennis
09:47
@Pavel
github.com/TryItOnline/tiosetup/blob/master/languages/pure
« first day (549 days earlier)
← previous day
next day →
last day (1945 days later) »
all rooms
Transcript for
Feb
21
Feb '18
22
Feb
23
talk.tryitonline.net
For general discussion and feature requests regarding
tryitonl...
join this room
about this room
00:00
06:00
12:00
18:00
all times are UTC
site design / logo © 2025 Stack Exchange Inc;
legal
mobile