ToposInstitute / CatColab

A collaborative environment for formal, interoperable, conceptual modeling
https://catcolab.org
MIT License
25 stars 7 forks source link

Bump forester to release 4.2 #107

Closed TheCedarPrince closed 2 months ago

TheCedarPrince commented 2 months ago

Default TODO list

Purpose

This attempts to fix #99 by bumping the forester release tarball and linking to the established archive page now that Owen and Jon got binary building working per: https://lists.sr.ht/~jonsterling/forester-devel/patches/54175#%3C87cymw2ejz.fsf@owenlynch.org%3E+static.patch

Let me know if anything else is needed here! :smile:

P.S. I could not find a changelog in dev-docs so this bump has not been recorded.

github-actions[bot] commented 2 months ago

Preview url: https://66bb97d4ab602378c965990c--catcolab.netlify.app

TheCedarPrince commented 2 months ago

So this works temporarily for specifically 4.2 using Docker but obviously that is quite a heavy dependency but I don't know a better way at the moment of managing specifically 4.2 because Forester does not have a Dockerfile set-up until 4.3 officially thanks to the patch from Owen. I know Owen was suggesting hosting the build somewhere but I am not too sure what else to do here.

epatters commented 2 months ago

Thanks a lot Jacob for undertaking this!

@olynch, as our resident forester expert, can you please review this PR when you have a moment?

olynch commented 2 months ago

We definitely should not be running docker in CI. @TheCedarPrince any easy place to upload things is https://web3.storage, which is what I originally did. If you want to build the binary and upload there that would be great.

TheCedarPrince commented 2 months ago

Hey @olynch and @epatters,

I created a repository here: https://github.com/TheCedarPrince/ForesterBuilds that stores Forester builds for the moment. I updated the PR to not use Docker and pulls down a built tarball just fine now. How does that look?

P.S. I apologize for not using web3.storage but it was asking for my credit card and I was a bit hesitant to sign-up. If you want to just pull binaries from there and upload to your web3 account, that might be best since that would be under Topos Inst. control too.

olynch commented 2 months ago

Looks great! Thanks @TheCedarPrince!

TheCedarPrince commented 2 months ago

You got it @olynch! I'm on the Forester mailing list so when I see a new release made, I'll build a new binary for patching.

epatters commented 2 months ago

Thank you both, @TheCedarPrince and @olynch!