Commit Graph

4 Commits

Author SHA1 Message Date
Louis Gesbert
223457fbf9 Gah there was another one
Don't put 'opam update' in the builds. Update the Docker images if needed.
2023-02-28 22:28:26 +01:00
Denis Merigoux
166f0a732d
Opam update for static binaries 2022-09-06 14:42:45 +02:00
Louis Gesbert
3ee6fdb254 Automate artifact generation 2022-08-03 22:42:56 +02:00
Louis Gesbert
bc8eda581c Add a script generating static builds
We have an obvious limitation: static builds won't support plugins. We
could resort to the classic method and do normal builds but on an old
distrib to dodge compatibility issues.

That would still be compatible with statically linking the more specific
libs, like e.g. z3.
2022-08-03 19:04:14 +02:00