3 Commits

Author	SHA1	Message	Date
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