Louis Gesbert
7636a6e8d5
CI: cleanup the exposed artifacts
2024-01-22 13:58:32 +01:00
Louis Gesbert
c006c3343e
Rehaul CI to run examples and generate artifacts again
...
this requires to fetch catala-examples and french-law from their own repos
Restrict static builds and publication to master
2024-01-18 16:14:27 +01:00
Louis Gesbert
c564e70636
Correctly setup ocolor on all output channels
...
(and some cleanup of the remaining deps to ANSITerminal)
2023-06-08 12:14:11 +02:00
Louis Gesbert
404dc00db1
Alcotest is not a test dependency and needs stubs
...
This fixes the dependency, and the static linking scripts
2023-05-02 11:49:09 +02:00
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
