Various build fixes - Githubissues

GaloisInc / HARDENS

Repository for the HARDENS project

Apache License 2.0

17 stars 1 forks source link

Various build fixes #138

Closed podhrmic closed 5 months ago

podhrmic commented 1 year ago

update generated files
fix CI tests
fix Makefiles

kiniry commented 1 year ago

I'll pull this and give it a whirl, now that I have my new machine setup.

podhrmic commented 1 year ago

FYI I am rebuilding the docker image right now, it was still having some build problems with cryptol-codegen (hence a DRAFT PR)

podhrmic commented 1 year ago

Yup, looks like I cannot build cryptol-codegen anymore - fails on my Ubuntu host as well as docker. Various versions of Ubuntu and ghc led to the same problem. The repo has no CI , so it is hard to say when the problem was introduced. Looks like some time to polish and fix cryptol-codegen is needed.