search

granule-project / granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning
https://granule-project.github.io
BSD 3-Clause "New" or "Revised" License
589 stars 33 forks source link

No Linux release for 0.9.5.0 #246

Open rzuckerm opened 5 months ago

rzuckerm commented 5 months ago

In release 0.9.4.0, there was this Linux x86_64 tarball in the releases. For 0.9.5.0, there is only a Mac tarball. I don't really want to have to build from source.

rzuckerm commented 3 months ago

I ended up building from the latest source since I couldn't get the source to build from the v0.9.5.0 tag. I don't recall the error.

dorchard commented 3 months ago

Okay sorry about that- but you were able to get it built from head?

rzuckerm commented 3 months ago

Yes, I was.

rzuckerm commented 3 months ago

If you're curious, here's the code for my docker image.

dorchard commented 3 months ago

Aha thanks. How big is the resulting image?

rzuckerm commented 3 months ago

Here's the uncompressed size:

$ docker images
REPOSITORY         TAG         IMAGE ID       CREATED      SIZE
rzuckerm/granule   0.9.5.0-4   9eac70670373   2 days ago   235MB