Zoltán Mészáros

Results 9 comments of Zoltán Mészáros

I think it may be a good idea to wait for C++26 with this https://isocpp.org/files/papers/P2996R4.html

> It sounds like you have solved these issues? If so, a pull request updating the README would be welcome -- the multilib thing is quite new. The multilib thing...

No, this should be handled by make making a copy of those files automatically. I think it failed somewhere else, and you are trying to resurrect a post-crash build residue...

> libunwind appears to be a necessary dependency, but I do not recall seeing this in either the README, CircleCI files, or Dockerfiles. See https://github.com/stephenrkell/liballocs/blob/41a1cfd8649b818cf9a419c5ede79a528e37228a/.circleci/config.yml#L19 The Dockerfiles in the `buildtest`...

Good luck! Fyi, things are buildable on Ubuntu 25.04, gcc 14, ocaml 4.11.1 as they are in the repo. It is, however, quite a tricky task!

> Not sure which order is correct: > 1 (readme): > ``` > ./autogen.sh && \ > . contrib/env.sh && \ > ./configure && \ > ``` > 2(circleci) >...

It may be more work, but I suggest setting up a weekly/monthly CI task to run a benchmark on the latest. There is plenty of computing time on the ER...

See #61 for recent comments

I completely agree! Plus, the GitHub wiki is essentially just a separate repo with `md` files anyway, it is quite easy to migrate from!